предикатите
Съществително име - мн. ч. членувано
Думата е производна от предикат
Примери
Рог клаузните програми могат само да изобразят промяна в състоянието, чрез промяна в аргументите на предикатите.
Въпреки това, като се има предвид, предикатите в главите на клаузи са определени от програмата с ограничителна логика, предикатите в ограниченията са предварително определени от някои домейн-специфицирана моделно-теоретична структура или теория.