Цитата(sevstels @ Dec 24 2009, 10:47)

Вроде как в умных книжках пишут, что Prolog сильно упрощает и многократно ускоряет разработку систем ИИ. Или уже существует более мощный язык?
LISP рулит
Они в большинстве своём интерпретаторы. Но можете найти в исходниках "Open GNU Prolog" компилятор и портировать.
Только он будет тормоз на DSP. Насколько он ускоряет эксперту разработку, на столько он и замедляет real-time обработку. Задачи ИИ - это перебор по дереву решений, выполняемый Прологом (или Лисп) незаметно для эксперта рекурсивно. И хотя язык позволяет формулировать правила усечения дерева, делает он это на уровне прикладных объектов эксперта, т.е. не очень то эффективно. Не говоря уже о том, что рекурсия не есть очень хорошая идея для процессоров с длинным конвейером и коротким стеком.
Смысл Пролога в том, чтобы эксперт сам писал экспертную систему без программистов, просто формулирую предикаты в своей предметной области. А реализация по быстродействию как получится, делается искусственным интеллектом. Я не думаю, что в этом есть какой-то смысл для DSP. Разве что у вас есть готовая уникальная экспертная система, и её нужно куда-то портировать сохранив её "знания"