Executing Suspended Logic Programs
Robert Kowalski, Francesca Toni, Gerhard Wetzel · Fundamenta Informaticae · 1998
We present an extension of Logic Programming (LP) which, in addition to ordinary LP clauses, also includes integrity constraints, explicit representation of disjunction in the bodies of clauses and in goals, and suspension of atoms as in concurrent l