The IDP system is a knowledge base system that implements different forms of inference for a knowledge base consisting of FO(.) theories.

Link to Website