People might mean somewhat different things by "pure Prolog", so here is the definition used in this question: By "pure Prolog" I mean Prolog limited to
