Manual

• Introduction
• Installation
• Syntax
  • Discrete Probability Distributions
    • ProbLog Syntax
    • PRISM Syntax
  • Continuous Probability Densities
    • Distributional Clauses Syntax
• Semantics
• Inference
  • Unconditional Queries
    • Drawing BDDs
  • Conditional Queries on Discrete Variables
  • Conditional Queries on Continuous Variables
  • Causal Inference
  • Graphing the Results
    • Using C3.js
    • Using R
  • Parameters
  • Tabling
• Learning
  • Input
    • Preamble
    • Background and Initial LPAD/CPL-program
    • Language Bias
    • Example Interpretations
  • Commands
    • Parameter Learning
    • Structure Learning
    • Testing
  • Parameters
  • Files
• License