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
Published in:
Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on
(Volume:2
)
Date of Conference: 6-11 Sep 1993