LPL++: Object logic programming language with built-in inheritance through unification

Date

1998-03-01

Author

Toroslu, İsmail Hakkı

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

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.

Subject Keywords

Computer Networks and Communications, Management Information Systems

URI

https://hdl.handle.net/11511/46591

Journal

DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS

DOI

https://doi.org/10.1145/298752.298758

Collections

Department of Computer Engineering, Article