Uncategorized


Topic Replies Activity
Google Group - Where we came from

This DIscourse server is new. We are transitioning off of Google Groups. Much information is still on the Google Group, Here.

2 February 7, 2019
Coming from Google Groups?

If you’re used to the mailing list-style way of reading this, you can set Discourse up to act in a similar way by doing the following: Go to settings by clicking on your avatar in the top-right corner then clicking on …

6 February 5, 2019
Welcome to Discourse 1 February 4, 2019
Tabling: another core dump 4 June 20, 2019
Tabling: Linear Resolution (SLT) 1 June 20, 2019
WFS Doc problem 5 June 18, 2019
Tabling and commits 2 June 16, 2019
Conjunction with WFS 7 June 15, 2019
Six ways to iterate in Prolog 45 June 15, 2019
Different behaviour when loading from the command line and when loading from prompt 10 June 7, 2019
Using global (backtrackable) variables to hold return values 14 June 6, 2019
Joe Armstrong 3 April 25, 2019
Todo file with ideas 8 May 29, 2019
"decompiled prolog" 6 May 27, 2019
Scaling to billions of facts? 11 May 24, 2019
Collaborative ontology construction involving Prolog 28 May 18, 2019
Optimized swi-prolog for intel architecture 8 May 17, 2019
The perils of unground variables in logic 10 May 16, 2019
Warning with new tabling WFS support 2 May 15, 2019
Is this the best way to replace characters in a string? 4 May 14, 2019
Internal server error accessing Pengines Admin area 1 May 10, 2019
Window Settings of SWI-Prolog under Windows: Console Transcript and Lines 3 May 6, 2019
How fast WordNet we have with qcompile! 4 April 28, 2019
Running pengines non sandboxed 6 April 25, 2019
Sandbox warning on v8.1.4 1 April 24, 2019
Experimental recognize-action based sed for text in emacs buffer region 1 April 22, 2019
Making file_search_path/2 of a forest of directories, an exercise 1 April 22, 2019
Assert in swish 3 April 20, 2019
PCE Emacs blinking on xml files 3 April 17, 2019
Interesting StackOverflow question on replacing text in HTML. Looking for better way to do this 9 April 11, 2019