Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

программа 1

2013-05-27 08:51:27 (читать в оригинале)

Интерпретатору соответствует следующее декларативное толкование. Константа true является истинной. Конъюнкция (A,B) истинна, если истинна цель A и истинна цель B. Цель A истинна, если в интерпретируемой программе существует предложение A :- B , такое, что цель B истинна. Теперь дадим процедурное толкование этим трем предложениям программы 1. Факт solve устанавливает, что пустая цель, представленная в [...]