Next: Vorcompilation Up: Unifikation Previous: Modell_2

Modell_3

F"ur die Unifikation im dritten Modell sind einige Vorverarbeitungen n"otig. Zuerst mu"s die sortbase vorcompiliert werden . Dann kann man die sortbase noch auf Vollst"andigkeit und Eindeutigkeit pr"ufen (). Ist das Sortenwissen in subsumes -Notation gegeben kann es in Hornregeln "uberf"uhrt werden und andersrum (). Erst nach der horizontalen Compilation kann unifiziert werden ().

Harold Boley & Victoria Hall (hall@dfki.uni-kl.de)