Guided Tour

1. General
• Use of TYPICAL
• TYPICAL libraries
2. Type
• Type definition
• Predicate declaration
• Example append/3
• Simplification of declarations
• Example member/2, '='/2,uniq/3
• Example reverse/2
• Example fibonacci/2
• Examples poset(T)
• Examples overlap/2 and disjoint/2
• DCG grammars (rule)
• Case-study: Complex list structures
3. Meta-Type
• Syntax of meta-type
• Examples fcall/N ...
• Example sort/3
• Examples map/3 and filter/3
• Example foldl/4
• Examples foldr/4 and foldl/4
• Example recursive programming
• Examples assert/1, retract/1 and retractall/1
4. Module System
• Syntax of Module System
• Imports from a file
• Use of a distributed body section
• Case-study: container

NEXT:Use of TYPICAL