The Denotational Semantics of Horn Clauses as a Production System

J.-L. Lassez, M. Maher

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 illustra-tion of a second Nilsson tenet.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.