Возможно, имелись в виду различия между частичной и полной (тотальной) правильностью программ в контексте логического программирования. 24

Частичная правильность программы означает, что всякий раз, когда перед выполнением предусловие истинно для входных значений переменных и программа завершает работу, постусловие также будет истинно для выходных значений переменных. 24

Полная (тотальная) правильность программы заключается в том, что она частично правильна и обязательно завершает свою работу для входных значений переменных, удовлетворяющих определённому условию. 24

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