Logic and inheritance
- 1 January 1986
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 219-228
- https://doi.org/10.1145/512644.512664
Abstract
An elaboration of the Prolog language is described in which the notion of first-order term is replaced by a more general one. This extended form of terms allows the integration of inheritance---an IS-A taxonomy---directly into the unification process rather than indirectly through the resolution-based inference mechanism of Prolog. This results in more efficient computations and enhanced language expressiveness. The language thus obtained, called LOGIN, subsumes Prolog, in the sense that conventional Prolog programs are equally well executed by LOGIN.This publication has 0 references indexed in Scilit: