%
% Silly prolog example.
% Usage for the montreal student example.
% Topics in AI 308-424A McGill University
% G. Dudek, 1998.

consult(mtl).
yes

reader(jane).
no

reader(ted).
yes

reader(X).

X = ted ;

X = mary ;

X = helen ;

no

goodstudent(jane).
yes


trace(goodstudent(jane)).
----
Trace beginsgoodstudent/1.
1 | 1 call goodstudent(jane) t
2 | 2 call awakeinclass(jane)
3 | 3 call drinks(jane,_7395)
3 | 3 exit drinks(jane,coffee)
4 | 3 call hasdrug(coffee,_7394)
4 | 3 exit hasdrug(coffee,caffiene)
5 | 3 call stimulant(caffiene)
5 | 3 exit stimulant(caffiene)
2 | 2 exit awakeinclass(jane)
6 | 2 call csstudent(jane)
7 | 3 call smart(jane)
7 | 3 exit smart(jane)
8 | 3 call adventurous(jane);sensible(jane)
9 | 3 call adventurous(jane)
10 | 4 call montrealer(jane);rockclimber(jane)
11 | 4 call montrealer(jane)
11 | 4 exit montrealer(jane)
10 | 4 exit montrealer(jane);rockclimber(jane)
9 | 3 exit adventurous(jane)
8 | 3 exit adventurous(jane);sensible(jane)
6 | 2 exit csstudent(jane)
1 | 1 exit goodstudent(jane)
----
yes