Перезалил.
Кому интересно.
Забыл выложить , давно сделал.
Переработаны старые компоненты, добавлены новые.
Основное:
1. Аппаратно формируется прологовское вправило из запроса для переменных.
Поддерживаются Структуры, Арифметика, Операции сравнения, Сопоставление, Списки и т.д.
Можно задавать любые вопросы для любых конструкций поддерживаемых прологом.
?- age(X , Y), Y>21.
?- higher(point( 1, 1), point( 2, 2)).
?-X = 2+1.
Сопоставление
data(M, D, 1992).
data(may, 3, Y).
Сопоставимы, переменные конкретизируются:
М=may
D=3
Y=1992
в обоих термах.
Списки.
?-replace_first([a,b,с],w,X).
!!! Вопросы задаются без "?-", т.е. просто temnyi(X),big(X).

2. Добавлены компоненты для программного обращения и формирования базы из переменных(без диалога из входной строки) - добавление, удаление, правила, запросы. (будет время, надо ещё сделать недостающие 8-12 штук).

3. Добавлены точки для удаления, или загрузки данных раздельно из скрипта, входной строки и в формате базы.
Т.е. можно при одном и том-же скрипте работать с разными базами и наоборот.

4. Добавлены списки, точки для отката по шагам и пошагового доказательства. По мелочи оптимизированны функции.

Предыдущее удалить и залить заново.
https://yadi.sk/d/3u6nu7ifdACae

P.S. PROLOG.DLL нужно выкинуть. Она зашита в PROLOG.pas и переработана.
Можно обращаться к прологу из IC включив PROLOG.pas.
Функции расписаны в "Процедуры для подключения Пролога.txt".