This repository contains a toy Datalog implementation.

Very many things are wrong with it:

  • Naïve evaluation.
  • Querying isn't supported; facts are simply generated when the Datalog
    source file is loaded.
  • Arithemetic is unimplemented.

I may come back to and fix some of these things.