Je joue avec des contraintes dans (swi) prolog en utilisant la bibliothèque clpfd. J'essaie d'identifier quand un ensemble de contraintes encapsule ou subsume l'autre, p. Ex. X < 4 encapsule X < 7 à c
J'ai ce scénario où je reçois une équation linéaire dans la requête Prolog comme ci-dessous: ?- myquery(3X + 5Y = 10, Result).
Donc, ma requête a une équation 3x + 5Y = 10, ce qui en général prend l
J'utilise SWI-Prolog et je suis très nouveau et j'apprends toujours. En pratique, cette question fait suite à Why can't my rule solve for X in a simple algebraic equation? J'ai importé clpq. ?- use_mo