johnlunney / datalog

A datalog prover and interpreter in Go.

Datalog

This library implements a datalog system in Go. The library is split into three packages:

• datalog -- The core datalog types and prover.
• datalog/dlengine -- A text-based intepreter that serves as a front-end to the datalog prover.
• datalog/dlprim -- Custom datalog primitives, like the Equals predicate.

Setup

After installing a suitable version of Go, run:

go get github.com/kevinawalsh/datalog

Documentation

See the sources, or view the documentation here:

• datalog
• datalog/dlengine
• datalog/dlprim