CProlog. Исходник интерпретатора

Prolog - это простой, но мощный язык программирования изначально
созданный в Университете Марселя как практический инструмент для
логического программирования. С пользовательской точки зрения главная
привлекательность языка - легкость программирования. Ясность,
читаемость, точность программ, которые могут быть написаны быстро с
малым числом ошибок. Prolog особенно подходящ для высоко-уровневого
символического программирования задач и применялся во многих областях
ИИ.
Система состоит из Prolog-интерпретатора и большого диапазона
встроенных (определенных в системе) процедур. Его архитектура основана
на системе (Edinburgh) DECsystem-10 Prolog и близка к к системе
совместимой с DECsystem-10 Prolog и таким образом также близка к PDP-11
Unix и RT-11 Prolog.
C-Prolog предоставляет пользователю интерактивную среду
программирования с инструментарием для инкрементального построения
программ, отладки программ с последующим ее выполнением, и модификацией
ее частей без стартования сначала.
C-Prolog основывается на более раннем интепретаторе Prolog, написанном в IMP
для операционной системы EMAS Луисом Дамасом, который в свою очередь
позаимствовал многие аспекты и дизайн у системы DEC-system-10/20.
Prolog написанной Дэвидом Уорреном и Фернандо Перейрой, Лоуренсом
Бьордом и Луисом Перейрой.В архиве:
Исходник оригинального C-Prolog с несущественными изменениями
Оригинальный мануал