Cтраница 2
Это свойство тесно связано с использованием логики как языка программирования. Истинность объективных литер не предполагается до тех пор, пока не будут представлены правила, устанавливающие их истинность, другими словами, за исключением высказываний-умолчаний, не предполагается никакой неявной ( скрытой) информации. [16]
Рассмотрим, как обобщить характеризацию для работы с явным отрицанием в WFSX. Обработка расширенных программ во многом похожа на обработку нормальных программ, где вместо атомов используются объективные литеры. Основное отличие обобщения для расширенных программ состоит в обработке отрицания как неудачи. [17]