PROLOG for computer science /
Dawe, M. S.
Dawe, C. M.
London : Springer-Verlag,
c1994.
Prolog (Computer program language)