Programing in prolog. - Clocksin, William F.; Mellish, Christopher S. (Berlin : Springer Verlag, 1987)