[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]
?X &>= ?Y
X is after or equal to Y in the domain order
- X
- variable or domain value
- Y
- variable or domain value
Description
	Constrains X and Y such that X is after Y or the same as Y in the
	domain order.
	X and Y must be variables or values of the same domain. If one of
	them is domain-less, it will be given the same domain as the other.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Examples
    ?- [X,Y] &:: weekday, X &>= Y.
    X = X{[mo, tu, we, th, fr, sa, su]}
    Y = Y{[mo, tu, we, th, fr, sa, su]}
    There is 1 delayed goal.
    Yes (0.00s cpu)
    ?- th &>= mo.
    Yes (0.00s cpu)
    ?- X &>= th.
    X = X{[th, fr, sa, su]}
    Yes (0.00s cpu)
    ?- th &>= fr.
    No (0.00s cpu)
    ?- X &>= Y.
    Arguments have no domains in X &>= Y in module eclipse
    Abort
    ?- X &:: weekday, X &>= red.
    Arguments have different domains (weekday,colour) in X &>= red ...
    Abort
    
See Also
&>= / 3, &< / 2, &> / 2, &=< / 2, &= / 2, &\= / 2, shift / 3, rotate / 3, domain / 1