Explore projects

This is the official repository for Graphics 317. It contains the framework and description. Submission is via CATE.

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