Update the Prolog conformance unit tests that depend on the value of the new `prolog_conformance` flag