Wprowadzenie do programowania w logice, U. Nilsson, J. Maluszynski, Logic, Programming and Prolog. John Wiley & Sons, 1990 (http://www.ida.liu.se/~ulfni/lpp/)
K. R. Apt, From Logic Programming to Prolog. 1997
K. Doets, From Logic to Logic Programming. MIT, 1994
J. W. Lloyd | Foundations of Logic Programming. Springer, Berlin, wyd. 2, 1987
K. R. Apt | Logic Programming. W: J. van Leeuwen, ed. Handbook of Theoretical Computer Science. 1990, vol. B