Разница между логическими и высказывательными формами в программировании заключается в следующем:

1. Логическое выражение — это запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). 1 В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0). 1

2. Высказывательная форма — это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями. 13

Таким образом, в логическом программировании конкретные инструкции не задаются, вместо этого используются логические аксиомы и правила вывода, с помощью которых формулируются сведения о задаче и предположения, достаточные для её решения. 5