The Free On-line Dictionary of Computing (30 December 2018):

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