Extension to CFG, what is it?...

Why does Prolog operator definitions have xfx?...

Prolog: Clauses are not together in source-file...

Once in SICStus Prolog?...

Equality of two lists of variables...

Why did Technical Corrigendum 2 to ISO/IEC 13211-1:1995 omit "bar" from the "token&qu...

Testing "Safe term order" predicate...

How can I write key-value pairs in Prolog?...

Union of two variable sets...

appendAll - Append a list to all lists within a list...

Getting the minimum value of a list...

Behavior of cuts in negation...

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

Why are round brackets not needed for atoms that are high priority operators?...

Listing predicates within a given library module...

ANSI escape characters in gprolog...

Variable occurrence in a list of variables...

`nth0/3` behaviour when N is unbound...

Test that term is a list of distinct variables...

Representation of negative integers...

What does +,+ mode in Prolog mean?...

Intersection of two lists of variables...

GNU Prolog assert error...

Complexity of ISO Prolog predicates...

Difference between two variant implementations...

Why must facts be grouped together in Prolog?...

Is there a prolog language grammar/spec?...

Equivalent of Python pickling in SWI Prolog?...

throw without catch in ISO Prolog...

What kind of meta argument is the first argument of predicate_property/2?...