Top "Iso-prolog" questions

ISO/IEC has standardized Prolog.

'if' in prolog?

Is there a way to do an if in prolog, e.g. if a variable is 0, then to do some …

prolog iso-prolog logical-purity
Prolog: Clauses are not together in source-file

I have this piece of code: % Family tree female(pen). male(tom). male(bob). female(liz). female(pat). female(ann). …

prolog iso-prolog
Prolog operator priority

The user input is given in the format a:b>c>d>e... and so on. I …

prolog operators iso-prolog