Некоторые особенности импликации в логическом программировании:

• Двоичная операция. 5 Результатом импликации является ложное значение только в том случае, если левый её операнд имеет истинное значение, а правый — ложное. 5
• Отражает принцип: истина не может подразумевать ложь. 5
• Первый операнд (a) называется посылкой, второй (b) — следствием или заключением. 2
• Связь с выводами. 2 Имя операции «implies» (влечёт) предполагает, что её можно использовать для вывода одних свойств из других. 2
• Возможность неопределённости второго операнда. 2 Случаи, когда посылка ложна или заключение истинно, не определяют импликацию полностью, оставляя возможность неопределённости второго операнда. 2
• Использование, как правило, неявно в языках программирования. 1 В функциональных языках импликация может быть не только правилом вычислений, но и видом отношения между данными, то есть обрабатываться и создаваться по ходу выполнения программы. 1