1 665c255d 2023-08-04 jrmu (assert! (job (Bitdiddle Ben) (computer wizard)))
 2 665c255d 2023-08-04 jrmu (assert! (address (Bitdiddle Ben) (Slumerville (Ridge Road) 10)))
 3 665c255d 2023-08-04 jrmu (assert! (salary (Bitdiddle Ben) 60000))
 4 665c255d 2023-08-04 jrmu (supervisor (Bitdiddle Ben) (Warbucks Oliver))
 5 665c255d 2023-08-04 jrmu (job (Reasoner Louis) (computer programmer trainee))
 6 665c255d 2023-08-04 jrmu (job ?x (computer programmer))
 7 665c255d 2023-08-04 jrmu (address ?x ?y)
 8 665c255d 2023-08-04 jrmu (supervisor ?x ?x)
 9 665c255d 2023-08-04 jrmu (job ?x (computer . ?type))
10 665c255d 2023-08-04 jrmu (and (job ?person (computer programmer))
11 665c255d 2023-08-04 jrmu      (address ?person ?where))
12 665c255d 2023-08-04 jrmu (or (supervisor ?x (Bitdiddle Ben))
13 665c255d 2023-08-04 jrmu     (supervisor ?x (Hacker Alyssa P)))
14 665c255d 2023-08-04 jrmu (not <query>)
15 665c255d 2023-08-04 jrmu (lisp-value <pred> <arg> <arg>)
16 665c255d 2023-08-04 jrmu (and (supervisor ?x (Bitdiddle Ben))
17 665c255d 2023-08-04 jrmu      (not (job ?x (computer programmer))))
18 665c255d 2023-08-04 jrmu (and (salary ?person ?amount)
19 665c255d 2023-08-04 jrmu      (lisp-value > ?amount 30000))
20 665c255d 2023-08-04 jrmu 
21 665c255d 2023-08-04 jrmu (rule (same ?x ?x))
22 665c255d 2023-08-04 jrmu (rule (lives-near ?person-1 ?person-2)
23 665c255d 2023-08-04 jrmu       (and (address ?person-1 (?town . ?rest-1))
24 665c255d 2023-08-04 jrmu 	   (address ?person-2 (?town . ?rest-2))
25 665c255d 2023-08-04 jrmu 	   (not (same ?person-1 ?person-2))))
26 665c255d 2023-08-04 jrmu (rule (wheel ?person)
27 665c255d 2023-08-04 jrmu       (and (supervisor ?middle-manager ?person)
28 665c255d 2023-08-04 jrmu 	   (supervisor ?x ?middle-manager)))
29 665c255d 2023-08-04 jrmu (lives-near ?x (Bitdiddle Ben))