APPENDIX F

ADATPL Program for the Server Anomaly

(deffacts static

(E TEACHER CHECK_GRAD 11 )

(T STD_1 15 )

(E-C TEACHER CHECK_GRAD 18 )

(T STD_2 21 )

(E-C TEACHER CHECK_GRAD 24 )

(T STD_3 27 )

(E-C TEACHER CHECK_GRAD 30 )

(T TEACHER 33 )

(ACC TEACHER CHECK_GRAD 41 )

)