clpfd

2Hitze

2Antwort

Prolog, Test (X, Y, Z): - Y ist X + Z

Wie bekomme ich Y und Z in Prolog, wenn ich nur X kenne? Zum Beispiel: test(X, Y, Z) :- X is Y + Z. aber Fehler: ?- test(2, Y, Z). ERROR: is/2: Arguments are not sufficiently instantiated

prolog clpfd 2010-12-05

---

5Hitze

3Antwort

Prolog Anfänger: Wie man mit arithmetischen Vergleichsoperatoren vereinheitlicht oder wie man eine var auf einen Wertebereich setzt

Ich bin neu in Prolog. Ich muss einen ganzzahligen Addierer schreiben, der Zahlen zwischen 0-9 zu anderen Zahlen 0-9 hinzufügt und eine Lösung 0-18 produziert. Dies ist, was ich tun möchte: % pseudo c

prolog clpfd 2010-06-05

---

5Hitze

2Antwort

SWI-Prolog und Constraints, Bibliothek CLP (FD)

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 <

prolog constraints clpfd clpq 2010-11-03

---

2Hitze

1Antwort

Lösen eines Logikpuzzles (Kuromasu, wo ist schwarze Zellen) in Prolog

Ich habe ein paar Probleme mit der Lösung von Puzzle. Ich habe nirgendwo eine Lösung für dieses Puzzle gefunden, aber ich habe versucht, es in Prolog zu schreiben, aber ich denke, dass meine Lösung ni

prolog logic puzzle clpfd 2012-03-24

---

9Hitze

4Antwort

reversibel "binär zu Nummer" Prädikat

Was ist der beste Weg, um binäre Bits (es könnte eine Liste von 0/1, zum Beispiel) in reversible Weise in Zahlen umzuwandeln. Ich habe ein natives Prädikat in swi geschrieben, aber gibt es eine besser

prolog clpfd 2010-11-16

---

4Hitze

3Antwort

Einfaches Prdikat nth1 in Prolog

Mit SWI Prolog gibt es ein Prädikat, das das n-te Element in einer Liste namens nth1 findet. Ich möchte meine eigene Version des Prädikats implementieren, aber SWI's sind so kompliziert, wenn Sie sich

prolog clpfd 2010-11-21

---

6Hitze

3Antwort

PROLOG alle anders

Ich habe ein sehr seltsames Problem mit PROLOG. Ich habe es schon früher benutzt, aber es ist schon eine Weile her und ich bin rostig. Ich habe eine Liste von Variablen und ich muss sicherstellen, das

prolog clpfd 2010-03-21

---

6Hitze

1Antwort

Convert Float zu Integer in Prolog

Wie konvertiert man Float zu Integer in Prolog? Ich habe versucht: ?- integer(truncate(sqrt(9))). false. ?- integer(round(sqrt(9))). false.

floating-point integer prolog clpfd 2010-12-04

---