A deterministic prolog fixpoint semantics

Francez, 1985, Proving termination of PROLOG programs, 89 Knaster, 1928, Un théorème sur les fonctions d'ensembles, Ann. Soc. Polon. Math., 6, 133 Tarski, 1955, A Lattice-theoretical Fixpoint Theorem and Its Applications, Pacific J. Math., 5, 285, 10.2140/pjm.1955.5.285 Van Emden, 1976, The Semantics of Predicate Logic as a Programming Language, J. Assoc. Comput. Mach., 23, 733, 10.1145/321978.321991