Add Prolog conformance unit test for the if-then-else control construct

This new test checks for correct semantics when a cut is found in the condition part. Added after discussion with David S. Warren about a likely typo in a similar standard example.