Навигация
Главная
Поиск
Форум
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
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
ТЕХНОЛОГИИ ДОСТ... 63051
Имитационное мо... 58356
Реклама
Сейчас на сайте
Гостей: 6
На сайте нет зарегистрированных пользователей

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

Расчет размера дохода на одного человека в Turbo Pascal
Меры близости на векторах в Delphi + Блок схемы
База данных междугородних телефонных разговоров на Delphi

Реклама



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

ПОДПИСЫВАЙСЯ на канал о программировании

Warning: preg_replace() [function.preg-replace]: Parameter mismatch, pattern is a string while replacement is an array in /var/www/u6406227/public_html/codingrus.ru/articles.php on line 38
Статьи: Prolog
Введение в Турбо Пролог
Язык Пролог предназначен для использования в разработ- ках по искусственному интеллекту и в современных эксперт- ных системах. Повышение требований к "дружественности" интерфейса и интеллектуальности программных средств обслужи- вает рост популярности этого языка.

Предложения, факты и правила в Турбо Прологе
Турбо Пролог (ТП) накладывает некоторые ограничения на имена объектов и предикатов, используемых в программах. Стандартные имена ТП должны состоять не более, чем из 250 символов, среди которых допускаются буквы латинского алфавита (A,...,Z; a,...,z), цифры (1,...,9,0) и знак подчеркивания. Имена атомов и предикатов в ТП должны начинаться со строчной буквы, а имена объектов_переменных - с прописной.

Структура программы в Турбо Прологе
Программа на языке Турбо Пролог состоит из нескольких разделов, каждый из которых имеет свое назначение. Всего в ТП существует семь разделов, из которых только один (при работе в Турбо-оболочке) или два (при создании автономной программы) является обязательными.

Трансляция списков в Турбо Прологе
Трансляция текстов с одного языка на другой была одной из первых областей практического применения Пролог-систем. Задачи трансляции до сих пор занимают значительное место среди задач искусственного интеллекта. В данном разделе рассматривается простейший вид трансляции, позволяющий получать подстрочные переводы текстов на естественном языке и конверторы с одного языка программирования на другой.

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

Декларативная и процедурная семантика языка Пролог
Язык Пролог, как один из языков логического программиро- вания, базируется на описательной, или декларативной, точке зре- ния на программирование. Поэтому при использовании Пролога в большей мере требуются навыки логического мышления, а не знания о методах кодирования управляющих воздействий на ЭВМ. Декларативный смысл (семантика) Пролог-программ определяет формальную, математическую сторону отношений между объектами, определенными в программе и не касается вопросов процедурной реализации того или иного отношения в различных версиях Пролог- систем и на различных инструментальных ЭВМ. Способность Пролог- систем к "самостоятельному" решению многих процедурных вопросов выделяет этот язык из множества современных языков программиро- вания. Данная особенность языка позволяет разработчику программ максимально сосредоточиться на предметной области.

Влияние порядка предложений и предикатов в них на достижение цели в Турбо Прологе
Чтобы выяснить причину этой зависимости, необходимо более детально рассмотреть работу Пролог-системы на однопроцессорной ЭВМ. Для наглядности представим этот процесс в виде дерева реше- ний. Вершина дерева будет соответствовать исходной цели, постав- ленной в Пролог-программе, листья - множеству возможных вариан- тов решения задачи. Все остальные вершины будут определять про- межуточные состояния Пролог-системы в процессе решения задачи, а дуги будут определять направления переходов от одного состояния системы к другому.

Особенности применения предикатов отсечения и отрицания в Турбо Прологе


Решение логических задач в Турбо Прологе. Задача о волке, козе и капусте
Данная задача встречается в сборниках по занимательной ма- математике, начиная с XVIII века, и звучит следующим образом. Крестьянину надо через речку перевезти волка, козу и капусту. В лодке может поместиться только один человек, а с ним или волк, или коза, или капуста. Если оставить волка с козой без человека, то волк съест козу; если оставить козу с капустой, то коза съест капусту. В присутствии же человека коза не может съесть капусту, волк - козу. Человек все-таки перевез свой груз через речку. Как он это сделал?

