Explore projects

Fork of mgutz's ansi project. https://github.com/mgutz/ansi

Pull arc examples and convert them to first order logic, prolog syntax