1. An object-oriented deductive language and database system integrating logic programming and inheritance.