Introduction

Every Kheops program is divided into the following sections:

• Set of structures and arrays declarations (optional),
• Initialization statements, with a time-unit definition (optional),
• Declaration of the input and the output spaces,
• A set of production rules.

A Kheops program may be composed of both declarative and procedural knowledge. Declarative knowledge corresponds to Kheops rules in the Kheops knowledge base.