Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 451347)
Консорциум Контекстум Информационная технология сбора цифрового контента

Программирование в логике: Учебное пособие.

3   1
Первый авторЧанышев О. Г.
Страниц32
ID358
АннотацияУчебное пособие обобщает опыт автора в части, касающейся программирования на языке PCD Prolog. Представлены история языка, разделы программы, основные структуры данных и методы программирования. Изложение сопровождается большим количеством примеров. Полностью приведены исходный текст, разработанный автором в учебных целях "игрушечной" экспертизы, позволяющей пользователю формулировать вопросы на естественном русском языке. Для студентов, обучающихся по направлению "Математика. Компьютерные науки" и "Прикладная математика и информатика".
ISBN--5-7779-0510-3
УДК519
ББК32.973-018я73
Чанышев, О.Г. Программирование в логике: Учебное пособие. / О.Г. Чанышев .— 2004 .— 32 с. — ISBN --5-7779-0510-3

Предпросмотр (выдержки из произведения)

О.Г. Чанышев Учебное пособие обобщает опыт автора по проведению лекций по теме "Введение в искусственный интеллект" и "Автоматический анализ текста" на математическом факультете Омского государственного университета в 2000–2004 гг. в части, касающейся программирования на языке PDC Prolog. <...> Иван Братко Логическое программирование базируется на убеждении, что не человека надо обучать мышлению в терминах операций компьютера… а компьютер должен выполнять инструкции, свойственные человеку. <...> Отсюда происходит название языка – ПроЛог, к изучению которого мы и приступаем. <...> 2) Просмотр всей программы от начала к концу и поиск предложения, у которого голова сопоставима с первым целевым утверждением: темный(X). <...> Замена первого целевого утверждения конкретизированным телом предложения 7 – порождение нового списка целевых утверждений: черный(X), большой(X). <...> 3) Просмотр программы для нахождения предложения, сопоставимого с черный(X). <...> У этого предложения нет тела, поэтому список целей при соответствующей конкретизации сокращается до большой(кот). <...> 4) Просмотр программы в поисках этой цели завершается неуспехом, и происходит возврат к шагу 3 и отмены конкретизации X=кот. <...> 5) Просмотр программы для обнаружения предложения, сопоставимого с коричневый(X) дает коричневый(медведь). <...> У этого предложения нет тела, поэтому список целей уменьшается до большой(медведь). <...> У него нет тела, поэтому список целей становится пустым. <...> Можно изменить программу: записать факты в специальный файл (с любым именем), а затем загрузить их в раздел фактов: facts – f1 большой(string) маленький(string) коричневый(string) черный(string) темный(string) серый(string) 5 6 goal % Читаем файл bear4.dbs в раздел facts при помощи % встроенного предиката consult consult("bear4.dbs",f1), большой(X), темный(X),!, % Если во внутренней БД существует существует объект X % со свойствами "большой" и "темный", то печатаем % имя этого объекта % знак "!" – откат – есть указание <...>