LOGIN

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)].