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