AIシステムにおける自動定理証明と論理推論のためにProver9/Mace4を統合したサーバー。