% cd ~ashwin/ml

% cl
Allegro CL 3.1.16 [Sequent Symmetry] (6/6/90)
Copyright (C) 1985-1990, Franz Inc., Berkeley, CA, USA

<cl> (load "aq.lisp")
; Loading /hydra6/ashwin/ml/aq.lisp.
T

<cl> (load "weather-data.lisp")
; Loading /hydra6/ashwin/ml/weather-data.lisp.
T

<cl> (aq weather-examples)

((RAIN ? ? FALSE)
 (? MILD NORMAL ?)
 (OVERCAST ? ? ?)
 (? ? NORMAL FALSE))

<cl> (setf *trace-aq* t)
T

<cl> (aq weather-examples)

Seed: (OVERCAST HOT NORMAL FALSE)
Current star: (((? ? ? ?) -8 0))

Processing neg event (RAIN MILD HIGH TRUE)
Trimming star to best 1
Current star: (((? ? ? FALSE) -5 1))

Processing neg event (SUNNY MILD HIGH FALSE)
Trimming star to best 1
Current star: (((? ? NORMAL FALSE) -3 2))

Processing neg event (RAIN COOL NORMAL TRUE)
Current star: (((? ? NORMAL FALSE) -3 2))

Processing neg event (SUNNY HOT HIGH TRUE)
Current star: (((? ? NORMAL FALSE) -3 2))

Processing neg event (SUNNY HOT HIGH FALSE)
Final star: (((? ? NORMAL FALSE) -3 2))
Best complex: (? ? NORMAL FALSE)

Seed: (OVERCAST MILD HIGH TRUE)
Current star: (((? ? ? ?) -4 0))

Processing neg event (RAIN MILD HIGH TRUE)
Current star: (((OVERCAST ? ? ?) -2 1))

Processing neg event (SUNNY MILD HIGH FALSE)
Current star: (((OVERCAST ? ? ?) -2 1))

Processing neg event (RAIN COOL NORMAL TRUE)
Current star: (((OVERCAST ? ? ?) -2 1))

Processing neg event (SUNNY HOT HIGH TRUE)
Current star: (((OVERCAST ? ? ?) -2 1))

Processing neg event (SUNNY HOT HIGH FALSE)
Final star: (((OVERCAST ? ? ?) -2 1))
Best complex: (OVERCAST ? ? ?)

Seed: (SUNNY MILD NORMAL TRUE)
Current star: (((? ? ? ?) -1 0))

Processing neg event (RAIN MILD HIGH TRUE)
Trimming star to best 1
Current star: (((? ? NORMAL ?) 0 1))

Processing neg event (SUNNY MILD HIGH FALSE)
Current star: (((? ? NORMAL ?) 0 1))

Processing neg event (RAIN COOL NORMAL TRUE)
Trimming star to best 1
Current star: (((? MILD NORMAL ?) 0 2))

Processing neg event (SUNNY HOT HIGH TRUE)
Current star: (((? MILD NORMAL ?) 0 2))

Processing neg event (SUNNY HOT HIGH FALSE)
Final star: (((? MILD NORMAL ?) 0 2))
Best complex: (? MILD NORMAL ?)

Seed: (RAIN MILD HIGH FALSE)
Current star: (((? ? ? ?) 0 0))

Processing neg event (RAIN MILD HIGH TRUE)
Current star: (((? ? ? FALSE) 0 1))

Processing neg event (SUNNY MILD HIGH FALSE)
Current star: (((RAIN ? ? FALSE) 0 2))

Processing neg event (RAIN COOL NORMAL TRUE)
Current star: (((RAIN ? ? FALSE) 0 2))

Processing neg event (SUNNY HOT HIGH TRUE)
Current star: (((RAIN ? ? FALSE) 0 2))

Processing neg event (SUNNY HOT HIGH FALSE)
Final star: (((RAIN ? ? FALSE) 0 2))
Best complex: (RAIN ? ? FALSE)

Cover minimal within 0 complexes
((RAIN ? ? FALSE) (? MILD NORMAL ?) (OVERCAST ? ? ?) (? ? NORMAL FALSE))

<cl> (exit)
; Exiting Lisp
%