I've sketched at supporting negations, arbitrary predicates and some other features. It'd be great if I could actually define the subset of datalog that I've got right now clearly without just pointing at the parser, and define the subset I'm interested in targeting.
I've sketched at supporting negations, arbitrary predicates and some other features. It'd be great if I could actually define the subset of datalog that I've got right now clearly without just pointing at the parser, and define the subset I'm interested in targeting.