Stan.
(1) Wyrażenie predykatów. Funkcja, której wynikiem jest „Prawda”, „Fałsz” lub „Nieokreślony”.
(2) Jest to wyrażenie typu warunku. Jego wartości są używane do określenia ograniczenia w regule zasad. Dany warunek można zanegować za pomocą operatora NOT.
Skrót: –
