1. Chang C. and Lee R. C., "Symbolic Logic and Mechanical Theorom Proving", Academic Press, New York San Francisco London, 1973.
2. Clark K. and Gregory S., "PARLOG: Parallel Programming in Logic", Research Report DOC, April,1984.
3. Clocksin W.F. and Mellish C.S., "Programming in Prolog", Springer-Verlag Berlin Heidelberg New York, 1981.
4. Hoare C.A.R., "Algorithm 64", CACM, Vol. 4, pp 321, 1961.
5. Kowalski R., "Logic for promlem solving", NORTH-HOLLAND, 1979.