G4mp  is a prover for minimal propositional logic in Prolog. It is G4ip without the intuitionistic absurdity rule.