A datalog prover and interpreter in Go.