Implementing a Wall-In Building Placement in StarCraft with Declarative Programming
the stable model semantics for logic programming .