Suchergebnisse für Anfrage "unification"
Wie funktioniert das Binden in einer Warren's Abstract Machine, wenn eines der Argumente ein Register ist?
Ich versuche, meine eigene WAM-Implementierung zu erstellen und bleibe beidie Übung 2.4 [https://docs.google.com/viewer?url=http%3A%2F%2Fwambook.sourceforge.net%2Fwambook.pdf&a=bi&pagenumber=34] Ich kann nicht verstehen, wie die Anweisung ...
u vereinheitlichende @Type-Variable kommt in Typ @ v
Ich habe die Funktion, einen Baum aus 2 Listen zu rekonstruieren. Ich gebe eine Liste aller Zweige zurück, erhalte jedoch eine Fehlermeldung, die ich nicht verstehe. Aber ich nehme an, es hat mit den Rückgabetypen zu tun. Der Fehler ist ...
Wie kann ich den Vereinigungsalgorithmus in einer Sprache wie Java oder C # implementieren?
Ich arbeite an meinem KI-Lehrbuch und bin zu den letzten Hausaufgaben für meinen Abschnitt gekommen:"Implementieren Sie den auf Seite 69 beschriebenen V...
Vereinigung höherer Ordnung
Ich arbeite an einem Satzbeweiser höherer Ordnung, dessen Vereinheitlichung das schwierigste Teilproblem zu sein scheint.Wenn Huets Algorithmus immer noch al...