1. 1. APT K. R. and VAN EMDEN M. H., Contributions to the Theory of Logic Programming. J. Assoc. Comput, Mach., 1982, 29, (3), pp. 841-862.6667810483.68004
2. 2. ATTALI I. and FRANCHI-ZANNETTACCI P., Unification Free Execution of TYPOL programs by Semantic Attribute Evaluation. In R. A. KOWALSKI and K. A. BOWEN, Ed., Proceedings of the Fifth International Conference and Symposium on Logic Programming, 1988, pp. 160-177.
3. 3. CHIRICA L. and MARTIN D., An Order-Algebraic Definition of Knuthian Semantics, Math. Systems Theory, 1979, (13), pp. 1-27.5485460397.68087
4. 4. CLARK K. L., Predicate Logic as a Computational Formalism, Research Monograph 79/59, Imperial College, London, 1979.
5. 5. CLOCKSIN W. F. and MELISH C. S., Programming in Prolog, Springer-Verlag, 1984.0613.68010