prolog testing, all tuprolog tests pass
Merge origin/prolog1 into prolog1