The denotational semantics of horn clauses as a production system
J.-L. Lassez, Michael J. Maher · National Conference on Artificial Intelligence · 1983
We show how one of Nilsson's tenets on rule-based production systems, when applied to Horn clause programs, leads to a denotational semantics. This formalism, in turn provides a striking illustration of a second Nilsson tenet.