31 августа 2009 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Вообще речь именно об этом - добавление новой парадигмы и есть добавление библиотеки. Для добавления логической (FOL в варианте Пролога) импортируются понятия фактов и правил вывода. Причём, как в базовый язык, так, при желании, и в "пустой" язык, получая на выходе незамутнённый Пролог. Есть выбор. Из чего следует возможность IDE поддерживать синтезированный здесь и сейчас язык, так как эта поддержка уже включена в библиотеки, из которых он синтезирован.