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
_______________________________________________
Users-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/users-prolog
