G4ip prover in Prolog