A Datalog interpreter implementing the Well-Founded semantics.

To install the required Python packages, run:

pip install -r requirements.txt

This project also requires you to have antlr4 installed and have the antlr jar path in the classpath.

Once that has been done, you can generate the parser by running:

make

The simplest command for invoking Woof is:

./woof.py WOOF_FILE

This will run the interpreter on the input file, but produce no output. To view the possible flags and output options, run:

./woof.py -h

The syntax of a valid Woof Datalog program is defined here