LOGIN

An integration of logic programming and inheritance.

"LOGIN: A Logic Programming Language with Built-In Inheritance", H. Ait-Kaci et al, Journal of Logic Programming 3(3):185-215 (1986).