Appel, K., and Haken, W., Every planar map is four colorable, Bull. Am. Math. Soc., vol. 82, pp. 711-712, 1976.
Bratko, I., Prolog Programming for Artificial Intelligence, Addison-Wesley International Computer Science Series, 1986.
Campbell, J.A., ed., Implementations of Prolog, Wiley, 1984.
Chang, C., and Lee, R. C., Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
Clocksin, W.F., and Mellish, C.S., Programming in Prolog, Springer-Verlag, 1981, 1992.
DeGroot, D., and Lindstrom, G., Logic Programming, Relations, and Equations, Prentice- Hall, 1986.
Fisher, J.R., GPL Notes, Reference Guide, California State Polytechnic University, Pomona, February, 1988. Computer Science Department Technical Report #1988-01.
Fisher, J.R., Logic program based action specifications, Proc. 1995 Symposium on Applied Computing (SAC'95), Nashville, Tenn., pp.248-52.
Fisher, J.R., and Tran, L., A Visual Logic, Proc. 1996 Symposium on Applied Computing (SAC'96), Philadelphia, Pa., pp.17-21.
Gazdar, G., and Mellish, C., Natural Language Processing in Prolog, Addison-Wesley, 1989.
Giannesini, F, Kanoui, H, Pasero, R., and van Caneghem, M, Prolog, Addison-Wesley International Computer Science Series, 1986.
Green, C., Theorem-proving by resolution as a basis for question-answering systems, in B. Meltzer and D. Michie, eds., Machine Intelligence 4, 183-205, Edinburgh University press, 1968.
Kowalski, R.A., Logic for problem solving, DCL Memo 75, Department of Artificial Intelligence, University of Edinburgh, Scotland, 1974.
Kowalski, R.A., Logic for Problem Solving, North Holland, 1979.
Kowalski, R.A., and Kuehner, D., Linear Resolution with selection function, Artificial Intelligence, (2) 227-60, 1971.
Lloyd, J.W., Foundations of Logic Programming, Springer-Verlag, 1984, 2nd ed. 1987.
Nilsson, N., Principles of Artificial Intelligence, Tioga, 1980.
Pereira, Fernando C.N., and Shieber, Stuart M., Prolog and Natural-Language Analysis, CSLI, 1987.
Robinson, J.A., A machine-oriented logic based on the resolution principle, Journal A.C.M., (12) 23-44, 1965.
Rowe, W.C., AI Through Prolog, Prentice Hall, 1988.
Shoham, Y., Artificial Intelligence Techniques in Prolog, Morgan Kaufmann Publishers, 1994.
Sterling, Leon, and Shapiro, Ehud, The Art of Prolog, MIT Press, 1986.
Van Gelder, A., Ross, A., and Schlipf, J.S., The well founded semantics for general logic programs, Journal A.C.M., Vol. 38, No. 3, July 1991, pp. 620-650.
Van Le, T., Prolog Programming, Wiley, 1993.
Winston, Patrick Henry, Artificial Intelligence, 2nd. ed., Addison-Wesley, 1984.
Winston, P.H., and Horn, P., Lisp, Addison-Wesley, 1985. 111