Programming in Prolog (1987)

by W F Clocksin, C S Mellish