Представление знаний в информационных системах — "отл". Причем отвечал не по билету, а рассказывал про модель типизации Хиндли-Милнера.
Грац!
Грац!