/Symbolic-Derivation-Diagrams

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

Primary LanguageProlog

Stargazers