Tutorial Table of Contents

1. Introduction
• The yield keyword
• Using a simple variable to return values
• Using UnifyingVariable to return values
• How unify works
• Using unify to check values
• generalGetValue and generalUnify
• The meaning of unify
• Finding relations
• Joining functions
2. Variable and "Cut"
• Recap
• Variable chains
• "Cutting" out of a loop
• Using "cut" for negation
3. ListPair
• Making a list with ListPair
• Unifying two lists
  
4. Compiler
• Dynamic Assert and Match
• Dynamic vs. static
• Compiling uncle
• Using import to call a static function
• Calling local functions statically
• Module Atom.a("") for dynamic goals