Logic, Programming and Prolog (2ed), by Ulf Nilsson and Jan Maluszynski.
The book has been available for 10 years and has been used
in a number of courses around the world. The text covers both
theoretical aspects of logic programming as well as practical
programming in Prolog, and extensions of the logic programming
paradigm (e.g. equational logic programming, constraint logic
programming, and query-answering in deductive databases).
Posted to Logic/Declerative by Ehud Lamm on 12/5/00; 2:59:41 PM