relational operator in prolog

join shbcf.ru