Съществително име - мн. ч.
Думата е производна от предикат
Абдуктивното логическо програмиране е разширение на обикновеното логическо програмиране, което позволява някои предикати, декларирани като абдуктивни, да бъдат „отворени“ или неопределени. Източник: интернет
Някои предикати са вградени в езика и позволяват на програмите на Пролог да изпълняват рутинни действия (като входни/изходни операции, използване на графики и други начини на комуникация с операционната система). Източник: интернет
Правилото е: от отрицанието на израз с крайни предикати не следва утвърдително твърдение с безкрайни (отрицателни) предикати. Източник: интернет
В повечето случаи използването на предикати изисква спазване на дадена конвенция. Източник: интернет
Използват се 2 различни вида свързващ глагол (copula, an chopail) за изразяване на различните видове предикати: качество, състояние, местоположение и др. Източник: интернет
Най-общо математическата логика е теория на логическите константи и предикати от произволна степен и връзките между тях. Източник: интернет