Are HiLog terms still useful in modern Prolog?...

Module expansion of goals passed to library meta-predicates...

Better definition of the reifying memberd_t/3...

How to create a higher order DCG parser in Prolog?...

maplist/2 vs extra recursion predicate with SICStus Prolog...

Prolog: Filtering a list?...

How to avoid a meta argument warning in SICStus SPIDER?...

Prolog, Determine if graph is acyclic...

Collect all "minimum" solutions from a predicate...

is it possible to use maplist/3 with 'anonymous' predicate?...

Prolog binding arguments...

Lambdas in Prolog?...

Struggling to use Prolog's maplist/2 like a functional mapping function...

Functional patterns in Prolog...

Meta-predicate that receives a list of goals as input...

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

Custom DCG Operators...

What modules does an unqualified assert add a term to?...

What do the numeric arguments for meta_predicate mean in SWI-Prolog?...

How to predicate elements in a list based on element type...

Prolog check for duplicates in answer to query (easy way?)...

Finding a desired solution without using call_nth/2 multiple times or the use of findall/3?...

Prolog Implementation of foldl1...

put a Prolog goal as input in the first argument position and returns the number of times this goal ...

How to specify a predicate as parameter to another in prolog?...

Transform in meta-predicate at prolog...

Abstracting over predicates...

How to set domain of pair variable in CSP in Sicstus Prolog...

Can I prepend the argument list in call/2?...

max list gnu prolog...