An object-oriented deductive language/database system.
Try this search on Wikipedia, OneLook, Google