meta-predicate

13Hitze

2Antwort

Prolog GNU - Univ Betreiber? Erklärung davon

Also der univ-Operator. Ich verstehe es nicht genau. Zum Beispiel dieses: foo(PredList,[H|_]) :- bar(PredList,H). foo(PredList,[_|T]) :- foo(PredList,T),!. bar([H|_],Item) :- G =.. [H,Item],G. bar

prolog operator-keyword backtracking meta-predicate 2010-11-09

---

0Hitze

2Antwort

Verwendung von Prolog = .. Prädikat

Ich arbeite an einer Übung, wobei ich versuche, das Prädikat = .. zu verwenden, um eine Prozedur zu schreiben, die alle Elemente in der Liste entfernt, für die PredName (X) fehlschlägt und die restlic

prolog meta-predicate 2016-07-29

---

5Hitze

1Antwort

Modul Erweiterung der Ziele Bibliothek übergeben Meta-Prädikate

Mit SWI-Prolog (Multi-threaded, 64 Bit, Version 7.3.5), wir gehen Schritt für Schritt: definieren dcg Nicht-End-a//1 in Modul dcgAux (ausgesprochen: "di-SEE-goh"): :- module(dcgAux,[a//1]). a(0) -

module prolog meta-predicate 2015-08-21

---

7Hitze

1Antwort

Hilog-Ausdrücke in (XSB) Prolog

Werden Hilog-Ausdrücke (d. H. Verbindungen mit als Funktoren beliebigen Termen) immer noch als mächtiges Merkmal in XSB Prolog (oder einem anderen Prolog) betrachtet? Gibt es viele XSB-Projekte, die d

prolog iso-prolog xsb meta-predicate 2013-03-18

---

15Hitze

5Antwort

Prolog: Filtern einer Liste?

Ich arbeite gerade an einem sehr kurzen Projekt auf Prolog, und bin gerade stecken geblieben und versuche, einen "Filter", den ich erstellt habe, auf eine Liste anzuwenden. Ich habe, was man den Filte

list filter prolog meta-predicate 2008-11-18

---

6Hitze

2Antwort

auf die Reihenfolge der Regeln Unter Berufung

Um die Hamming-Distanz zwischen zwei Listen der gleichen Länge zu berechnen, verwende ich foldl(hamm, A, B, 0, R). mit dieser Definition von hamm/4: hamm(A, A, V, V) :- !. hamm(A, B, V0, V1) :- A \=

prolog meta-predicate 2012-12-20

---