Productive Prolog programming by Schnupp, Peter, Bernhard, Lawrence fromPrentice-Hall International Series in Computer Science 0 Type: Book