SWI-Prolog

Contact owners and managers

1–30 of 2766

This is the old SWI-Prolog forum and mailing list. Community discussion has been migrated to Discourse.

Visit the new forum at https://swi-prolog.discourse.group/
See http://www.swi-prolog.org/Mailinglist.html for details

This forum will be closed in the near future. Please do not use it any more.

0 selected

Jan Wielemaker

2/7/19

Closing down Google group

Hi, This is the last post to this group. I will block further posts after this. We hope to see you

unread,

Closing down Google group

Hi, This is the last post to this group. I will block further posts after this. We hope to see you

2/7/19

Jan Wielemaker

2/6/19

Ann: Inviting for new forum

Hi, I'm sending an invitation letter to all users who were subscribed to the SWI-Prolog forum/

unread,

Ann: Inviting for new forum

Hi, I'm sending an invitation letter to all users who were subscribed to the SWI-Prolog forum/

2/6/19

Jan Wielemaker, … Raivo Laanemets19

2/6/19

Mail list

Discourse is likely the best option. The software is Open Source, so it's sustainable even after

unread,

Mail list

Discourse is likely the best option. The software is Open Source, so it's sustainable even after

2/6/19

Konstantinos Kostis

2/6/19

Docker container with SWI-Prolog terminated with fatal error

Hello, Im facing an error with SWI Prolog's JPL and Docker. I created a StackOverflow question in

unread,

Docker container with SWI-Prolog terminated with fatal error

Hello, Im facing an error with SWI Prolog's JPL and Docker. I created a StackOverflow question in

2/6/19

Anne Ogborn, … Jan Wielemaker7

2/6/19

pedagogy

