Hi, all: My question is that: after listing a serial of arithmatic constraints between a set of FD variables in the program, how I can get a solution that satisfies all the constraints? It's the problem of solving linear equations( there may be also inequaion containing #< or #>) in prolog. I believe that prolog can handle this problem. Thank you for your help!