block(B) :- #int(B).
location(table).
location(B) :- block(B).