Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Propositional logic in prolog almost works, trouble with xor

prolog

How to use Prolog to print a PDF file

pdf prolog postscript eps

What am I missing about equality and unification in Prolog?

prolog prolog-dif

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

Prolog: a(b,c) and a(X,Y):-a(Y,X), query a(c,b) returns infinite true?

prolog

What is the approach for dealing with "residual goals" in Prolog?

prolog prolog-coroutining

singleton variables in prolog query

prolog

How does this n-queens Prolog solution work?

algorithm prolog n-queens

Use Prolog with C# (Unity)

Sometimes I don't know what the "/" means in Prolog

prolog iso-prolog

What is committed-choice logic programming language?

Simultaneously visit solutions to two or more backtrackable predicates

prolog

Why I can't get an answer for the Ship Puzzle with Prolog?

prolog zebra-puzzle

Searching a list for (same) two elements in Prolog

list prolog prolog-dif

Problems with German Umlaute, TCPIP from SWI Prolog to JAVA

java prolog tcp ffi swi-prolog

Solving chain reactions in prolog

Iterating over list elements in turns in prolog

list prolog

Prolog doesn't return a value

prolog