Implemented a logic agent for AI, Spring 2014