Der Unifikationsalgorithmus
Channel: Prof. Markus
Date: 2021-06-28

Zum Lösen von Unifikationsproblemen gibt es einen einfachen Algorithmus, den wir in diesem Video kennenlernen. Wir beweisen außerdem, dass der Algorithmus wie gewünscht funktioniert und zeigen dadurch nebenbei, dass jedes lösbare Unifikationsproblem auch einen allgemeinsten Unifikator hat.

► Playliste für diesen Videokurs: https://www.youtube.com/playlist?list=PLz7XhF-sAU8z4FtL7V9uefCXzW9Z9rk5c
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/TheoLog2021 (18. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung:  https://iccl.inf.tu-dresden.de/web/TheoLog
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog