GitHub repository: mdiep/Logician
Primary language: Swift
Description: Logic programming in Swift