SABR (Spatial and Action Based Resolver) is a constraint programming language designed with an emphasis on spatial and temporal logic...
Programs compile to CNF (Conjunctive Normal Form), which is then solved by a CNF solver, whose results are processed into human readable form.