L&O

Logic and Objects

Implemented as a front end for IC-Prolog.

Logic and Objects, Frank McCabe, Prentice-Hall.