Artificial intelligence through : Prolog - Rowe, N.C (Prentice Hall, 1988)