Contents

• Introduction
• QuLog Type system
  • Type flexibility and runtime type checking
  • Sub-type relation and modes
  • Ground terms and modes of use
  
  
• Syntax
• Type Declarations
  • Enumerated Types
  • Macro and Union Types
  • Code Types
  • Default Arguments for Code Types
  • Doc Strings
  • Constraints on Type Declarations
  
  
• QuLog Relation Rule Subset
• QuLog Function Rule Subset
• QuLog Action Rule Subset
• General use of the QuLog Interpreter
  • Starting the interpreter
  • Controlling the number of answers given for a relation query
  • Action calls and commands
  • Seeing code type declarations
  • Debugging using watch
  
  
• Advanced Topics
  • Language Extensions
  • Building a Runtime Application