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

IQL

   An object-oriented deductive language/database system.