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

How do I pass parameters to ichiban/prolog's Query function?...

Meaning of instantiation mode indicators in arguments of Prolog predicates...

Parsing from char to digit Prolog...

Does Prolog have a condition and restart system like Common Lisp?...

How to identify valid bodies and convertible terms...

'if' in prolog?...

Which meanings of "type" are used in the standard?...

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?...

What is the difference between ' and " in Prolog?...

Safer type tests in Prolog...

Prolog - unusual cons syntax for lists...

Rearranging variable_names...

Why does prolog use =< and not <=?...

at_end_of_stream on stdin in Prolog...

Peeking past end-of-file with SICStus Prolog...

End_of_stream property after opening empty file...

Why does SWI-Prolog unify a quoted and unquoted string (without spaces) to the same rule?...

DCG Expansion: Is Steadfastness ignored?...

DCG for idiomatic phrase preference...

About Prolog syntax...

Is an infinite list of ones sane?...

Replacing white spaces in prolog...

Minor inconsistency due to different operator precedence of ** and ^...

How Prolog's logical update view works for assert and retract?...

Equivalence of disjunction operator and definition with several rules...

How can I simulate a soft cut in Prolog?...

Unification with STO detection...

Is this Prolog terminology correct? (fact, rule, procedure, predicate, ...)...

How to find string length using prolog...