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