Syntax of BReLS
Sources
source(p): [t] f
- p
- penalty
- t
- time (default=always)
- f
- formula (| is or, & is and, and - is not)
Changes
change(p): [t] l
- p
- penalty
- t
- time (default=always)
- l
- literal (e.g. -2)
Queries
query: [t] f
- t
- time (default=always)
- f
- formula (| is or, & is and, and - is not)
Semantics specification
pointwise (default)
backward
Algorithm
exhaustive (default)
mindp