How to identify valid bodies and convertible terms...

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

In scryer prolog, how do I provide stdin to `phrase_from_stream`?...

End_of_stream property after opening empty file...

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

What are the best Prolog programming practices and style guidelines?...

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?...

'if' in prolog?...

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...

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...