User Guide¶

End-User Frontend¶

`NeurolangDL`	Deterministic Datalog Frontend for Neurolang.
`NeurolangPDL`	Complements QueryBuilderDatalog class with probabilistic capabilities 1- add extensional probabilistic facts and choices 2- sove probabilistic queries

`expressions`	Expressions for the intermediate representation and auxiliary functions.
`expression_pattern_matching`	Module implementing expression pattern matching.
`expression_walker`
`exceptions`

`logic`
`datalog`
`probabilistic`
`relational_algebra`	Module containing the intermediate representation implementation of relational algebra.
`relational_algebra_provenance`