New posts in Iso Prolog

'if' in prolog?