clpfd

4Hitze

1Antwort

Matrix-Multiplikation in Prolog

Ich fand einen Code, der Matrizen multipliziert. % SWI-Prolog has transpose/2 in its clpfd library :- use_module(library(clpfd)). % N is the dot product of lists V1 and V2. dot(V1, V2, N) :- mapli

matrix prolog clpfd 2012-03-26

---

7Hitze

3Antwort

Ich bin neugierig, ob Logisches Programm kann Algebra tun

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

prolog algebra declarative clpfd clpq 2012-12-03

---

2Hitze

2Antwort

fd_domain, Gleichung funktioniert nicht

fd_domain([A, B, C], 0, 9), (A**(B+C)) #= ((A**B)*(A**C)). Vielleicht einige Lösungen? Scheint ok; P ich, dass bestimmte Störung erhalte: uncaught exception: error(instantiation_error,(#=)/2)

prolog clpfd 2012-04-02

---

6Hitze

2Antwort

PROLOG CLPFD Wie kann dies über Einschränkungen ausgedrückt werden?

den folgenden Beispielcode Gegeben: example(Ls) :- Ls = [X,Y], Ls ins 1..2, Cost #= max((X #= 1)*3 + (Y #= 1)*5, (X #= 2)*3 + (Y #= 2)*5), labeling([minimize(Cost)], Ls).

prolog constraints minimize clpfd 2014-01-12

---

2Hitze

2Antwort

Listenaufbauprobleme

Für mein Programm muss ich eine Liste von Listen machen, wobei jede Unterliste 2 Zahlen, X und Y zusammen mit der Summe und dem Produkt dieser 2 Zahlen enthält. Bisher habe ich folgende: genList(95, X

prolog clpfd 2012-04-09

---

5Hitze

1Antwort

Prolog fd_domain ist undefiniert

OK, also versuche ich diesen einfachen Sudoku-Löser für ein Schulprojekt zu programmieren. Ich verwende SWI - Prolog und verwende die Bibliothek clpfd. Das Problem tritt auf, wenn ich Domäne/3-Prädika

prolog clpfd 2013-05-16

---

7Hitze

6Antwort

Schnellere Implementierung der verbalen Arithmetik in Prolog

Ich habe bereits einen funktionierenden verallgemeinerten verbal arithmetic Löser in Prolog, aber es ist zu langsam. Es dauert 8 Minuten, nur um den einfachen Ausdruck auszuführen. S E N D + M O R E =

performance prolog logic clpfd cryptarithmetic-puzzle 2012-06-07

---

6Hitze

3Antwort

Speicherleck Sicstus Prolog

Diese Frage ist eine Folge von diesem question. Ich bin eine große Anzahl von Tests in SICStus Prolog ausgeführt wird: runtest:- t1, t2, t3, . . t100. Jeder Test Standalone und wird das Ergebn

prolog clpfd sicstus-prolog 2014-02-12

---

2Hitze

2Antwort

Verwendung von in_set/2 Constraint

Ich versuche Contrain X zu verwenden, um kein Wert in einer Liste zu sein. Vom SICStus Prolog manual: ?X in_set +FDSet ich kann nicht herausfinden, wie man eine Liste in eine FDSet konvertieren, tho

prolog constraints sicstus-prolog clpfd 2012-04-12

---

11Hitze

3Antwort

List Ungleichheit Einschränkung

Ich versuche, ein Prolog (CLP) Prädikat zu schreiben, die eine Einschränkung erstellen würde, die Ungleichheit von zwei Listen einschränkt. Formaler, mit zwei Listen A=[A1,...,AN], B=[B1,...,BN] die E

prolog clpfd 2012-12-22

---