New posts in prolog

What is Prolog saying about an uninstantiated variable?

Can't check equality with unknowns in Prolog

prolog instantiation-error

All initial segments of a list in Prolog

Einsteins Riddle Prolog

prolog logic zebra-puzzle

How do I append lists in Prolog?

list prolog append concatenation

Prolog: Filtering a list?

list filter prolog meta-predicate

Flatten a list in Prolog

list prolog flatten dcg difference-lists

count the number of calls of a clause

recursion count prolog clause

What are the main technical differences between Prolog and miniKanren, with respect to logic programming? [closed]

prolog logic-programming minikanren

Prolog map coloring (4 colors map) code explanation

What is the logical 'not' in Prolog?

prolog prolog-dif

Prolog - count repetitions in list

gprolog: Getting a stacktrace after an exception

debugging prolog gnu-prolog

Finding Unique Items in a List

Prolog successor notation yields incomplete result and infinite loop

prolog infinite-loop failure-slice successor-arithmetics non-termination

Delete vowels in a list

Prolog Accumulators. Are they really a "different" concept?

recursion prolog tail-recursion accumulator

Reification of term equality/inequality

prolog prolog-dif

Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

prolog clpfd topology meta-predicate

Definition of Reflexive Transitive Closure

prolog prolog-toplevel transitive-closure meta-predicate