Topic Replies Activity
When posting using mail, please use markdown

Notably those posting using mail, be aware that the forum handles your message as markdown. In most cases the result is not too bad even if you are not aware of this. It is wise to respect a few rules though: When …

5 March 13, 2019
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
Welcome to Discourse 1 February 4, 2019
Showing proofs involving clpr constraints in Swish 1 December 13, 2019
RDF in unit tests 2 December 13, 2019
Prolog - Calculate fastest travel between 2 locations given different travel modes 3 December 13, 2019
This is a serious problem for me! 8 December 13, 2019
Confusing behavior of sequence//3 and sequence//5 from dcg/high_order 7 December 13, 2019
Ending correctly SWI-prolog 3 December 12, 2019
Starting Prolog http server trough docker 4 December 12, 2019
How do I load data from an arbitrary file format into prolog? 9 December 12, 2019
Swipl.css is 404ed 5 December 12, 2019
What are the 21st century Prolog tips, tricks, techniques? 5 December 12, 2019
Advent of code 9 December 11, 2019
SWISH Notebooks: deleting and printing 2 December 11, 2019
Pack rocksdb c++ issue 1 December 11, 2019
How to call predicate in test that is called from outside of test? 8 December 11, 2019
UnknownClause: No clauses found for 'forall/2' 5 December 11, 2019
Http_server vs threaded_httpd 8 December 11, 2019
Where is the "Howto collection" source? 2 December 11, 2019
Problems with predicate get_time 9 December 10, 2019
Help with Mutexes 11 December 10, 2019
Problems using pack real 3 December 9, 2019
PCEmacs strips some accents on save [solved] 12 December 9, 2019
Running sicstus code in swi-prolog 5 December 9, 2019
Assignment: Dijkstra algorithm, find All paths 1 December 9, 2019
Clarification about compound terms in the standard order of terms 5 December 8, 2019
Can assertion/1 be used with constraints? 1 December 8, 2019
How to implement a generic c++ non-deterministic predicate? 5 December 8, 2019
No permission to call sandboxed `source_location(_2216,_2218)' error 3 December 8, 2019