Contents

• Contents
• Introduction
• How to Get KURE
• User's Manual
  • Compiling and Linking
  • Basic Data Structures
  • Initializing and Shutting Down a RelManager
  • Creating Relations
  • Basic Relation Manipulation
  • Evaluating Terms
  • External functions
• Programmer's Manual
• Acknowledgments
• Bibliography