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