1. An object-oriented deductive language and database system integrating logic programming and inheritance.
["LOGIN: A Logic Programming Language with Built-In Inheritance", H. Ait-Kaci et al, J Logic Programming 3(3):185-215 (1986)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: logic programming « Logic Replacement Technology « logic variable « LOGIN » log in » LOGISCOPE » Loglan
