Категория
Информатика
Тип
реферат
Страницы
17 стр.
Дата
18.07.2013
Формат файла
.docx — Microsoft Word
Архив
789733.zip — 21.21 kb
  • osnovy-jazyka-visual-prolog_789733_1.docx — 23.29 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

Основы языка 

Visual Prolog
 

1.1 ПРОграммирование

в ЛОГике
 

В Прологе решение 

задачи получается логическим выводом 

из ранее известных положений. Обычно

программа на Прологе не является

последовательностью действий, - она 

представляет собой набор фактов

с правилами, обеспечивающими получение 

заключений на основе этих фактов. Поэтому 

Пролог известен как декларативный 

язык.
 

Пролог базируется

на предложениях Хорна, являющихся подмножеством 

формальной системы, называемой логикой 

предикатов. Логика предикатов – это 

простейший способ объяснить, как «работает»

мышление, и она проще, чем арифметика,

которой вы давно пользуетесь. Пролог

использует упрощенную версию синтаксиса

логики предикатов.
 

Пролог включает

механизм вывода, который основан 

на сопоставлении образцов. С помощью 

подбора ответов на запросы он

извлекает хранящуюся (известную) информацию.

Пролог пытается проверить истинность

гипотезы (другими словами – ответить

на вопрос), запрашивая для этого 

информацию, о которой уже известно,

что она истинна. Прологовское знание

о мире – это ограниченный набор фактов

(и правил), заданных в программе.
 



Ваше мнение



CAPTCHA