unification

5Hitze

2Antwort

Suche Algorithmus zur Suche nach Argument zur Erfüllung der angegebenen Funktion

Ich habe dieses spezielle Problem, für das ich noch keine Lösung haben. Ich denke, es würde helfen, wenn ich weiß, dass es einen verwandten Algorithmus gibt. Der Algorithmus, den ich suche, ist einer,

5Hitze

1Antwort

In einer abstrakten Maschine von Warren funktioniert die Bindung, wenn eines der Argumente ein Register ist?

Ich versuche, meine eigene WAM Umsetzung zu erstellen, und ich bin bei the exercise 2.4 Ich kann nicht verstehen, wie stecken 2.4 Anweisung unify_value X4 in Abbildung auszuführen. Soweit ich verstehe

0Hitze

2Antwort

Prolog-Code Beispiel: Unification

Von einem alten Finale für meine Klasse: Hier einiger Prolog-Code: mystery(1, 1). mystery(N, F) :- N1 is N-1, mystery(N1,F1), F is F1*N. Frage 1: Welcher Wert mit P in vereinigt ist

21Hitze

4Antwort

Unterschiede zwischen Mustererkennung und Vereinheitlichung?

Ich dachte, ich verstehe, wie Mustervergleich wie in Scala und Haskell unterscheidet sich von Vereinheitlichung in Prolog gefunden, aber meine Missverständnisse von Prolog ist groß. Was sind einige ei

1Hitze

1Antwort

Idris - Expression doesnt typecheck beim Importieren von Modul

Ich habe ein Idris-Modul, das einen bestimmten Typ/Prädikat IsSet und eine Entscheidungsfunktion isSet darüber definiert. Es definiert auch einige Hilfsfunktionen, um diese Decidability-Funktion bei d

5Hitze

1Antwort

Instantiiertyp Variable in Haskell

BEARBEITEN: Gelöst. Ich wusste nicht, dass das Aktivieren einer Spracherweiterung in der Quelldatei die Spracherweiterung in GHCi nicht aktiviert hat. Die Lösung war :set FlexibleContexts in GHCi. Ich

6Hitze

1Antwort

Prolog: Ist f (X) = X vereinheitlichbar oder nicht?

Mein Verständnis von Vereinigung ist ein wenig lückenhaft. Ich verstehe die grundlegende Vereinheitlichung, aber ich habe Probleme, Begriffe zu verstehen, die nicht vereinheitlichbar sind. Ich habe ge

1Hitze

2Antwort

Erkennen, ob ein Prädikat beweisen Unified etwas

Ich habe ein Prädikat, das seine Argumente vereinen kann, zum Beispiel: foo(X) :- X = 42. Wie kann ich feststellen, ob, während foo(X) beweist, Vereinigung X verändert? Zum Beispiel würde ich gerne wi

2Hitze

1Antwort

Vereinheitlichung mit rekursiven Datentypen

Nach dem suggestion rekursive Datentypen für eine verschachtelte Struktur wie ein Baum zu verwenden Ich habe versucht, recsurive Datatyep in einem Testprogramm zu arbeiten, sondern stieß auf (noch ein

1Hitze

1Antwort

Mitglied in Kombination mit Rekursion

Ich lerne Prolog an der Universität und stolpere über etwas seltsam während der Home-Übungen. Ich schrieb folgende Prolog-Klauseln, die einen Teil eines viel größeren Programms sind: edges(X,Edges):-