Home

Contents:

Part I: Foundations

Part II: CGs

Part III: Programming

Part IV: Peirce's rules (Ad)

Part V: Exercises

Part VI: Reference
 26 Glossary
 27 References
 28 Prolog+CG manual

  

Part VI: Reference

Overview

In this part, we include some reference materials:

  1. Glossary
  2. References

PrevLite: 25 Formalisation
NextLite: 26 Glossary
Prev: 25 Formalisation
Up: Table of contents
Next: 26 Glossary