Suchergebnisse für Anfrage "prolog"
Safer Typprüfungen in Prolog
ISO-Prolog (ISO / IEC 13211-1: 1995 einschließlich Cor.1: 2007, Cor.2: 2012) bietetfolgend [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#status_quo] eingebaute Prädikate zum Testen des Typs eines Begriffs: 8.3 Typprüfung 1 var / ...
Prolog Union für A U B U C
Ich habe vor kurzem angefangen, Prolog zu lernen und kann nicht lösen, wie man die Vereinigung von drei Listen macht. Ich konnte 2 Listen zusammenfassen: %element element(X,[X|_]). element(X,[_|Y]):- element(X,Y). %union union([],M,M). ...
Variables Vorkommen in einer Liste von Variablen
Betrachte ein (meta-logisches) Prädikatvar_in_vars(Var, Vars) welches eine Variable nimmtVar und eine Liste von VariablenVars und erfolgreich wennVar tritt auf inVars. Wir müssen also nicht sicherstellen, dassVar ist eine Variable, noch dasVars ...
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 ...
Find max integer in einer Liste in prolog
Ich versuche, die maximale Anzahl in einer Liste zu finden. Ich weiß, dass online mehrere Lösungen zur Verfügung stehen, aber ich bin der Meinung, dass der beste Weg, um zu lernen, darin besteht, diese selbst umzusetzen. Ich habe den folgenden ...
Komplexität von ISO Prolog-Prädikaten
Gibt es Garantien für Obergrenzen für die zeitliche Komplexität der Standard-Prädikate von Prolog? Zum Beispiel: Ist es sicher, dasssort(+List, ?SortedList) läuft in O (nlog (n)) Zeit (n ist die Länge vonList) in einem standardkonformen ...
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 ...
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 ...
Was ist eine gute Prolog-IDE für Linux? [geschlossen
Ich muss einige Prolog-Programme für eine Klasse schreiben. Irgendwelche Empfehlungen
Prolog: Alle Lösungen finden
Der Titel sieht vielleicht wie ein Dutzend Cent aus, ist es aber nicht. Das Ziel dieses Programms ist es, diese Klassen (Bedürfnisse) needs([[ece2090,1,m,13,16], [ece3520,1,tu,11,14], [ece4420,1,w,13,16]].und verbinden Sie sie mit ...