LOGIN(ID:1236/log009)

for LOGic with INheritance

Object Oriented extension to Prolog - integration of logic programming and inheritance.


Hassan Ait-Kaci and Roger Nasr 1986.





People:
Related languages
Prolog => LOGIN   Extension of
LOGIN => LIFE   Derivation of
LOGIN => login/mali   Adaptation of
LOGIN => LPL   Extension of
LOGIN => UL/alpha   Extension of
References:
  • Ait-Kaci, Hassan and Roger Nasr "Login: A logic programming language with built in inheritance" view details
          in Proceedings of the Appin Workshop on Data Types and Persistence, Research Report 16. M. P. Atkinson, O. P. Buneman, and R. Morrison, Eds. Persistent Programming Research Group, Dept. of Computing Science, Univ. of Glasgow, Glasgow, Scotland view details
  • Ait-Kaci, H. et al, "LOGIN: A Logic Programming Language with Built-In Inheritance", pp185-215 view details Abstract: 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
          in J Logic Programming 3(3) 1986 view details
  • Malcolm P. Atkinson, O. Peter Buneman "Types and persistence in database programming languages" pp105-170 view details Abstract: Traditionally, the interface between a programming language and a database has either been through a set of relatively low-level subroutine calls, or it has required some form of embedding of one language in another. Recently, the necessity of integrating database and programming language techniques has received some long-overdue recognition. In response, a number of attempts have been made to construct programming languages with completely integrated database management systems. These languages, which we term database programming languages, are the subject of this review. The design of these languages is still in its infancy, and the purpose of writing this review is to identify the areas in which further research is required. In particular, we focus on the problems of providing a uniform type system and mechanisms for data to persist. Of particular importance in solving these problems are issues of polymorphism, type inheritance, object identity, and the choice of structures to represent sets of similar values. Our conclusion is that there are areas of programming language research?modules, polymorphism, persistence, and inheritance?that must be developed and applied to achieve the goal of a useful and consistent database programming language. Other research areas of equal importance, such as implementation, transaction handling, and concurrency, are not examined here in any detail. DOI Extract: LOGIN
    An interesting development is recent work [Ait-Kaci and Nasr 1985] in which inheritance can be used in logic programming. Among other things, this permits the use of a keyword notation that works more naturally with conventional relational query languages.
          in [ACM] ACM Computing Surveys (CSUR) 19(2) June 1987 view details
  • Seo, J.; Ait-Kaci, H.; Nasr, R. "BABEL: a base for an experimental library" Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval Grenoble, France pp175-190 view details 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.
          in [ACM] ACM Computing Surveys (CSUR) 19(2) June 1987 view details
  • Ismail H. Toroslu "LPL++: object programming language with built-in inheritance through unification" ACM SIGMIS Database 29(02) Spring 1998 pp50-61 view details
          in [ACM] ACM Computing Surveys (CSUR) 19(2) June 1987 view details