Cтраница 1
Хорновские дизъюнкты С С C3 и С4 являются фактами. Хор-новские дизъюнкты Съ и ( 76 образуют процедурную часть программы. [1]
Хорновский дизъюнкт содержит по крайней мере один положительный литерал. [2]
Хорновские дизъюнкты впервые были исследованы в чисто логическом контексте. В качестве основных составляющих логических программ они стали использоваться значительно позже. Эта книга дает очень хорошее представление по всем вопросам, связанным с логическим программированием. [3]
Хорновский дизъюнкт называется точным, если он содержит позитивную литеру. [4]
Берем первый хорновский дизъюнкт, содержащий положительный дизъюнкт, унифицирующийся с ведущим ( т.е. первым) отрицательным дизъюнктом цели, и производим полученную подстановку. [5]
Множества хорновских дизъюнктов обладают одной особенностью, которую стоит отметить. Если множество Р высказываний фиксировано, то любая интерпретация / задается подмножеством Р / высказываний, которым она сопоставляет значение И. [6]
Грамматику хорновских дизъюнктов обычно называют грамматикой определенных дизъюнктов ( ГОД), поскольку хорнов-ские дизъюнкты - факты и импликации - известны как определенные дизъюнкты. [7]
А - хорновский дизъюнкт, применяется в реальном ПРОЛОГе для выражения отрицания. [8]
Первые тринадцать хорновских дизъюнктов задают информацию, которую мы предоставляем программе. [9]
Значение метаязыка хорновских дизъюнктов в более широком вычислительном контексте заключается в тех особых возможностях, которыми он обогащает программные средства благодаря амальгамированию. [10]
Отметим, что хорновские дизъюнкты, составлении из многоместных предикатов, интерпретируются ка продукции ОКГ. [11]
Ограничение, налагаемое на хорновские дизъюнкты ( m l), эквивалентно запрету на использование отрицательных вызовов ПА - в третьей из приведенных выше форм. Можно было бы подумать, что поскольку дизъюнкты общего вида по своей выразительной силе эквивалентны стандартной логике предикатов первого порядка, данное ограничение должно было бы повлечь за собой некоторую потерю выразительной силы по сравнению с логикой первого порядка. Тем не менее этого, очевидно, не может случиться, так как мы знаем из разд. Что мы вместо этого теряем, так это некоторую свободу стиля. Отрицание как неудача позволяет частично компенсировать указанную потерю. [12]
Если S - множество хорновских дизъюнктов, то невыполнимость множества S проверяется следующим образом. D, P) и продолжаем процесс до тех пор, пока S не будет содержать О или не найдется дизъюнктов Р и D указанного вида. Если на заключительном шаге множество дизъюнктов будет содержать О, то исходное множество S противоречиво, в противном случае S непротиворечиво. [13]
Является ли данное множество хорновских дизъюнктов выполнимым. [14]
Под процедурой понимают множество хорновских дизъюнктов, заголовки которых содержат одинаковые имена предикатов и одно и то же количество аргументов. [15]