Logic, programming and Prolog - Nilsson, Ulf (John Wiley & Sons, 1990)