Здравствуйте, pacify, Вы писали:

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

Тут есть такие вопросы:

1) Какие знания у тебя есть по этим языкам?
Если никаких, то затраты на освоение языка могут превысить простоту реализации.

2) Если это коллективная разработка то есть существенный риск не найти специалистов
по этим языкам.

Так что может стоит подумать о чем-то более распространенном.

А так вроде Пролог как раз для баз знаний создавался.

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

P>2. Есть ли свободные демонстрационные/исследовательские прототипы библиотек,
P> ориентированные на работу с семантическими сетями/базами знаний на их основе ?
Почему бы не начать копать отсюда ?
Да и вообще поиск в Google и на Sourceforge.net в помощь .

P>3. Что рекомендуете почитать по семантическим сетям на русском языке из электронных/бумажных книг ?
Думаю что на русском ничего нет.
Более того, браться за создание чего-то серьезного в этой области без знания английского я бы не стал.