how can i optimize my regular rectangle checker in prolog?...

How to formulate an exception for findall/3 correctly?...

Prolog program returns false...

Make multiple replacements in a list by index...

How do I implement in Prolog the predicate list_for_set...

Split list of strings into list of lists in prolog...

Automata and prolog...

Why doesn't the desugared "." functor syntax for lists work the same as []?...

getting items greater than a certain item in prolog...

acumulating elements in a list...

Permission denied when opening file in Prolog...

how to get great-great-grandmother in prolog...

How to create a list compose from names of a predicate in prolog...

Prolog peano numbers difference/subtraction...

Recursive Summation with Conditional in Prolog...

SWI-Prolog backtracking on a web site...

What is the Prolog operator `^` ("caret")?...

How to trim right whitespaces from String in prolog?...

Prolog understanding setof/3 with ^ markings...

Prolog Predicate Help: Delete Number N times from List...

No permission to access private_procedure `true/0'...

dcg parsing in random order...

Convert from RDF "type qualified literal" to Prolog atom in SWI Prolog...

SWI-Prolog reporting wrong answer with bitshifts CLPFD...

Finding sum of list in prolog shows factors of sum, not final sum result...

Prolog help | how come 'tony' is true when it should be false?...

Trying to write a tree-height predicate - do I need Peano-style natural numbers?...

Successor Arithmetic Prolog Mod function...

Define a relation first_last(L1, L2) which takes a list L1 and returns a list L2 containing the firs...

Debugging Simple Prolog Function...