Навигация
Главная
Поиск
Форум
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
Имитационное мо... 60528
Реклама
Сейчас на сайте
Гостей: 11
На сайте нет зарегистрированных пользователей

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

Моделирование литейного цеха на GPSS + Пояснительная записка
Обучающая и тестирующая программа по здаче экзамена ПДД на Turbo Pascal ...
Расчет размера дохода на одного человека в Turbo Pascal

Реклама



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

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



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















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

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
45 уроков по дельфи
Assistant
PDJXPPack
CABfiles
Delphi 2005. Разр...
PHP5. Профессиона...
Delphi 6. Учебный...
Run
Binary2XMLDemo (Р...
BSButton
IpEditAdress
Averaging [Исходн...
С. Г. Горнаков - ...
Алгоритм DES шифр...
Векторный редакто...
Меню проводника в...
Доступа к БД Fire...
Ведение справочны...
Ics
32 урока по Delphi

Топ загрузок
Приложение Клие... 100530
Delphi 7 Enterp... 91894
Converter AMR<-... 20101
GPSS World Stud... 15392
Borland C++Buil... 13057
Borland Delphi ... 9153
Turbo Pascal fo... 7112
Калькулятор [Ис... 5193
Visual Studio 2... 5034
FreeSMS v1.3.1 3559
Случайные статьи
Мониторинг
Адреса, указатели ...
Разработка сайтов
Создание нового эл...
Массивы
Параметры обновления
Вычисление угла тр...
Управление идентиф...
Лабораторная: защи...
Развлечения в своб...
ДОПУСТИМЫЕ СПОСОБЫ...
Несложное комбинир...
Построение дерева ...
Как слать письма в...
Что такое процессо...
Типы и характерист...
Разновидности Б-де...
Предисловие
Метафора
Часто критически в...
Шаг к реализации с...
С учетными записям...
ГЛАВА 11. ПРОГРАМ...
Структура узла и с...
Почему Казино - лу...
Статистика



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


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