how does relational operator work in prolog