Explore projects

ISO: Permanent of non negative matrix.

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