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

Toroslu I.

DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS, cilt.29, sa.2, ss.50-61, 1998 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 29 Sayı: 2
  • Basım Tarihi: 1998
  • Doi Numarası: 10.1145/298752.298758
  • Dergi Adı: DATA BASE FOR ADVANCES IN INFORMATION SYSTEMS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.50-61
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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.