Úvod    Atributy a výroky    Pravidla    Kontexty    Integritní omezení

Prvky báze znalostí    Základní syntaxe báze    Syntaxe globálních vlastností    Syntaxe atributů    Syntaxe pravidel    Syntaxe kontextů    Syntaxe integritních omezení

Práce s neurčitostí    Funkce NEG    Funkce CONJ    Funkce DISJ    Funkce CTR    Funkce GLOB    Funkce NORM    Funkce IMP

Nastavení systému    Nejjednodušší konzultace    Složitější konzultace

Způsob práce systému    Nastavení systému    Tvorba stránek