Zeroth-order intuitionistic logic theorem prover