tiny_datalog
