[Contents] [Top] [Help] [(c)] [Contact]

 
• Contents
• Constraints
  • Big integers and rational numbers
    • Arithmetic operations
    • Operator for rational division
  • General built-in predicates
    • Test for constraint variable
    • Test numbers
• Coroutines
  • Built-in predicates
• Linear constraints
  • Linear terms
  • Built-in predicates and operators
    • Linear operators
    • Constraints for list elements
    • Delaying proof of a goal
    • Optimization
• Constraints for finite domains
  • Domain variables
  • Arithmetic constraints
  • Built-in operators and predicates
    • Arithmetic Constraints
    • Symbolic constraints
    • Selection predicates
    • Non-logical predicates
    • Delaying proof of a goal
    • Optimization
• Boolean constraints
  • Syntax of Boolean constraints
  • Built-in operators and predicates
• References
• Index