New posts in Iso Prolog

Space-efficient writing of functional notation

Equivalence of disjunction operator and definition with several rules

How can I simulate a soft cut in Prolog?

What do Prolog implementations mean by "float"?

Safer type tests in Prolog

Rearranging variable_names

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

Meaning of instantiation mode indicators in arguments of Prolog predicates

Are HiLog terms still useful in modern Prolog?

What is the difference between ' and " in Prolog?