https://9lib.org/document/yev3jxre-gentle-guide-constraint-logic-programming-eclipse.html