BABEL: a base for an experimental library

Authors:
J. Seo;H. Ait-Kaci;R. Nasr
Affiliations:
Artificial Intellignece Laboratory (Taylor Hall 2.124), The University of Texas, Austin, TX, U.S.A.;Microelectronics and Computer Technology Corporation, 3500 West Balcones Center Drive, Austin, TX, U.S.A.;Microelectronics and Computer Technology Corporation, 3500 West Balcones Center Drive, Austin, TX, U.S.A.
Venue:
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Year:
1988

Citing 3
Cited 0

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
Login: A logic programming language with built-in inheritance

Journal of Logic Programming
An algebraic semantics approach to the effective resolution of type equations

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report discusses the implementation of a knowledge base for a library information system. It is done using a typed logic programming language—LOGIN—where type inheritance is built in. The knowledge base is structured in a hierarchical taxonomy of library object classes where each class is represented in a FRAME style knowledge structure and inherits the properties of its parents, and where infrastructural inference rules have been established through typed Horn clauses. Also in this document, some programming techniques aimed at using the power of inheritance as taxonomic inference are discussed.