ECLiPSe ist ein Constraint-Logik-Programmiersystem, das mit Prolog als Basis-Engine arbeitet. Es enthält Module für die Ganzzahl-Constraint-Logik-Programmierung sowie Gleitkomma-Punkte. Es unterstützt auch eine große Anzahl von globalen Einschränkungen.
Kann jemand ein einfaches Beispiel für Channeling-Constraints geben?
Kanalisierungsbeschränkungen werden verwendet, um Betrachtungspunkte eines Einschränkungsproblems zu kombinieren. Handbuch der Constraint-Programmierung gibt eine gute Erklä...
21.06.2016, 14:48