CLP (FD), das für Constraint Logic Programming über Finite Domains steht, implementiert deklarative Integer-Arithmetik in Prolog-Systemen. Es ist eine reine und allgemeine Ersetzung niedrigerer arithmetischer Prädikate und ermöglicht es Ihnen, kombinatorische Probleme wie Planungs-, Planungs- und Zuweisungsaufgaben effizient zu lösen.
Es gibt einige Instanzen , in denen rekursive Prädikate vorkommen können CLP (FD) - mit dem Vorteil, dass das Prädikat bidirektional wird. Was sind die Grenzen dieser Methode? Zum Beispiel kann die folgende Berechnung CLP (FD) -fied:
%Vor%...
28.03.2016, 14:29
Ich bin neu im Prolog und mache einige Übungen zur Übung. Also versuche ich die Summe der angegebenen Zahlen in eine Liste zu bekommen. Ich versuche das zu benutzen:
%Vor%
( hier )
als mein Führer. Also das ist mein Code für die Summe:...
17.07.2012, 10:28
Ich versuche nur, die Constraint-Programmierung in SWI-Prolog herauszufinden, und schaue mir dieses Tutorial an: Ссылка
Allerdings scheint ich auf die erste Hürde zu fallen.
%Vor%
Was läuft hier falsch? Ich scheine die Bibliothek enthal...
08.04.2011, 12:33
Ich mache dieses Problem, aber ich bin völlig neu in Prolog und ich habe keine Ahnung, wie es geht.
Neun Teile einer elektronischen Platine haben eine quadratische Form, die gleiche Größe und jede Kante jedes Teils ist mit einem Buchstaben un...
11.11.2014, 03:25
Ich habe diese ECLiPSe-Lösung für das in dies XKCD Comic. Ich habe versucht, dies in reines Prolog umzuwandeln.
%Vor%
Ich glaube nicht, dass dies die beste / deklarativste Lösung ist, die man sich vorstellen kann. Hat jemand Verbesserung...
06.06.2011, 14:28
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