KIT | KIT-Bibliothek | Impressum

Resolution for Feature Logics

Fischer, Bernd

Abstract:
A common approach to combine the object-oriented and logic programming paradigms is to formulate a set of inference rules for an object logic. We show how resolution is expressed using the full feature logic. In contrast to similar approaches we do not only exchange the underlying term universe but discard the predicate calculus completely. We demonstrate that an untyped resolution violates a closed world assumption and introduce a type discipline to solve this problem. To integrate inheritance into this framework we introduce polymorphic types and rules.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 1993
Sprache Englisch
Identifikator KITopen ID: 1000017598
Erschienen in Alternative Konzepte für Sprachen und Rechner, Bad Honnef 1993. Hrsg.: J. Ebert
Verlag Univ., Koblenz-Landau
Seiten 23 - 34
Serie Fachberichte Informatik ; 4/94
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page