Suchergebnisse für Anfrage "prolog"
Wie starte ich SWI-Prolog von der Kommandozeile aus?
Gibt es eine Möglichkeit, einfach ein Prolog-Skript mit dem Namen zu erstellen?hello.pl so was: #!/usr/local/bin/swipl -q -s -t main main:- write('Hello World\n').Und in der Lage sein, es so vom Terminal aus zu starten? $ hello.pl Hello World ...
Logische Reinheit von when / 2 und ground / 1
Die Frag Ich habe eine Frage zur logischen Reinheit. Ist dieses Programm rein? when(ground(X), X > 2).Einige [ir] relevante Details zum Kontext Ich versuche reine Prädikate mit guten Terminationseigenschaften zu schreiben. Zum Beispiel ...
Prolog Warnung "Singleton-Variable"
Ich bin neu in Prolog und königlich verwirrt! Ich erhalte immer wieder die Warnung "Singleton-Variable für [WMAPDY]". Ich habe irgendwo gelesen, dass diese Warnung manchmal nutzlos ist. Ich habe auch gelesen, dass das Programm wegen der Warnung ...
Prolog lernen: Ein Kreuzworträtsel lösen
Ich versuche ... zu lernenProlog Folgen Sie den Tutorials aufdiese [http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse7] Website und ich kann keine Lösung für eine Übung finden (und es gibt keine Lösung auf der ...
Eingabe im Prolog lesen und Ergebnis ausdrucken
Ich lerne Prolog-Ideen und hier ist, was ich üben möchte:Ich möchte ein Prolog-Programm schreiben, das so funktionieren kann:
Prolog findall / 3
Angenommen, ich habe ein Prädikat-Prädikat, das mehrere Fakten enthält. pred(a, b, c). pred(a, d, f). pred(x, y, z).Kann ich findall / 3 verwenden, um eine Liste aller Fakten zu erhalten, die mit einem Muster abgeglichen werden können? Zum ...
So finden Sie die Anzahl der Inversionen in einer Liste in Prolog
Als jemand, der neu in Prolog ist, möchte ich herausfinden, wie man die Anzahl der Inversionen in einer Liste gut zählt. Ich weiß, wie man eine Matrix mit @ abflacflatten(Matrix, FlatMatrix), wodurch eine Variable erstellt wird, die einen ...
Probleme mit der Speicherung von Fakten in Prolog
Ich bin ein bisschen neu in Prolog und verwende SWI-Prolog v6.6, um Asserts in meiner * .pl-Datei zu speichern. :- dynamic fact/2. assert(fact(fact1,fact2)).Mit dem obigen Code kann ich Asserts machen und es funktioniert einwandfrei, aber das ...
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 ...