swi-prolog

1Hitze

1Antwort

Ich möchte die Ausgabe von apropos/1 und help/1 etc. in meinem Emacs-Puffer, anstatt eines XPCE-Fensters. Ich verwende SWI-Prolog unter Linux. Was ich versucht habe: Setzen von Flags in der Init-Datei

4Hitze

4Antwort

Reversible Prädikate und Strings in SWI-Prolog

append/3 ist ein sehr mächtiges Prädikat. Angenommen, ich möchte ein Prädikat, das genauso funktioniert wie die Strings von SWI-Prolog. Der einfachste Ansatz, den ich sehe, besteht darin, diese Zeiche

2Hitze

2Antwort

Wie wird ein Ziel aufgerufen und die Anzahl der logischen Inferenzen an eine Variable in Prolog gebunden?

Entsprechend dem Handbuch führt time(+Goal)Goal aus und druckt unter anderem die Anzahl der verwendeten logischen Rückschlüsse aus. Wie kann ich die Anzahl der logischen Inferenzen an eine Variable bi

1Hitze

2Antwort

Prolog Erhalten Sie die Unterschiede in Tagen zwischen zwei Daten

Ich habe versucht, 2 Daten in Prolog zu vergleichen. Die Termine Format ist Datum (YYYY, MM, DD) ex: (2016,04,21). Ich möchte zwei Daten vergleichen und wissen, ob die Differenz (in Tagen) zwischen di

1Hitze

2Antwort

Wie finde ich einen Teilstring zwischen zwei Zeichen mit Prolog?

Ich habe eine Variable, die an ein Prädikat übergeben wird, das eine Liste von Zeichenfolgen ist. Von jeder Zeichenfolge in der Liste möchte ich die Teilzeichenfolge zwischen den tiefsten Satz von Kla

1Hitze

1Antwort

Kann catch/3 für tcp_connect in Prolog nicht verwenden

Ich möchte überprüfen, ob ein Server zuhört oder nicht und dafür verwende ich den unten gezeigten Code. :- use_module(library(socket)). goal(IP,Port,Sock):- tcp_socket(Sock), tcp_connect(S

2Hitze

1Antwort

Wie bekomme ich die swi-prolog Konsolenausgabe mit JPL?

Ich brauche die Swipl Console-Ausgabe (die Trace-Ausgabe) für eines meiner Projekte. Ich versuche, die JPL7-API zu verwenden, aber ich kann nicht scheinen, eine Methode zu finden, Ausgabe von der Swip

3Hitze

1Antwort

Anzahl der logischen Inferenzen der Länge/2 in Prolog (swi-pl)

Ich erwartete, dass das verbaute Länge/2-Prädikat linear in der Anzahl der logischen Inferenzen ist. Es scheint jedoch, um konstant zu sein: ?- length(L,10),time(length(L,X)). % 2 inferences, 0.000 C

1Hitze

1Antwort

Syntaxfehler in Prolog

Ich versuche, die folgende Formel in swi Prologs zu schreiben, aber einen Fehler, Hier bekommen, ist der Code/query I [X, Y, Z] ins 0 .. 4, X #= Y + 1. tippe und hier wird der Fehler ich bin bekomme

-1Hitze

1Antwort

Ich brauche sehr einfachen Prolog-Code für Eliza Chatbot

Ich habe gekämpft, zu versuchen, Eliza Chatbot in Prolog zu bearbeiten. Jedes Mal, wenn ich versuche, etwas zu bearbeiten, wird ein neuer Fehler angezeigt. Ist es für jede Art von Bearbeitung geschütz