Skip to content
This repository has been archived by the owner on Jan 28, 2019. It is now read-only.

Define & support a larger subset of datalog #17

Open
arrdem opened this issue Mar 2, 2018 · 0 comments
Open

Define & support a larger subset of datalog #17

arrdem opened this issue Mar 2, 2018 · 0 comments
Assignees
@arrdem

Comments

@arrdem
Copy link
Owner

arrdem commented Mar 2, 2018

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.
@arrdem arrdem self-assigned this Mar 2, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@arrdem arrdem

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@arrdem