Am I allowed to use variables in my facts / rules?...

Find parameter values that satsify logical formula in Prolog...

Parameter arithmetic in Prolog...

Prolog - Display prime numbers...

Prime numbers Prolog...

Improving Prolog Program with Red Cuts...

Prolog - Find the depth of an element in a binary tree...

How do I understand the logic behind this Prolog problem?...

Prolog DCG capture two element list in one rule, and strings to list conversion...

After assigning a variable a value in Prolog, program ouptut changes from `yes` to `no`...

Similarity measures for WordNet in Prolog...

Optimize program using green and red cuts...

Prolog output should match the input of the sat solver...

Problems on simple Prolog planning question...

Prolog function count and member by using natural numbers and it succesor...

Simple recursive prolog program to add elements...

If I ask for X, it generates duplicates, but it fails on duplicates if I ask explicitly...

Prolog: Find all equilateral triangles which are built from DB points...

Testing a too general program...

How does Prolog optimize multiple calls to the same fact with same arguments...

Why is Prolog being a jerk...

First-order predicate logic in Prolog: Working with Signatures and Arithmetic Terms...

Getting specific part of list elemnt...

What is the equivalent of sprintf in Prolog?...

How can I get partition?...

Why are so many correct solutions found?...

Type error: file_name_extension/3 `character_code' expected , found `row(1, 410021001, 'Alan...

Check if List C is the difference of List A and List B...

How to sort and print coordinates of a chess board with pieces in them...

Prolog DCG read from file with separotr...