;;;-*- Mode: Lisp; Package: YAPS; Base: 10 -*-
#+Lambda(special data)
(setq data '(
        (goal (has monkey bananas))
        (size monkey 2)
        (location monkey a)
        (location bananas b)
        (reach monkey 2)
        (height bananas 7)
        (box b1 2)
        (location b1 c)
        (box b2 4)
        (location b2 d)
        (box b3 5)
        (location b3 b)
        ))

(loadfacts data)
;--------------------------------------------------------------------------