GitHub repository: JadenGeller/Axiomatic
Primary language: Swift
Created: 2015-11-27T04:58:51Z
Description: Swift unification framework for logic programming