Ich spiele mit Einschränkungen in (Swi) Prolog mit der Clpfd-Bibliothek. Ich versuche zu identifizieren, wenn ein Satz von Einschränkungen den anderen einkapselt oder subsumiert, z. X < 4 kapselt X <
Ich lese einen kurzen Artikel über Prolog und Logische Programmierung. Ich bin neugierig, ob das Logische Programm Algebra machen kann. Wie wäre es möglich, zu fragen, was die Variable von X in der Gl