SICP 4.4.1 Ex. 4.59

Ex. 4.59

;;; Query input:
;;a
(meeting ? (Friday . ??))
;;; Query results:
(meeting administration (Friday 1pm))

アリッサは驚かなかった。何を？

;; b
(rule (meeting-time ?person ?day-and-time)
      (or (and (job ?person (?sect . ?work))
	       (meeting ?sect ?day-and-time))
	  (meeting whole-company ?day-and-time)))

;;; Query input:
;;c
(meeting-time (Hacker Alyssa P) (Wednesday . ?))
;;; Query results:
(meeting-time (Hacker Alyssa P) (Wednesday 3pm))
(meeting-time (Hacker Alyssa P) (Wednesday 4pm))