Repository Index

Tools for transparent data transformation

• term-rewriting
• logic-programming
• unification
• pattern-matching

The only reasonable scripting engine for Go.

• interpreter
• prolog
• golang
• go

A declarative programming framework

• rules
• clojure
• clojurescript
• functional-relational-programming

Logic programming in Swift

• swift
• kanren
• logic-programming
• solver