In this project we investigated the application of logic and deductive techniques for controlling a team of autonomous agents. The RoboCup Simulation League Soccer Server provides an easy way to test the quality of competitive approaches. RoboLog is also the team name which we used to participate in competitions between 1999 and 2006, in both the 2D and 3D simulation leagues. Over this period, we were funded by the Deutsche Forschungsgemeinschaft (DFG) in two projects, one associated with a priority program on Spatial Cognition; the other one as part of the Special Priority Program RoboCup of the DFG.