% Trace of PROPS run on kinship rules in revserse.pl. 

> /opt/local/bin/swipl
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 6.4.1)
Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- consult(props).
% props compiled 0.00 sec, 52 clauses
true.

?- consult(reverse).
% reverse compiled 0.00 sec, 5 clauses
true.

?- show_wm.
--------
Working Memory:
* original_list([a,b,c])
* reversed_list([])

true.

?- wm_trace(original_list(_)), wm_trace(reversed_list(_)). 

true.

?- run. 
* original_list([a,b,c])
* reversed_list([])
--------
Cycle 1
Firing:  reverse_list
* reversed_list([a])
* original_list([b,c])
--------
Cycle 2
Firing:  reverse_list
* reversed_list([b,a])
* original_list([c])
--------
Cycle 3
Firing:  reverse_list
* reversed_list([c,b,a])
* original_list([])
--------
Cycle 4
Firing:  print_reversed
The reversed list is: [c,b,a]
* reversed_list([c,b,a])
* original_list([])
--------
true.

?- show_wm.
--------
Working Memory:
* original_list([])
* reversed_list([c,b,a])

true.

?- halt.
>