Is there a way to select only the first and last element of a list in PROLOG?...

Definite clause grammar in Prolog - Or statement...

Optional or Repeated Items in Prolog DCG...

Is adaptive parsing possible in Prolog?...

Arithmetic in Prolog - Multiples of a number...

Convert DRS to Sentence...

Prolog Infinite Loop: Bi-Directional Predicates...

How to enable the occurs check in all unifications in SWI-Prolog?...

changing list of strings to atoms using maplist?...

DCG capable of reading a propositional logic expression...

How can I define a new operator in Prolog?...

Prolog predicate with variable number of arguments...

Prolog: Constraining the elements of a list to be within a range...

PROLOG with lambda expressions...

Prolog: Sum the values ​of the leaves in the binary tree...

Alternatives to the WAM...

prolog sorting a list based on the sublist of each element...

Unit testing in GNU Prolog...

Correct way of writing recursive functions in CLP(R) with Prolog...

Executing prolog code on an iPhone...

find biggest interval in a list of sublists (these sublists have 2 elements)...

Prolog: random permutation...

Problem with building an expert system in prolog...

Difficulties implementing DSL in Prolog from EBNF using DCG...

Reload imported modules...

Prolog query that checks through list...

Prolog predicate - returns list with duplicates removed from specific predicate...

Choicepoint pruning needs a cut, but I think the compiler should be sharp enough to do it by itself...

How to restrict values of an argument in Prolog using a series of facts?...

Compilation error "4:12: syntax error: . or operator expected after expression" / problems...