Suchergebnisse für Anfrage "meta-predicate"
Paarweise Beziehung über Liste
Das folgende Prädikat höherer Ordnung ist erfolgreich, wenn alle Paare der Listenelemente für eine bestimmte Beziehung wahr sind. Gibt es einen gemeinsamen oder besseren, eher beabsichtigten Namen für diese Beziehung? Meine ursprüngliche ...
Prolog: Filtern einer Liste?
Ich arbeite derzeit an einem sehr kurzen Projekt für Prolog und habe gerade versucht, einen von mir erstellten "Filter" auf eine Liste anzuwenden. Ich habe den Filter sozusagen fertig, kann ihn aber nicht anwenden. Es wäre besser, wenn ich ...
Warum verwenden wir '!' in prolog
Dies ist der Code, den ich zu verstehen versuche. co(X) :- co(X,[],L). co([],A,A):- write(A). co([X|Xs], A, L) :- p(X-Z,A,R), !, Z1 is Z+1, co(Xs, [X-Z1|R], L). co([X|Xs], A, L) :- co(Xs, [X-1|A], L). p(X-Y,[X-Y|R],R):- !. p(X,[H|Y], [H|Z]) :- ...
Unter Berufung auf die Reihenfolge der Regeln
Um die Hamming-Distanz zwischen zwei Listen gleicher Länge zu berechnen, benutze ich
Allgemeinste Bedingung höherer Ordnung, die eine Folge von Ganzzahlen beschreibt, die in Bezug auf eine Beziehung @ geordnet si
n CLP (FD) müssen wir häufig angeben: "Dies ist eine Liste von Ganzzahlen und endlichen Domänenvariablen in (manchmal:stren) aufsteigende / absteigende Reihenfolge. " Gibt es ein CLP (FD) -System, das eine allgemeine ...