Какие операции выполняются над предикатами в логическом программировании?

В логическом программировании над предикатами выполняются различные операции, среди них:

• Конъюнкция. 25 Создаёт новый предикат, который истинен только при тех значениях, при которых истинны оба исходных предиката. 25 Другое название — логическое умножение. 3
• Дизъюнкция. 25 Создаёт новый предикат, который ложен только при тех значениях, при которых ложны оба исходных предиката. 5 Другое название — логическое сложение. 3
• Отрицание. 25 Создаёт новый предикат, который истинен только при тех значениях, при которых исходный предикат ложен, и наоборот. 2
• Импликация. 25 Создаёт новый предикат, который ложен только при тех значениях, при которых исходный предикат истинен, а другой — ложен, и наоборот. 25 Запись операции обычно имеет вид «Если A(x), то B(x)». 1
• Эквиваленция. 5 Создаёт новый предикат, который истинен только при тех значениях, для которых исходные предикаты имеют одинаковые значения. 5

Кроме логических операций, над предикатами могут выполняться квантовые операции — использование кванторов существования, всеобщности и других. 1