Sussman incomplete.dl




location(table) :- true. true.

location(B) :- block(B).

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