Trying Macros for Rules

To keep thing simple and see where it leads us we postulate here that a rule or a rule set is just a function of facts producing new facts. No more, no less.

Links

• Maybe one shlould read PAIP before even attempting ...
• See Datascript dialect of Datalog.
• naga seems to be generating facts from rules.
• Souffle Lang uses plain *.facts for input- and output relations.
• Formulog delivers an executable JAR that transforms program "text" to fact database "text" bei executing Rules
• Crepe DSL in Rust that Acknowledges Souffle & Datalog for inspiration.

License

Copyright © 2020 Alexei Matveev alexei.matveev@gmail.com

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.