Программы cs-prolog.sf.net

К.Пролог -- Переводчик Пролога, написанный в СЗ. Можно легко интегрировать в программы C. Характеристики: надежный и довольно быстрый интерпретатор, интерфейс командной строки, встроенный DCG, XML-предикаты, предикаты S'L, уд