Table of Contents

1     Introduction
2     Language Examples
2.1     Animals Example
2.2     Primes Example
2.3     Money Example
2.4     Rabbits Example
2.5     Parallel Example
2.6     Pound Example
3     Conversations
3.1     Solution REPL
3.2     Error Handling
3.3     Source Consulting
3.4     Interrupt Handling
3.5     Compatibility
4     Prolog Syntax
4.1     Token Syntax
4.2     Term Syntax
4.3     Text Syntax
4.4     Miscellaneous Definitions
5     Prolog Theories
5.1     Kernel Theory
5.2     Runtime Theory
5.3     Arithmetic Theory
5.4     Structure Theory
5.5     Reflect Theory
5.6     Bootload Theory
6     Appendix
Acknowledgements
Indexes
     Core Predicates
     Language Predicates
     Android Predicates
     Swing Predicates
Acronyms
References

Comments