Programming in prolog. Fourth edition edn (1995)

by C S Mellish