A deterministic prolog fixpoint semantics
Tài liệu tham khảo
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