O-Logic

An object-oriented deductive language/database system.