LOGIN: A Logic Programming Language with Built-In Inheritance

  title={LOGIN: A Logic Programming Language with Built-In Inheritance},
  author={H. A{\"i}t-Kaci and R. Nasr},
  journal={J. Log. Program.},
  • 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
    480 Citations
    Logic and inheritance
    • 27
    Taxonomical Reasoning in Logic Programming
    Netlog - A Concept Oriented Logic Programming Language
    • 5
    LOOP-a language for LP-based AI applications
    • 2
    An Architecture for Prolog Extensions
    • 21
    • Highly Influenced
    • PDF
    Well-founded semantics and stratification for ordered logic programs
    • 1
    COMPLEX: An Object-Oriented Logic Programming System
    • 57
    A Functional and Logic Language with Polymorphic Types (Extended Abstract)
    • M. Hanus
    • Computer Science, Mathematics
    • DISCO
    • 1990
    • 24
    • PDF


    A Machine-Oriented Logic Based on the Resolution Principle
    • 4,230
    • PDF
    Logic and semantic networks
    • 94
    • PDF
    Logic for Data Description
    • 101
    Krypton: A Functional Approach to Knowledge Representation
    • 411
    • PDF
    What's in a Semantic Network?
    • 39
    • PDF
    The Design and Analysis of Computer Algorithms
    • 9,225
    • PDF