1. Introduction
  3. Getting Started
  4. 1. Installation
  5. 2. Crash Course
  7. Language Reference Guide
  8. 3. Scallop and Logic Programming
    1. 3.1. Relations and Facts
    2. 3.2. Writing Rules
    3. 3.3. Values and Types
    4. 3.4. Writing a Query
    5. 3.5. Recursive Rules
    6. 3.6. Negations
    7. 3.7. Aggregations
    8. 3.8. Declaring Constants
    9. 3.9. Algebraic Data Type and Entities
    10. 3.10. On-Demand Predicates
    11. 3.11. Loading from CSV
    12. 3.12. Foreign Functions
    13. 3.13. Foreign Predicates
    14. 3.14. Reference Guide
  10. 4. Provenance and Probabilistic Programming
    1. 4.1. Provenance
    2. 4.2. Proofs Provenance
    3. 4.3. Fact with Probability
    4. 4.4. Logic and Probability
    5. 4.5. Provenance Library
    6. 4.6. Aggregation and Probability
    7. 4.7. Sampling with Probability
  12. 5. scallopy
    1. 5.1. Getting Started
    2. 5.2. Scallop Context
    3. 5.3. Branching Executions
    4. 5.4. Configuring Provenance
    5. 5.5. Creating Module
    6. 5.6. Configuring Input Relations
    7. 5.7. Configuring Output Relations
    8. 5.8. Foreign Functions
    9. 5.9. Foreign Predicate
    10. 5.10. Saving and Loading
    11. 5.11. Debugging Proofs
  15. Toolchain
  16. 6. Scallop CLI
  17. 7. Scallop Interpreter
  18. 8. Scallop REPL
  19. 9. Scallop Compiler
  21. For Developers
  22. 10. For Developers
  23. 11. New Language Construct
  24. 12. New Binding
  26. Resources
  27. 13. Full Scallop Grammar
  29. Contributors

Scallop Book