Suchergebnisse für Anfrage "prolog"
Warum würde Prolog eine Variable mit einem Ergebnis abgleichen, das fehlschlägt, wenn es direkt eingesteckt wird?
Ich mache ein Prolog-Programm, das eine Teilmenge einer Reihe von Listen findet. Diese Teilmenge muss bestimmten Bedingungen entsprechen. Ein Aspekt davon ist, dass die Listen der Teilmenge nicht identisch sein können. Was mich verwirrt, ist, ...
Deklarative Verwendungen von memberchk / 2
memberchk/2 ist ein allgemein definiertes Prädikat, das definiert ist alsmember/2 wie so: memberchk(X, Xs) :- once(member(X, Xs)).Es gelingt also nur bei der ersten Antwort vonmember/2. Ihre volle prozedurale Bedeutung passt nicht in eine ...
Prolog, X vor Y in einer Liste
Ich habe Probleme beim Verstehen des Prologs. Ich muss herausfinden, ob X in einer Liste vor Y steht. so ich habe einen Basisfall mit einer leeren Liste before(X, Y, [ ]). Jetzt weiß ich, dass ich den Index von X und den Index von Y in der ...
Prolog mögliche Entfernung von Elementen in einer Liste
ch wurde gebeten zu versuchen, nach allen möglichen Ergebnissen zu suchen, indem ich Zahlen aus einzelnen Elementen aus einer Liste entfern Zum Beispiel, wenn ich eine Liste habe X = [1,2,3] remove(X, Y)Mein Ergebnis wird sein: Y = [2,3] Y = ...
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 ...
Prolog Suche nach einer möglichen Kombination zum Subtrahieren von 2 Elementen von einer Liste
Dies ist ein erweitertes Problem von dieser Seite.Prolog mögliche Entfernung von Elementen in einer ...
Prolog Matching vs miniKanren Vereinigung
In Prolog - Programmierung für künstliche Intelligenz sagt Bratko Folgendes auf Seite 58. "Matching in Prolog entspricht der sogenannten Vereinheitlichung in der Logik. Wir vermeiden jedoch das Wort Unification, da Matching aus Effizienzgründen ...
Warum gibt mir SWI-Prolog nur die erste Antwort?
Ich bin neu in Prolog. Ich versuche nur, einfache Beispiele zu lernen. Ich habe das.pl Datei mit diesen Zeilen: parent(pam,bob). parent(tom,bob). parent(tom,lio). parent(bob,ann). parent(bob,pat). parent(pat,jim).Nach Beratung und Test wird nur ...
make / 0 Funktionalität für SICStus
Wie kann ich sicherstellen, dass alle Module (und im Idealfall auch alle anderen geladenen oder enthaltenen Dateien) auf dem neuesten Stand sind? Bei der Ausgabe vonuse_module(mymodule), SICStus vergleicht das Änderungsdatum der Dateimymodule.pl ...
SWI Prolog - Ausdrücke vereinfachen
Ich möchte eine Prozedur simplify (E, E1) schreiben, die Ausdrücke vereinfachen kann. Ich habe nur eine Operation + und symbolische und numerische Operanden. Beispiele für diese Vorgehensweise: simplify(a + 1 + b + 5, E) ------> E = a + b + 6 ...