Built-In Facilities

• System Predicates
  • Rulebase
  • Control
  • Meta Level
  • Input/Output
  • Unix-Related Facilities
  • Miscellaneous Facilities
  • Special Facilities
• Nonlinear and Delayed Constraints
• Pre-Defined Operators