A problem about constraints

[Zhao, Yang]

Hi, all
        In programming, I want to express the constraints between two variables 
X and Y. A formula can be designed like:
        constraint(X,Y) :- (success if the constraint is satisfied)
        It's convenient to call it where the constraint is needed.
        Now the my question comes: If I want to express the logic computation 
between this constraint and other constraint.It must be an error to write 
constraintA(X,Y) #\/ constaintB(X,Y).
        How can I do? Thank you! 
                                
--------------
Zhao, Yang
2006-11-03