P.bk




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

location(table).

location(B) :- block(B).