Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Full Datalog Support and Existential Rules #50

Closed
4 of 9 tasks
aannleax opened this issue Sep 20, 2022 · 2 comments
Closed
4 of 9 tasks

Full Datalog Support and Existential Rules #50

aannleax opened this issue Sep 20, 2022 · 2 comments
Assignees
@aannleax
Labels
enhancement New feature or request

Comments

@aannleax
Copy link
Collaborator

aannleax commented Sep 20, 2022 •
edited
Loading

The following features are still missing:

  • Constants
    • Body
    • Head
  • Reusing variable in one atom (body and head)
    • Body
    • Head
  • Evaluating multiple heads at once
  • Restricted Chase
  • Skolem Chase
@aannleax aannleax added the enhancement New feature or request label Sep 20, 2022
@aannleax aannleax self-assigned this Sep 20, 2022
@aannleax
Copy link
Collaborator Author

aannleax commented Jan 5, 2023

Missing features will be implemented by #87

@aannleax aannleax closed this as completed Jan 5, 2023
This was referenced Jan 11, 2023
Closed
Closed
@monsterkrampe
Copy link
Member

monsterkrampe commented Jan 11, 2023 •
edited
Loading

Only existential rule support is handled in #87.
Support for constants and multiple occurrences of the same variable in rule heads is handled in #92 and #93, respectively.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aannleax aannleax

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@monsterkrampe @aannleax