% Blocks world in FAL instances location any block. location table. fluents loc: block -> location = table. events clear: location -> boolean = true. rules clear(table). not clear(loc(B)) :- loc(B)!=table. vars B: block. L: location. actions destination: block -> location. rules loc'(B)=destination(B). :- destination(B)=L, not clear(B). :- not clear(destination(B)).