1.ichiban / prologThe only reasonable scripting engine for Go.interpreterprologgolanggologic-programmingGoMIT738 total38 forks+12 starsfrom 726 · score 2.56
2.noprompt / meanderTools for transparent data transformationterm-rewritinglogic-programmingunificationpattern-matchingsubstitutionprogram-transformationClojureMIT986 total57 forks+6 starsfrom 980 · score 1.95
3.mdiep / LogicianLogic programming in Swiftswiftkanrenlogic-programmingsolverconstraintsSwiftMIT200 total9 forks+1 starsfrom 199 · score 0.69