KIT | KIT-Bibliothek | Impressum | Datenschutz

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
Publikationsjahr 1993
Sprache Englisch
Identifikator KITopen-ID: 1000017598
Erschienen in Alternative Konzepte für Sprachen und Rechner, Bad Honnef 1993. Hrsg.: J. Ebert
Verlag Univ.
Seiten 23 - 34
Serie Fachberichte Informatik ; 4/94
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page