Introduction to programming in prolog - Crookes, Danny (New York Prentice Hall, 1988)
Keywords: Prolog (Computer program language).