Datalog implementation in Mercury using stratified negation and tabling
c4cypher / datalogmn Goto Github PK
View Code? Open in Web Editor NEWDatalog implementation in Mercury using stratified negation and tabling
License: GNU General Public License v3.0