[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

A problem about constraints

From: Zhao, Yang
Subject: A problem about constraints
Date: Fri, 3 Nov 2006 18:05:35 -0800

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]