(1) Un element de o condiţie de căutare care exprimă sau implică o operaţiune de comparaţie.
(2) Un termen logica booleană ce denota o expresie logică ce determină starea unei variabile.
(3) O declaraţie folosind un limbaj sintaxa regulă sau Prolog sintaxă a limbajului, care îndeplineşte o funcţie într-o acţiune regulă.
(4) O expresie logică, care implică de obicei, sub-evenimente, folosite pentru a defini un eveniment compozit. Atunci când predicatul devine adevărată, incendiile compozit eveniment.