Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in swi-prolog

faster dictionary than assoc, but with same relational/backtracking capabilities

prolog swi-prolog

Prolog - aggregate : extract other variable than the minimum

prolog swi-prolog

CHR solution output in Prolog

SWI-prolog - how to clear terminal screen with a keyboard shortcut or global predicate?

prolog swi-prolog

How do I code rec/3 in the presence of a meta_predicate declaration?

Prolog findall solutions within time limit

Using eclipse for Prolog

How to get the next solution of a SWI-prolog query with QProcess?

qt prolog swi-prolog qprocess

Prolog : what do the results from calling time/1 actually mean?

time prolog swi-prolog

running prolog on a server from php (or make it daemon)

How to consult a file to swi-prolog in a faster way

prolog swi-prolog

WordNet with swi-prolog

macos swi-prolog wordnet

SWI Prolog maximize function appears to not work

prolog swi-prolog clpfd

Querying Prolog variables with JPL

java prolog swi-prolog jpl

How to get the result from Prolog, via the C++ FFI , into a C++ variable

Use Prolog with C# (Unity)

Problems with German Umlaute, TCPIP from SWI Prolog to JAVA

java prolog tcp ffi swi-prolog

SWI Prolog pass a goal with non-zero arity through the command line arguments

Why does SWI-Prolog invent f/2 given only f/1?