Datalog

General

• https://datalog.sourceforge.net/datalog.html

In python

• https://github.com/pcarbonn/pyDatalog (“This package is not maintained. Use at your own risk”)
  • Tuto: https://sites.google.com/site/pydatalog/home
• https://www.philipzucker.com/datalite/
• https://github.com/EvgSkv/logica (Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.)
• https://github.com/RAbraham/mercylog
  • https://rabraham.github.io/mercylog/intro.html

In Lua

• https://github.com/ramsdell/datalog

In Java

• https://github.com/HarvardPL/AbcDatalog

In Clojure

• https://tonsky.me/blog/datascript-2/

See also

• https://souffle-lang.github.io/
  • Rapid-prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, security checks.
• https://logica.dev/
• Yedalog

#java

Page last modified: 2024-11-18 15:42:08