Uniformná implementácia unifikačných algoritmov

(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)

Kompilačno-implementačná práca

Študent má implementovať základné unifikačné algoritmy vo funkcionálnom, resp. objektovom jazyku. Výsledkom je autorova uniformná knižnica algoritmov a prezentácia pre vysok.kurz.