• DOI:10.1016/0743-1066(86)90013-0
Corpus ID: 22970570

LOGIN: A Logic Programming Language with Built-In Inheritance

@article{AtKaci1986LOGINAL,
  title={LOGIN: A Logic Programming Language with Built-In Inheritance},
  author={H. A{\"i}t-Kaci and R. Nasr},
  journal={J. Log. Program.},
  year={1986},
  volume={3},
  pages={185-215}
}

H. Aït-Kaci, R. Nasr

Published 1986

Computer Science

J. Log. Program.

D 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 resolutionbased 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… CONTINUE READING

View via Publisher

doi.org

Save to Library

Create Alert

Cite

Launch Research Feed