pylagolog

install

sudo apt install python3-antlr3
git clone https://github.com/hibitomo/pylagolog
cd pylagolog
sudo ./setup.py install

How to use

pylagolog -r rule.datalog -q query.datalog

gRPC server

lagolog-server

gRPC client

$ lagolog-client -a 'p(x) :- q(x)'  # Add rule
$ lagolog-client -a 'q("test")'
$ lagolog-client -q 'p(x)'          # Query
p("test")
$ lagolog-client -d 'q("test")'     # Delete rule
$ lagolog-client -q 'p(x)'