Programming in Prolog / - Clocksin, W. F. (Springer-Verlag, 1981)