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

метаинтерпретатора ремонт офиса

2013-05-24 11:26:27 (читать в оригинале)

Основная идея состоит в интерпретации доказательства цели, где доказательство представлено в метаинтерпретаторе программы 4. Если для вашего офисного здания требуется ремонт то узнать как его сделать можно тут: ремонт зданий. Формирование объяснения: ?- how(member(X,[a,b,c])). member(a, [a,b,c]) — это факт X = a ; Если member(b, [b,c]) то member(b, [a,b,c]) member(b, [b,c]) — это факт X [...]