Top Answers

1. valid bracket list in prolog
   6 votes
2. How to express a disjunction of inequalities compactly without redundant answers/solutions
   6 votes
3. Understanding the implementation of label/5 in clpfd
   5 votes
4. About building a list until it meets conditions
   4 votes
5. Testing a too general program
   4 votes