Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computational Linguistics
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Decomposition of relational schemata into components defined by both projection and restriction
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
| Hi-index | 0.00 |
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.