Я играю с ограничениями в (swi) прологе, используя clpfd библиотека. Я пытаюсь определить, когда один набор ограничений инкапсулирует или включает другой, например X <4 инкапсулирует X <7 как ...