O-Logic
An
object-oriented
deductive language/database system.