Programming in prolog - Clocksin W F; Mellish C S (Berlin Springer-Verlag, 1981)
Keywords: Computer science