ProbLog¶
Welcome to the ProbLog 2.2 documentation.
Contents:
- 1. Installing ProbLog
- 2. ProbLog models
- 3. Using ProbLog as a standalone tool
- 3.1. Default (no keyword)
- 3.2. Sampling (
sample
) - 3.3. Most Probable Explanation (
mpe
) - 3.4. Learning from interpretations (
lfi
) - 3.5. Decision Theoretic ProbLog (
dt
) - 3.6. MAP inference (
map
) - 3.7. Explanation mode (
explain
) - 3.8. Grounding (
ground
) - 3.9. Interactive shell (
shell
) - 3.10. Bayesian network (
bn
) - 3.11. Installation (
install
) - 3.12. Web server (
web
) - 3.13. Testing (
unittest
)
- 4. Builtins and Libraries
- 5. Frequently asked questions
- 6. API Documentation
- 6.1. problog.logic - Basic logic
- 6.2. problog.formula - Ground programs
- 6.3. problog.cycles - Cycle-breaking
- 6.4. problog.constraint - Propositional constraints
- 6.5. problog.evaluator - Commone interface for evaluation
- 6.6. problog.cnf_formula - CNF
- 6.7. problog.nnf_formula - d-DNNF
- 6.8. problog.dd_formula - Decision Diagrams
- 6.9. problog.bdd_formula - Binary Decision Diagrams
- 6.10. problog.sdd_formula - Sentential Decision Diagrams
- 6.11. problog.core - Binary Decision Diagrams
- 6.12. problog.engine - Grounding engine
- 6.13. problog.engine_builtin - Grounding engine builtins
- 6.14. problog.engine_stack - Stack-based implementation of grounding engine
- 6.15. problog.engine_unify - Unification
- 6.16. problog.extern - Calling Python from ProbLog
- 6.17. problog.forward - Forward compilation and evaluation
- 6.18. problog.kbest - K-Best inference using MaxSat
- 6.19. problog.maxsat - Interface to MaxSAT solvers
- 6.20. problog.parser - Parser for Prolog programs
- 6.21. problog.program - Representation of Logic Programs
- 6.22. problog.setup - Installation tools
- 6.23. problog.util - Useful utilities