New posts in Prolog

How to express a disjunction of inequalities compactly without redundant answers/solutions

What occurs-check optimizations is SWI Prolog using?

Square Puzzle Problem Solution with Constraint Programming

valid bracket list in prolog

Does Prolog need GC when the occurs check is globally enabled?

Use of redundant goals in queries

Space-efficient writing of functional notation

How do I rewrite the following so it uses if_?

Understanding reification - “What relationships hold between x and y?"

How to reify Prolog's backtracking state to perform the same task as "lazy seq" from Clojure?