Хорновское выражение ( horn clause ) - это дизъюнкция литералов с одним единственным положительным литералом .
Литералом называется атомарная формула ,
Хорновское выражение ( horn clause ) - это дизъюнкция литералов с одним единственным положительным литералом .
Литералом называется атомарная формула , а атомарная формула с отрицанием называется отрицательным литералом .