Implementing a Wall-In Building Placement in StarCraft with Declarative Programming
Classical negation in logic programs and disjunctive databases