Compositional operational semantics for Prolog programs

• Authors:

• M. H. M. Cheng;R. N. Horspool;M. R. Levy;M. H. van Emden

• Affiliations:

• -;-;-;-

• Venue:
• New Generation Computing
• Year:
• 1992