There is a standard order defined on Prolog terms --- i.e. one Prolog term can be compared with another and we can reach a decision about which comes before which. The predicates that achieve this are not part of the first order predicate logic. We only list them briefly here.