Оболочка экспертной

Рисунок 14. 11. Оболочка экспертной системы: Вопросы к пользователю
и ответы на вопросы "почему".

        нумпер( Терм, N, М) :-
                Терм =.. [Функтор | Аргументы],             % Структура или атом
                нумарг( Аргументы, N, M).
                                        % Пронумеровать переменные в аргументах
        нумарг( [ ], N, N) :- !.

        нумарг( [X | Спис], N, M) :-
                нумпер( X, N, N1),
                нумарг( Спис, N1, М).

Содержание раздела