La syntaxe des règles de production de Kheops est très simple. Les deux formes générales sont :
Les relations s'opérant sur les variables permettant de construire les conditions sont :
| Type | Opérateurs utilisables |
| booléen | implicite ! |
| chaine de caractères | == != oneof noneof |
| entier | == != < > <= >= inside outside |
| réel | < >= inside outside |
Les conditions applicables aux règles peuvent être séparées par des ET et des OU
symbolisés respectivement par une virgule (,) et une barre verticale (|). Les
parenthèses sont aussi acceptées. L'affectation de valeurs aux variables se fait
par le mot-clef restrict. Enfin, les ensembles peuvent être représentés
entre crochets les éléments étant séparés par des virgules ([xxx,yyy]), ainsi
les tableaux et les structures.
Il est également possible de spécifier l'exécution des expressions C par la
commande : do { liste d'expressions C }
Plus d'informations sont disponibles dans le manuel d'utilisation de Kheops de Jean-Paul Gouyon.