You can also check the release roadmap for features that we plan to deliver as part of this project. Features LPwNF (Logic Programming without Negation as Failure)