Advanced prolog techniques and examples - Ross, Peter (Workingham, Eng. Addison-Wesley, 1989)
Keywords: Prolog (Computer program language).