Вывод решения в виде последовательности или дерева - Prolog

Формулировка задачи:

Собственно, задание тривиальное.

                    Листинг программы
                
 
                        
                          
                    
  % Фред, Барни и Ральф состоят в клубе. Члены клуба или лыжники или туристы. 
% Тот кто не любит снег - тот не лыжник. Нет туристов которые любят дождь.
% Ральф не любит всё, что любит Фред и любит всё то что Фред не любит.
% Фред любит дождь и снег.
% Вывести всех туристов
    membership('Fred').
    membership('Ralph').    
    membership('Barney').
 
    loves('Fred', 'rain').
    loves('Fred', 'snow').
    
    loves('Ralph', X):- not(loves('Fred', X)).
    %loves('Fred', X):- not(loves('Ralph', X)).
    
    be(X, 'skier'):- not(membership(X)), not(loves(X, 'snow')).
    be(X, 'hiker'):- membership(X), not(loves(X, 'rain')).
    
    main:- be(Z, 'hiker'),  not(be(Z, 'skier')), writeln(Z).

Загвоздка в том. что требуется ещё вывести полный вывод решения в виде последовательности или дерева. Как это сделать в SWIProlog я не знаю.

Попробую просто использовать trace...

Решение задачи: «Вывод решения в виде последовательности или дерева»

Листинг программы

main :- 
    be(Z, 'hiker'),  
    write('hiker found: '), write(Z), nl,
    write('testing if '), write(Z), write(' is skier'), nl,
    not(be(Z, 'skier')), 
    writeln(Z).

Объяснение кода листинга программы

В данном коде на языке Prolog реализована простая логическая задача. Вот её постановка:

У нас есть два вида людей: «скиер» и «турист».
«Скиер» — это человек, который может заниматься лыжным спортом.
«Турист» — это человек, который может заниматься пеших туризмом.
У нас есть переменная Z, которая может принимать значения «скиер» или «турист».
Требуется вывести значение переменной Z, если известно, что она является «скиером».
Если значение переменной Z является «туристом», то требуется вывести сообщение о том, что «турист» не является «скиером». Теперь посмотрим на код:
У нас есть факт be(Z, 'hiker'), который говорит о том, что переменная Z принимает значение «турист».
Далее следует последовательность действий, которые выполняются только в том случае, если переменная Z является «туристом»: a. Выводим сообщение «турист найден: », а затем значение переменной Z. b. Выводим сообщение «тестирование, является ли », а затем значение переменной Z, « лыжником». c. Отрицаем факт be(Z, 'skier'), то есть говорим, что переменная Z не является «скиером». d. Выводим значение переменной Z. В итоге получается, что данный код выводит значение переменной Z, если она является «туристом», и выводит сообщение об отрицании факта, что «турист» является «скиером», в противном случае.