Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Rotate a list in prolog recursively

prolog

Prolog infix operator definition

Querying Prolog variables with JPL

java prolog swi-prolog jpl

use prolog to solve arithmetic expression

Generalizing Fibonacci sequence with SICStus Prolog

Atom escaping rules in Prolog

prolog iso-prolog

How to multiply all elements of two lists with each other in Prolog

list prolog

Prolog notBetween function

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?