Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
Имитационное мо... 59630
Реклама
Сейчас на сайте
Гостей: 17
На сайте нет зарегистрированных пользователей

Пользователей: 13,110
новичок: kostya001001
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

База данных студентов на Delphi + Microsoft SQL Server
Расчет мер близости на отношениях на Delphi + Пояснительная записка
База данных склада на Delphi + Схема БД

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
ФАКТЫ
Все утверждения программы на Прологе делятся на факты, правила и вопросы. Факты отражают текущее состояние предметной области и содержат конкретную информацию. Факты всегда истинны и соответствуют простым безусловным высказываниям. Они описывают истинные в предметной области отношения (истинные предикаты). Рассмотрим пример описания меню в ресторане. Объекты предметной области - это блюда, которые можно съесть в ресторане, а одним из возможных видов отношений является классификация всех блюд на закуски, вторые мясные или рыбные блюда и десерты. Меню представляет собой небольшую базу знаний, которая записывается в виде последовательности фактов следующим образом:
/* МЕНЮ */
/* Определение отношения закуска */
'закуска'('артишоки_в_белом_соусе').
'закуска'('трюфели_в_шампанском').
'закуска'('салат_с_яйцом').
/* Определение отношения мясо */
'мясо'('говяжье_жаркое').
'мясо'('цыпленок_в_липовом_цвете').
/* Определение отношения рыба */
'рыба'('окунь_во_фритюре').
'рыба'('фаршированный_судак').
/* Определение отношения десерт */
'десерт'('грушевое_мороженое').
'десерт'('земляника_со_взбитыми_сливками').
'десерт'('дыня_сюрприз').



Эти факты вводят одновременно объекты и их классификацию (отношения). Например, факт 'закуска'('салат_с_яйцом') показывает, что салат с яйцом является закуской.
Синтаксически правильно записанный факт имеет следующую структуру предиката:
Факт
где в списке аргументов перечисляются имена объектов (не более 255), связанных данным отношением. Аргументы в списке отделяются друг от друга запятыми, в некоторых случаях могут отсутствовать. Если аргумент представляет собой имя конкретного объекта (свойства) или число, то он является константой Пролога.
Определяя с помощью фактов отношения между объектами, необходимо учитывать порядок, в котором перечисляются их имена внутри круглых скобок. Выбрав один раз какой-либо порядок, вы должны везде следовать ему и далее. Например, факт
'является_отцом'('Петр','Иван') означает, что Петр является отцом Ивану, а факт 'является_отцом'('Иван','Петр') говорит уже совсем о другом, а именно, что Иван является отцом Петра.
Одно и то же утверждение, записанное в виде факта, может по-разному интерпретироваться. Только автор программы определяет истинную интерпретацию имен объектов и порядок следования аргументов, и им он должен следовать в процессе написания всей программы, отражая в комментариях смысл записанных им высказываний. Комментарий - это текст, заключенный между символами /* ... */.
Примеры:
'нравится'('Андрей','Ольга'). /* Андрею нравится Ольга */
'часть_объекта'('спица','колесо'). /* Спица является частью колеса */















Опубликовал Kest November 03 2009 00:14:30 · 0 Комментариев · 6261 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
PHP: Полезные приемы
StartMark
Run
Swing. Эффектные...
Библия для програ...
PrevInst
Книга по Delphi (...
CoolControls v3.0...
Cтатьи Королевств...
Искусство програм...
Современное проек...
Панель статистики...
IpEditAdress
Программирование ...
Delphi 6/7 базы д...
Delphi Быстрый Ст...
Расширенный загру...
VksButton
Сапёр
CoolHints2k v1.03

Топ загрузок
Приложение Клие... 100515
Delphi 7 Enterp... 90501
Converter AMR<-... 20093
GPSS World Stud... 15031
Borland C++Buil... 12762
Borland Delphi ... 8973
Turbo Pascal fo... 7097
Калькулятор [Ис... 5142
Visual Studio 2... 5020
FreeSMS v1.3.1 3555
Случайные статьи
Пространство имен
BUFFER (ВОЗОБНОВИТ...
Зачем нужна MySQL
расположенному в ч...
ActiveSync для сбо...
чтобы определить, ...
О кликабельной инф...
Упражнения для сам...
Урок 1. Урок рисов...
Строки в С++
3.1. Обработка спе...
Синтаксис XPath-вы...
Задачи привратника...
Составной оператор
Телевизионные сист...
Расширенные буферы...
Если столбец sever...
Создание объектов,...
Поиск подстроки в ...
Используя такую те...
Клуб Вулкан доступ...
Видеоприложения со...
Стандартные процед...
Типы данных
13.8. Примеры поиска
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?