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

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

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

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

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