(1) Sebuah elemen dari suatu kondisi pencarian yang menyatakan atau menyiratkan operasi perbandingan.
(2) Suatu istilah logika Boolean yang menunjukkan suatu ekspresi logika yang menentukan keadaan variabel.
(3) Sebuah pernyataan menggunakan aturan sintaks bahasa atau sintaks bahasa Prolog yang melakukan fungsi dalam sebuah tindakan aturan.
(4) Sebuah ekspresi logis, biasanya melibatkan sub-acara, digunakan untuk mendefinisikan acara komposit. Ketika predikat menjadi benar, kebakaran acara komposit.