Оболочка экспертной
Рисунок 14. 11. Оболочка экспертной системы: Вопросы к пользователю
и ответы на вопросы "почему".
нумпер( Терм, N, М) :-
Терм =.. [Функтор | Аргументы],
% Структура или атом
нумарг( Аргументы, N, M).
% Пронумеровать переменные в аргументах
нумарг( [ ], N, N) :- !.
нумарг( [X | Спис], N, M) :-
нумпер( X, N, N1),
нумарг( Спис, N1, М).
