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.