Suchergebnisse für Anfrage "clpfd"
Schnellere Implementierung von verbaler Arithmetik in Prolog
Ich habe bereits eine Arbeit verallgemeinertverbal arithmetic [http://en.wikipedia.org/wiki/Verbal_arithmetic] Solver in Prolog, aber es ist zu langsam. Es dauert nur 8 Minuten, um den einfachen Ausdruck S E N D + M O R E = M O N E Y auszuführen. ...
Wie schreibt man eine Art bedingte Planung in Prolog?
Ich habe versucht, einen Prologcode zu schreiben, der das in C # geschriebene Studentenprogramm versteht. Jetzt bin ich festgefahren, die "Wenn" -A...
PROLOG Zahlen ausgeben, die mit 7 enden und die Summe ihrer Ziffern ist größer als 100
Ich muss ein Prädikat erstellen, das eine numerische Liste erhält, und nur die Zahlen ausgeben, die mit 7 enden und die Summe der Ziffern größer als 100 ist. Ich habe die Prädikate für Separated erstellt, aber ich brauche Hilfe, um ...
Reversible numerische Berechnungen in Prolog
Während ich SICP las, stieß ich auf Kapitel 4.4 der Logikprogrammierung. Dann habe ich mich mit der Programmiersprache Prolog befasst und versucht, einige einfache Aufgaben in Prolog zu verstehen. Ich fand heraus, dass Prolog Probleme mit ...
Ist es möglich eine aufsteigende Liste zu deklarieren?
Ich kann Listen mit aufsteigenden ganzen Zahlen wie folgt erstellen: ?- findall(L,between(1,5,L),List).Ich weiß, dass ich auch Werte generieren kann mit: ?- length(_,X).Aber ich glaube nicht, dass ich dies in einem Findall verwenden kann, da ...
Prolog-Anfänger: So erstellen Sie eindeutige Werte für jede Variable in einem Prädikat
Ich habe ein Prolog-Prädikat: Add( [A|B] , Answer ) :- ... ~ Add everything in the list to come up with answer ...Ich möchte jetzt @ implementierAddUnique das würde eindeutige Werte für alles in der Liste zurückgebenauße wenn ich die Variable ...
Reversible Baumlängenbeziehung
Ich versuche, reversible Relationen in "reinem" Prolog zu schreiben (Nr
Prolog-arithmetische Syntax
Wie definiere ich
Allgemeine Fibonacci-Sequenz mit SICStus Prolog
Ich versuche, eine Lösung für eine Abfrage nach einer verallgemeinerten Fibonacci-Sequenz (GFS) zu finden. Die Abfrage lautet: Gibt es ein GFS mit 885 als 12. Nummer? Die ersten 2 Zahlen können zwischen 1 und 10 liegen. Ich habe bereits die ...
Allgemeinste Bedingung höherer Ordnung, die eine Folge von Ganzzahlen beschreibt, die in Bezug auf eine Beziehung @ geordnet si
n CLP (FD) müssen wir häufig angeben: "Dies ist eine Liste von Ganzzahlen und endlichen Domänenvariablen in (manchmal:stren) aufsteigende / absteigende Reihenfolge. " Gibt es ein CLP (FD) -System, das eine allgemeine ...
Seite 1 von 2