Chapter 4, Metalinguistic Abstraction

Exercise 4.59


(a)

1
2
3
4
5
;;; Query input:
(meeting ?div (Friday ?time))

;;; Query results:
(meeting administration (friday 1pm))

(b)

1
2
3
4
5
6
7
8
9
;;; Query input:
(assert! (rule (meeting-time ?person ?day-and-time)
			   (or (meeting whole-company ?day-and-time)
				   (and (job ?person (?div . ?sub))
						(meeting ?div ?day-and-time)))))

Assertion added to data base.

;;; Query input:

(c)

1
2
3
4
5
6
7
8
;;; Query input:
(meeting-time (Hacker Alyssa P) (Wednesday ?time))

;;; Query results:
(meeting-time (hacker alyssa p) (wednesday 4pm))
(meeting-time (hacker alyssa p) (wednesday 3pm))

;;; Query input: