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} }
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
Figures and Topics from this paper
480 Citations
Complex-Prolog: a logic database language for handling complex objects
- Computer Science
- Inf. Syst.
- 1989
- 2
LOOP-a language for LP-based AI applications
- Computer Science
- Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2001
- 2001
- 1
Well-founded semantics and stratification for ordered logic programs
- Computer Science
- New Generation Computing
- 2009
- 1
COMPLEX: An Object-Oriented Logic Programming System
- Computer Science
- IEEE Trans. Knowl. Data Eng.
- 1992
- 57
A Functional and Logic Language with Polymorphic Types (Extended Abstract)
- Computer Science, Mathematics
- DISCO
- 1990
- 24
- PDF
References
SHOWING 1-7 OF 7 REFERENCES