https://123dok.org/document/qo5p6330-computational-logic-constraint-logic-programming.html