If such a program P {\displaystyle P} is consistent then P {\displaystyle P} has a unique minimal model, and that model is considered the only stable model of P {\displaystyle P} .
Якщо така програма є узгодженою, то P {\displaystyle P} має унікальну мінімальну модель, і ця модель розглядається як єдина стійка модель P {\displaystyle P} .