A java prover based on Robinson system (Java) - View it on GitHub