/Symbolic-Derivation-Diagrams

Prolog implementation of Ordered Symbolic Derivation Diagrams, a constraint-based probabilistic logical data structure. (TPLP 2018)

Primary LanguageProlog

No issues in this repository yet.