Programming In Prolog Programming In Prolog - William F. Clocksin / C.S. Mellish ([s.l]: Springer.)