Prolog programming for artificial intelligence - Bratko Ivan (Wokingham Addison Wesley, 1986)
Keywords: Artificial intelligence; PROLOG