Table of Contents

1     Introduction
2     Minlog Examples
2.1     Bonner's Examples
2.2     Animals Revisited
2.3     Palindrome Revisited
2.4     Money Revisited
2.5     Little Solver
2.6     Subject to Occurs Check
3     Minlog Conversations
3.1     Backward Chaining Debugging
3.2     Forward Chaining Debugging
3.3     Chart Debugging
3.4     Finite Debugging
4     Minlog Syntax
4.1     Miscellaneous Definitions
5     Minlog Theories
5.1     Minimal Logic
5.2     Term Domain
5.3     Finite Domain
5.4     Miscellaneous Extensions
5.5     System Theory
Acknowledgements
Indexes
     Public Predicates
     Package Predicates
     Meta Predicates
     Closure Predicates
     Syntax Operators
References

Comments