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

Определение предиката member

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

Процедурное толкование предложений Пролога необходимо, чтобы показать, что метаинтерпретатор, представленный программой 1, действительно отражает возможности Пролога при реализации абстрактной вычислительной модели логического программирования. Такими возможностями, например являются выбор для редукции крайней левой цели и использование последовательного поиска с возвратом при выборе предложения для редукции цели. Если для вашей фирмы требуется изготовить пластиковые карты то заказать [...]

---

Построение дерева доказательства

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

Простым примером использования метаинтерпретатора является по-строение дерева доказательства в процессе решения определенной цели. Дерево доказательства полезно для средств объяснения в экспертных системах. Основным отношением метаинтерпретатора является отношение solve(Goal,Tree), где Tree — дерево доказательства для решения цели Goal . Если для вашей фирмы требуется качественный сайт то заказать его лучше у профессионалов тут: Создание сайтов Петербург. [...]

---

Повышение рейтинга сайта в поисковых системах и завал конкурентов.

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

Повышение рейтинга сайта в поисковых системах и завал конкурентов. Вы не любите своих конкурентов, и это понятно, поскольку любить их очень трудно. Зачем же мне все конкуренты, в выдаче находящиеся намного выше чем я. Это я должен быть в топе, а для этого можно смело применять абсолютно любые способы. завалить конкурента – это недостойное дело, [...]

---

Абсолютно бесшумный компьютер.

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

Абсолютно бесшумный компьютер. Очень тихий персональный компьютер – это мало шумный компьютер, который производит минимум шума. Такого типа компьютера применяются для видео и аудио редактирования, а также в качестве непосредственных музыкальных центров. Настало время заменить старый персональный компьютер? Тогда замените его на мощный, современный и одновременно абсолютно бесшумный компьютер! Сделайте себе подарок в виде комфорта [...]

---

Метаинтерпретатор для построения дерева

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

Метаинтерпретатор для построения дерева доказательства, представ-ленный в программе 2, также может быть расширен добавлением специаль-ных предложений для системных целей и отрицания. % программа 4 solve(true,true):-!. solve((A,B),(ProofA,ProofB)):-!, solve(A,ProofA), solve(B,ProofB). solve(not(A),’не доказуемо’(A)):-!, not(solve(A,_)). solve(A,(A:-Proof)):- not system(A), clause(A,B), solve(B,Proof). solve(A,(A:-true)):- system(A), A. system(is(_,_)). system(_=_). system(__). system(write(_)). system(nl). Интерпретируем сложную цель: ?- solve((member(X,[a,b,c]),not member(X,[c,d])),Y). X = a Y = [...]