In very large Object Oriented systems it becomes difficult to manage complex dependencies between interconnecting modules. The authors of this paper proposes using expressions in First Order Logic to reason about module prerequisites and class relations. Specifically, we propose a First Order Logic expression evaluator to make queries in a Smalltalk environment.
This project has a working prototype released under the GNU GPL. It can be easily modified to by adding First Order predicates for specific purposes.