unification

16Hitze

4Antwort

Wie kann ich den Vereinigungsalgorithmus in einer Sprache wie Java oder C# implementieren?

arbeite ich durch meine AI Lehrbuch Ich habe und ich habe für meinen Abschnitt zum letzten Hausaufgabe Problem kommen: „Implementieren des Unifikationsalgorithmus auf Seite skizzierte 69 in jeder Spra

13Hitze

2Antwort

Scheinbar unnötiger Fall im Unifikationsalgorithmus in SICP

Ich versuche, den Unifikationsalgorithmus in SICP here Insbesondere in dem Verfahren „extend-if-möglich“ beschrieben, zu verstehen, gibt es eine Prüfung (die erste Stelle markiert mit Sternchen „*“),

6Hitze

3Antwort

Real-World Beispiel der Vereinheitlichung in der Logik der ersten Ordnung?

Ich weiß, das ist nur ein Teil einer Programmierfrage, aber im Moment mache ich ein bisschen Logikprogrammierung. Eine Sache, die ich immer noch nicht richtig verstehe, ist die Vereinigung in der Logi

8Hitze

3Antwort

Mustervergleich äquivalente Variablen in Haskell, wie in Prolog

In Prolog, können wir so etwas wie die folgenden tun: myFunction a (a:xs) = ... Dies ist, wenn das erste Argument von myFunction ist das gleiche wie das erste Element der Liste das ist im 2. Argumen

11Hitze

1Antwort

Prolog ist vs = mit Listen

Warum schlägt das fehl L is [1,2,3,4], und das funktioniert: L = [1,2,3]? Aber L is 1 und L = 1 funktionieren beide gleich.

10Hitze

2Antwort

Was ist der optimale "allgemeinste Unifier" -Algorithmus?

Die Frage Was ist der effizienteste MGU-Algorithmus? Was ist seine zeitliche Komplexität? Ist es einfach genug, um eine Stapelüberlaufantwort zu beschreiben? Ich habe versucht, die Antwort auf Google