|
LPL++: Object logic programming language with built-in inheritance through unification
|
Abstract
In this paper, an object logic programming language is proposed that captures all 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.
In this paper, Conery's proposal is extended by redefining the representation of the objects in a ...
