Better definition of the reifying memberd_t/3...

'if' in prolog?...

Using \==/2 or dif/2...

Pure Prolog Peano Number Apartness...

Pure Prolog Meta-Interpreter with one Rule...

Purity of Prolog predicates that use impure primitives...

Logical purity of when/2 and ground/1...

Prolog, about how to form better clauses...

How to implement a not_all_equal/1 predicate...

Features of good Prolog code?...

Are cuts that bad in programming?...

What minimal change to my code would make it preserve logical purity?...

How to implement list item deletion for all argument modes?...

Is "almost pure" Prolog expressive?...

Use of redundant goals in queries...

`less/2` relation in Peano arithmetic...

NU-Prolog's and Gödel's logical and sound `if-then-else` extension...

Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?...

Goal expansion for an `if_/3` operator in Prolog...

Longest common prefix (LCP) of a list of strings...

Combining pure predicates...

Doubly Linked List in Prolog...

Prolog if-then-else constructs: -> vs *-> vs. if_/3...

Is there a cut-less way to implement same_length/3?...

What use does if_/3 have?...

What are the requirements a computer function must meet to be considered "monotonic"?...

Order of Goals in Pure Prolog...

prolog doesn't give me a solution when one exists...

`var(A)` and order of execution...

Prolog program to get an (integer) number as the sum of two integer squares, why does it not work?...