- Problem Mapping
- Think about how to express problem as numbers with constraints
- Write code to map into domain and map from domain
- Rely on the constraint solver
- Avoid using
is/2
entirely - Implictly using
=/2
through predicate calls - Use
#=
instead ofis/2
and=/2
- Verify that solver was used by printing variables before calling
label
- if the variables all have concrete values, then you are not relying on the solver