• Query directives
• Argument 4 - Number of attempts
• Argument 1 - Bound on forward-chaining steps
• Argument 2 - Expected number of solutions
• Argument 3 - Number of solutions to look for
• Trace and exec directives