Решение логических задач в Турбо Прологе. Задача об обезьяне.
Данная задача также относится к задачам поиска в простран- стве состояний. Она широко известна в литературе по искусствен- ному интеллекту и часто используется для иллюстрации задач моделирования поведения объектов. Впервые задача "об обезьяне и бананах" была предложена Дж.Маккарти в 1963 году и звучит она следующим образом. Обезьяна вместе с ящиком находится в комнате, на потолке которой подвешены бананы. Обезьяна может достать бананы только в том случае, если залезет на ящик. Ящик расположен в углу ко- мнаты, бананы - в центре. Обезьяна может подойти к ящику, пере- двинуть его и залезть на него. Бананы она сможет достать только в том случае, если будут стоять на ящике, а ящик будет находить- ся под бананами. Что должна сделать обезьяна?

Решение логических задач в Турбо Прологе. Задача о ханойсной башне.
Данная задача является одной из самых древних логических задач. В рамках логического программирования она может служить хорошей иллюстрацией применения рекурсии. Задача заключается в перемещении пирамиды из n дисков с одного стержня на другой с использованием вспомогательного стержня. Перемещения ограни- чиваются двумя правилами: - за один раз переносится только один диск; - диски всегда должны располагаться в убывающей последова- тельности (больший диск нельзя класть на меньший).

Решение логических задач в Турбо Прологе. Задача о расследовании преступления.
Приводимая ниже программа LOGTASK4 имитирует действия следо- вателя, раскрывающего по имеющимся фактам преступление - убийство гражданки Романовой. В качестве фактов описаны данные о подозрева- емых лицах (фамилия, возраст, пол, профессия), круг их знакомств, перечислены все возможные мотивы преступления и улики. Правила, приведенные в программе, позволяют на основе имеющихся фактов сделать заключение о вероятном преступнике.

Базы данных и базы знаний в Турбо Прологе
Базы данных и базы знаний широко используются в совремменных программных системах, использующих элементы искусственного интел- лекта, и являются их информационной основой.

Интерфейс на естественном языке в Турбо Прологе
Язык Пролог позволяет легко и естественно выражать формаль- ные грамматики и продукционные правила, используемые при грамма- тическом разборе естественных языков. Задача общения с ЭВМ на естественном языке исторически является одной из первых задач искусственного интеллекта. Само появление языка Пролог во многом обусловлено исследованиями в области естественных языков, языков программирования и машинного перевода. Существует несколько методов разбора предложений, написанных на естественных языках. Наиболее простым является метод анализа ключевых слов. Следующим шагом в реализации поставленной задачи является контекстно-свободный анализ и наиболее полным, но, од- новременно и наиболее сложным, контактно-зависимый анализ.

Взаимодействие Турбо Пролога с файлами DBF-формата
Внешнее БД Турбо Пролога имеют вид текстовых файлов, содер- жащих перечень фактов. Большинство современных БД хранятся в одном из стандартных форматов баз данных. Турбо Пролог обеспе- чивает взаимодействие с любыми файлами MS DOS на нижнем уровне. Рассмотрим механизм взаимодействия ТП с БД, хранящейся в DBF- формате.
Страница 1 из 11 1 2 3 4 > >>
Гость
Имя

Пароль



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

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

Случайные загрузки
MPTools
Обучение Borland ...
JanComp
Шейдеры в Delphi
Abbrevia
INSTANT BOOSTER v...
AboutSystem
Crypt32
Задача о 8ми ладьях
Применение фильтр...
Функции Visual Basic
MP3 Архив v.2.0
Система баннеро...
Cooltray
Prolog Interprete...
Delphi и технолог...
Dreamsoft Progres...
Программирование ...
EditButton
Delphi7 Для профе...

Топ загрузок
Приложение Клие... 100480
Delphi 7 Enterp... 87876
Converter AMR<-... 20082
GPSS World Stud... 13521
Borland C++Buil... 12060
Borland Delphi ... 8671
Turbo Pascal fo... 7048
Visual Studio 2... 5005
Калькулятор [Ис... 4910
FreeSMS v1.3.1 3545
Случайные статьи
0 для совместимост...
Circular unit refe...
Правильное тестиро...
Многопроцессорные ...
Управление идентиф...
Журналы протокола ...
Типы ID и IDREF
ХАЛЯВНЫЙ NET(1)
Определение решения1
БЛОКИ ДЛЯ СБОРА СТ...
Физическая установ...
Инструменты раздел...
Разберем детали. П...
Выделение текста
Внутренний генерат...
Глава 13. Страт...
Функция GetMaxColo...
Фаза исследования
Оказывается, в Инт...
В свою очередь эта...
Датчики давления
Современная реализ...
Размер фотографий ...
Пакет обновления д...
Разработка общего ...
Статистика



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


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