Data modeling using an object-oriented logic language

An object-oriented logic programming language for modeling data is presented. This language supports most of the object-oriented features for data modeling and is based on many sorted horn clause logic. The data model provides a means for expressing queries as classes. Objects are defined as instances of a class allowing factoring of methods and type information.