Programming in Prolog - Clocksin,W.F.; Mellish, C.S. (2004)
English