Table of Contents

1     Introduction
2     Frequent Examples
2.1     Flag Example
2.2     Palindrome Example [ISO]
2.3     Fruits Example
3     Frequent Conversations
3.1     Ensure Loaded
3.2     Make
3.3     Unload File
3.4     Compatibility Matrix
4     Frequent Syntax
4.1     Term Syntax
4.2     Text Syntax
4.3     Miscellaneous Definitions
5     Frequent Theories
5.1     Standard Package [Preloaded]
5.2     Basic Package
5.3     Advanced Package
5.4     Experiment Package
5.5     Stream Package [mostly Preloaded]
5.6     System Package
5.7     Gestalt Package [Preloaded]
6     Appendix Example Listings
6.1     Flag Example
6.2     Palindrome Example [ISO]
6.3     Fruits Example
Acknowledgements
Indexes
     Public Predicates
     Package Predicates
     Meta Predicates
     Closure Predicates
     Syntax Operators
References

Kommentare