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

• Инверсия (отрицание). 4 Преобразует значение «истина» в значение «ложь» и наоборот. 4 Обозначается чаще всего символом ¬ или !. 4
• Конъюнкция (логическое «И»). 4 Возвращает значение «истина» только в том случае, если оба её операнда имеют значение «истина». 4 Обозначается символом ∧ или &&. 4
• Дизъюнкция (логическое «ИЛИ»). 4 Возвращает значение «истина», если хотя бы один из её операндов имеет значение «истина». 4 Обозначается символом ∨ или ||. 4
• Оператор исключающее «ИЛИ» (^, xor). 1 Выражение становится «истиной», когда только один из операндов имеет значение «истина». 1
• Операторы сравнения. 1 Позволяют проверять равенство или неравенство между двумя значениями. 1 К ним относятся, например, оператор эквивалентности (==) и оператор неравенства (!=). 1

Логические выражения используются для создания условных конструкций, циклов и других элементов управления потоком выполнения программы. 4