Пара вопросов новичка в декларативном программировании.

1. На чем проще реализовать базу знаний на базе семантической сети
из следующего списка:
— Prolog (SWI-Prolog);
— LISP (Common LISP);
— Scheme (Elk/mzScheme);
— Erlang;
— Ocaml;
— Haskell (ghc/hugs) ?

Среда разработки: Debian GNU/Linux

2. Есть ли свободные демонстрационные/исследовательские прототипы библиотек,
ориентированные на работу с семантическими сетями/базами знаний на их основе ?

3. Что рекомендуете почитать по семантическим сетям на русском языке из электронных/бумажных книг ?