nan-do / okami Goto Github PK
View Code? Open in Web Editor NEWOkami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database