tuProlog tests extended/corrected