Giters

C4Cypher / datalogmn

Datalog implementation in Mercury using stratified negation and tabling

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

datalogmn

Datalog implementation in Mercury using stratified negation and tabling

About

Datalog implementation in Mercury using stratified negation and tabling

License:GNU General Public License v3.0

Languages

Language:Mercury 100.0%