A Deterministic Prolog Fixpoint Semantics

Melvin Fitting. A Deterministic Prolog Fixpoint Semantics. Journal of Logic and Algebraic Programming, 2(2):111-118, 1985.

Abstract

Abstract is missing.