Logic and Objects. A front end for IC Prolog.
ftp://src.doc.ic.ac.uk/computing/programming/languages/pd-ICP-0,90.tar.Z. E-mail: Zacharias Bobolakis <zb@doc.ic.ac.uk>.
["Logic and Objects", Frank McCabe, Prentice-Hall].