Fixed ISO Prolog test typos reported by Joachim Schimpf