Prolog - wie man einen Satz macht, der eine leere Liste zurückgibt, anstatt zu scheitern

Ich benötige eine geordnete Liste von Objekten, die das Ziel erfüllen.

Analysiert einen Ausdruck in Prolog und gibt eine abstrakte Syntax zurück

Begriffserweiterung für eine Liste von Begriffen

Angenommen, ich möchte eine Reihe von Regeln haben, die alle dem gleichen Muster folgen. Ich bin in diese Situation geraten, wenn ich nicht deterministisches Verhalten vermeiden möchte, indem ich alle möglichen ersten Argumente explizit aufführe. ...

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 ...

Prolog-Prädikat mit variabler Anzahl von Argumenten [geschlossen]

Ich schreibe einen Sudoku-Solver mit PROLOG. Ich möchte, dass der Löser mit allen möglichen Größen von Sudokus arbeitet, also muss ich natürlich Prädikate konstruieren, die eine variable Anzahl von Argumenten annehmen. (Zum Beispiel, um die ...

Prolog: "findall" für eine begrenzte Anzahl von Lösungen

Angenommen, ich möchte die Summe aller Lösungen für ein Prädikat finden, das ich nur verwenden kann findall(L, find(L), Sols),und summiere einfach die Mitglieder von Sols. Aber was ist, wenn find (L) eine große Anzahl (möglicherweise unendlich ...

Überprüfen Sie, ob die Variable leer oder gefüllt ist

Ich habe folgendes Problem: Prolog Prog: man(thomas, 2010). man(leon, 2011). man(thomas, 2012). man(Man) :- once(man(Man, _).Problem: ?- man(thomas). true ; %i want only on true even if there are more "thomas" *working because of once()* ?- ...

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 ...

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 ...

Variablennamen neu anordnen

So schreiben Sie standardkonformavs_term_rearranged(AVs, T, AVsR) mit gegebenAVs undT so dassAVsR ist eine Permutation vonAVs wobei die Elemente in derselben Reihenfolge angeordnet sind, in der ihre Variablen in der Reihenfolge von links nach ...