Geoffrey: An Automated Schedule System on a Social Robot for the Intellectually Challenged

Sourcecode 3

Definition of node types facts.

(1)	%Type definitions
(2)	room (kitchen).
(3)	room (corridor).
(4)	room (bathroom).
(5)	room (living_room).
(6)	room (bedroom).
(7)	door (door_one).
(8)	door (door_two).
(9)	door (door_three).
(10)	door (door_four).
(11)	interior (interior_corridor_one).
(12)	interior (interior_corridor_two).
(13)	interior (interior_corridor_three).
(14)	%Types without examples
(15)	:-dynamic
(16)	cross/1.
(17)	%Dynamic predicate to indicate closed doors
(18)	:-dynamic
(19)	closed/1.