[Cc'ed to new forum] On 06/02/2019 02:41, 'Anne Ogborn' via SWI-Prolog wrote: >

unread,

pedagogy

[Cc'ed to new forum] On 06/02/2019 02:41, 'Anne Ogborn' via SWI-Prolog wrote: >

2/6/19

Dan, Peter Ludemann4

2/5/19

go / golang and swi-prolog

I would put Erlang far to the right of Go in terms of "beautiful, straight code". (Or,

unread,

go / golang and swi-prolog

I would put Erlang far to the right of Go in terms of "beautiful, straight code". (Or,

2/5/19

Jan Wielemaker, … Anne Ogborn5

2/4/19

New forum, help wanted

We've had one comment that a user didn't want to have to make another account just to sign up

unread,

New forum, help wanted

We've had one comment that a user didn't want to have to make another account just to sign up

2/4/19

Carey Phillips, Jan Wielemaker2

2/3/19

Returning JSON instead of string

On 03/02/2019 07:42, Carey Phillips wrote: > I inherited some server code I don't fully

unread,

Returning JSON instead of string

On 03/02/2019 07:42, Carey Phillips wrote: > I inherited some server code I don't fully

2/3/19

nicos.ang...@gmail.com

2/2/19

SWI doc server

Dear Jan, all, A. a quick reminder to users that SWI has a neat documentation server. Once you '

unread,

doc

web

SWI doc server

Dear Jan, all, A. a quick reminder to users that SWI has a neat documentation server. Once you '

2/2/19

Dan, Paulo Moura13

2/2/19

error handing and applicative approaches

Hi, Following up on the thread on started by Dan on alternatives to using catch/throw for error

unread,

error handing and applicative approaches

Hi, Following up on the thread on started by Dan on alternatives to using catch/throw for error

2/2/19

Peter Ludemann, Jan Wielemaker12

2/1/19

on_signal(int, _, throw) gets "did not clear exception"

A short summary of what seems to have been the problem (and thanks to Jan for filling in some gaps in

unread,

on_signal(int, _, throw) gets "did not clear exception"

A short summary of what seems to have been the problem (and thanks to Jan for filling in some gaps in

2/1/19

John McCulloch, Alan Baljeu2

2/1/19

Startup -s option

No, I'm not seeing a difference either. Using "swipl -s file.pl" simply starts swipl,

unread,

Startup -s option

No, I'm not seeing a difference either. Using "swipl -s file.pl" simply starts swipl,

2/1/19

Dan, Alan Baljeu3

2/1/19

: received error: open/3: No permission to open source_sink `c:/file.txt'. for unit tests only

You may get this if you are working with files in the Program Files directory (the default), due to

unread,

: received error: open/3: No permission to open source_sink `c:/file.txt'. for unit tests only

You may get this if you are working with files in the Program Files directory (the default), due to

2/1/19

Falco Nogatz, Anne Ogborn2

1/31/19

Pack Ann: date_time - Logical arithmetic on dates and times (based on Amzi!)

::Annie is here, happily moving dates and times around with Falco's new pack::

unread,

Pack Ann: date_time - Logical arithmetic on dates and times (based on Amzi!)

::Annie is here, happily moving dates and times around with Falco's new pack::

1/31/19

Jan Wielemaker

1/30/19

MacOS GUI issues with V8.0.1

There is an issue reported about the Mac GUI. I can't reproduce most of it. See https://github.

unread,

MacOS GUI issues with V8.0.1

There is an issue reported about the Mac GUI. I can't reproduce most of it. See https://github.

1/30/19

Falco Nogatz, … Peter Ludemann4

1/30/19

Catch string from print_term/2 via with_output_to/2 fails for HTTP server

Hi Jan and Peter, thank you both for your quick responses, both versions work like a charm! I tried

unread,

Catch string from print_term/2 via with_output_to/2 fails for HTTP server

Hi Jan and Peter, thank you both for your quick responses, both versions work like a charm! I tried

1/30/19

Elena Bellodi

1/30/19

[CfP] IJAR Special Issue on Probabilistic Logic Programming

---------------------------------------------------------------------- CALL FOR PAPERS International

unread,

[CfP] IJAR Special Issue on Probabilistic Logic Programming

---------------------------------------------------------------------- CALL FOR PAPERS International

1/30/19

Anne Ogborn, … Alan Baljeu4

1/29/19

CHR # operator

Rule IDs do absolutely nothing in the SWI implementation. I think the only use I've had for # is

unread,

CHR # operator

Rule IDs do absolutely nothing in the SWI implementation. I think the only use I've had for # is

1/29/19

Dan, Boris Vassilev3

1/29/19

concat list of strings. like atomic_list_concat/2

Hi Boris, Thank you. Yes, i was completely blanking on this -- also, i haven't used foldl before,

unread,

concat list of strings. like atomic_list_concat/2

Hi Boris, Thank you. Yes, i was completely blanking on this -- also, i haven't used foldl before,

1/29/19

cc.carlo.cap, Jan Wielemaker3

1/28/19

openlink rdf-editor

Il giorno dom 27 gen 2019 alle ore 13:49 Jan Wielemaker <j...@swi-prolog.org> ha scritto: On 25/

unread,

openlink rdf-editor

Il giorno dom 27 gen 2019 alle ore 13:49 Jan Wielemaker <j...@swi-prolog.org> ha scritto: On 25/

1/28/19

Anne Ogborn, … Raivo Laanemets8

1/26/19

route variables and location_by_id

Looks good! I'll return to pack(identity) as soon as I can. Right now have just arrived in my new

unread,

route variables and location_by_id

Looks good! I'll return to pack(identity) as soon as I can. Right now have just arrived in my new

1/26/19

Peter Ludemann, Raivo Laanemets3

1/25/19

Why does the top-level "catch" default to halt(0) instead of halt(1)?

After a bit more experimentation, it turns out that the "initialization" directive does

unread,

Why does the top-level "catch" default to halt(0) instead of halt(1)?

After a bit more experimentation, it turns out that the "initialization" directive does

1/25/19

Jan Wielemaker

1/25/19

Ann: SWI-Prolog 8.0.1 (stable)

Dear Prolog user, SWI-Prolog 8.0.1 (stable) is available for download. As expected, the main issues

unread,

Ann: SWI-Prolog 8.0.1 (stable)

Dear Prolog user, SWI-Prolog 8.0.1 (stable) is available for download. As expected, the main issues

1/25/19

Dan, … Paulo Moura6

1/23/19

cost accessing of last(?List, ?Last)

Hi, > On 23 Jan 2019, at 12:37, Dan <gros...@gmail.com> wrote: > > I have this assoc,

unread,

cost accessing of last(?List, ?Last)

Hi, > On 23 Jan 2019, at 12:37, Dan <gros...@gmail.com> wrote: > > I have this assoc,

1/23/19

Dan, Fabrizio Riguzzi5

1/23/19

machine learning based rule learning and consistency checking from a complex decision table

Hi Fabrizio, I again and again notice very interesting work in logic in general and ontology and

unread,

machine learning based rule learning and consistency checking from a complex decision table

Hi Fabrizio, I again and again notice very interesting work in logic in general and ontology and

1/23/19

Jan Wielemaker, Paulo Moura2

1/22/19

Ready for testing: architecture independent .QLF and boot files

Hi Jan, This is great news :-) I did a quick test using Logtalk's embedding support for SWI-

unread,

Ready for testing: architecture independent .QLF and boot files

Hi Jan, This is great news :-) I did a quick test using Logtalk's embedding support for SWI-

1/22/19

Fernando Sáenz Pérez

1/21/19

DES 6.2 Released

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release

unread,

DES 6.2 Released

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release

1/21/19

Andrea Chiera, Boris Vassilev3

1/21/19

Problem with Backtracking of Solutions

hi, thanks so mush, i thought that this beahiour was wrong. Thanks. Il giorno domenica 20 gennaio

unread,

Problem with Backtracking of Solutions

hi, thanks so mush, i thought that this beahiour was wrong. Thanks. Il giorno domenica 20 gennaio

1/21/19

Paulo Moura, Jan Wielemaker5

1/19/19

Read prompt bug?

Hi Jan, > On 19 Jan 2019, at 17:24, Jan Wielemaker <j...@swi-prolog.org> wrote: > > On

unread,

Read prompt bug?

Hi Jan, > On 19 Jan 2019, at 17:24, Jan Wielemaker <j...@swi-prolog.org> wrote: > > On

1/19/19

Anne Ogborn, Boris Vassilev2

1/19/19

mail not coming thorugh

I don't know about the list but I got the previous and this email as well. On Sat, Jan 19, 2019

unread,

mail not coming thorugh

I don't know about the list but I got the previous and this email as well. On Sat, Jan 19, 2019

1/19/19