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
Student ma implementovat zakladne unifikacne algoritmy vo funkcionalnom, resp. objektovom jazyku. Vysledkom je autorova uniformna kniznica algoritmov a prezentacia pre vysok.kurz.