location(table) :- true. true.
location(B) :- block(B).

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