Skip to content

Extension of Datalog with analyze blocks

Alexandru Dura requested to merge al7330du/metadl:master into master

This implements an extension to Datalog that enables:

  • importing the AST of Datalog programs
  • the use patterns to match on the AST of the imported programs

Merge request reports