PROLOG for computer science - Dawe, Martin S.; Dawe, Christopher M. (Springer, 1994)