Prolog is not a theorem prover. Theorem provers are total (I.e. not turing complete)