Sussman.dl




location(table) :- true. true.

location(B) :- block(B).

block(a). block(b). block(c).