A problem about constraints

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