Программирование на языке Пролог для искусственного интеллекта
Ответ был Найден, Н)
отобр( Решение) :-
nl, отобр( Решение, 0), !.
% Отступ 0
отобр( Ответ1 и Ответ2, Н) :- !,
% Отступ Н
отобр( Ответ1, Н),
tab( H), write( 'и'), nl,
отобр( Ответ2, Н).
отобр( Ответ был Найден, Н) :-
% Отступ Н
tab( H), печответ( Ответ),
% Показ заключения
nl, tab( H),
write( 'было'),
отобр1( Найден, Н).
% Показ доказательства
отобр1( Выведено из Ответ, Н) :- !,
write( Выведено), write( 'из'), % Показ имени правила
