Programming in Prolog (1987)

by W Clocksin, C Mellish