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.