PHOCUS An {object-oriented} {Prolog}-like language. ["PHOCUS: Production Rules, Horn Clauses, Objects and Contexts in a Unification Based System", D. Chan et al, Actes du Sem Prog et Logique, Tregastel (May 1987), pp. 77-108]. (1994-11-09)