Artificial intelligence through prolog - Rowe Neil C (Englewood Prentice Hall, 1988)
Keywords: Prolog; Computer science