LPL++: Object logic programming language with built-in inheritance through unification
DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS, vol.29, no.2, pp.50-61, 1998 (SCI-Expanded, Scopus)
- Publication Type: Article / Article
- Volume: 29 Issue: 2
- Publication Date: 1998
- Doi Number: 10.1145/298752.298758
- Journal Name: DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS
- Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Page Numbers: pp.50-61
- Middle East Technical University Affiliated: Yes
Abstract
In this paper, an object logic programming language is proposed that captures ail of the basic object-oriented concepts in standard logic programming environment. This paper combines and extends two previously proposed models, namely Conery's technique (1988) which uses first-order logic to model objects including all of the basic object-oriented concepts except inheritance, and the LOGIN language of Ait-Kaci and Nasr (1986) which embeds inheritance into unification using typed logic.