A java application to benchmark given prolog engines with given prolog theories/knowledgebases. You can add/remove engine, and also the theories.