IQL

An object-oriented deductive language/database system.