Логическое программирование


Нет изображения

Братко И. Программирование на языке Пролог для искусственного интеллекта

  • разное
  • chm
  • 658.07 КБ
  • добавлен 25.01.2012
Пер. с англ. -М.: Мир, 1990. - 560 с., ил. Электронную версию книги создал Иванов Виктор Михайлович.
Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в х...
Bratko Ivan. Prolog Programming for Artificial Intelligence

Bratko Ivan. Prolog Programming for Artificial Intelligence

  • разное
  • pdf
  • 29.76 МБ
  • добавлен 05.01.2012
The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial I...
Лекції - програмне забезпечення інтелектуальних систем

Лекції - програмне забезпечення інтелектуальних систем

  • лекции
  • doc
  • 1.19 МБ
  • добавлен 12.11.2011
Для студентів 4 курсу, напрям підготовки 6.050101 Комп’ютерні науки, 7 лекцій, 34 сторінки.
Основні поняття експертних систем, їх призначення і характеристики.
Етапи розробки ЕС.
Склад і організація даних і знань в ЕС.
Моделі представлення знань в ЕС.
Способи реалізації логічного висновку в ЕС з класичними мо...
Нет изображения

Братко Иван. Программирование на языке Пролог для искусственного интелекта

  • разное
  • fb2
  • 3.52 МБ
  • добавлен 11.10.2011
Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог.
Дл...
Нет изображения

Клоксин, Меллиш. Программирование на языке Пролог

  • разное
  • fb2
  • 1.48 МБ
  • добавлен 11.10.2011
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна ...
Ковальски Р. Логика в решении проблем

Ковальски Р. Логика в решении проблем

  • разное
  • djvu
  • 3.98 МБ
  • добавлен 11.08.2011
Москва: "НАУКА", 1990 г.
Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.
Для научных работников и инженеров, занимающихся проблемами искусств...
Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

  • разное
  • pdf
  • 710.74 КБ
  • добавлен 13.07.2011
Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с.
Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2
Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначе...
Нет изображения

Мурашко И.А., Марина И.М. Методическое пособие по курсу Функциональное и логическое программирование Часть 1 Язык программирования Лисп

  • разное
  • doc
  • 305.5 КБ
  • добавлен 12.07.2011
Белорусский государственный университет информатики и радиоэлектроники, 2002, 27с.
Для студентов специальности Т10.02.00 "Программное обеспечение информационных технологий" Часть 1 Язык программирования Лисп
В методическом пособии изложены основы функционального программирование на примере языка Лисп. Приведены сведения ...
Лекции - Основы логического программирования

Лекции - Основы логического программирования

  • лекции
  • doc
  • 106.5 КБ
  • добавлен 01.07.2011
Подготовка к экзамену.
Понятие об искусственном интеллекте и экспертных системах.
Понятие о базах знаний.
Средства описания и представления знаний
Формы представления знаний
Логические модели
Семантические сети. Пример применения семантических сетей для ре-шения логических задач
Фреймы. Пример описан...
Лекции - Основы логического программирования

Лекции - Основы логического программирования

  • лекции
  • doc
  • 471.5 КБ
  • добавлен 01.07.2011
Введение.
Понятие о БЗ.
Средства описания БЗ.
Формы представления знаний.
Исчисление высказываний.
Логика предикатов.
Семантические сети.
Фреймы.
Система продукции.
Понятие вывода. Метод резолюций.
Ввод- вывод в Турбо Прологе.
Технические приложения Пролога. и другие темы.
13 стран...
Lloyd J.W. Foundations of Logic Programming

Lloyd J.W. Foundations of Logic Programming

  • разное
  • pdf
  • 7.86 МБ
  • добавлен 27.06.2011
Springer, 1987. - 212 pages.

This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scat...
Лабораторная работа - Работа с динамическими базами данных в Турбо-Прологе

Лабораторная работа - Работа с динамическими базами данных в Турбо-Прологе

  • лабараторные
  • doc
  • 38.5 КБ
  • добавлен 19.06.2011
Динамическая база содержит информацию о результатах сессии данной группы студентов в виде утверждений следующих видов: математика, физика, химия, информатика (Ф. И. О., оценка). Предполагается, что в группе N студентов, и все они имеют оценки по всем предметам (5,4,3,2). В динамической базе данных (ДБД) для каждого студента може...
Лабораторная работа - Организация многооконных меню и работа с файлами в турбо-прологе

Лабораторная работа - Организация многооконных меню и работа с файлами в турбо-прологе

  • лабараторные
  • doc
  • 1.95 МБ
  • добавлен 19.06.2011
Создать программу работы с файлами целых чисел, реализующую следующие функции обработки файлов: а) создание файла; б) добавление элемента в файл; в) модификацию данных в файле; г) удаление элемента в файл; д) просмотр файла (вывод на экран); ж) найти сумму положительных элементов файла.
Лабораторная работа - Использование структур

Лабораторная работа - Использование структур

  • лабараторные
  • doc
  • 457.5 КБ
  • добавлен 19.06.2011
Требуется сформировать исходный список структур. Сформировать иp исходного списка новый список структур и вывести его на экран. Уточнение задания: определены структуры «дата рождения», «Ф. И. О. »(фамилия, имя, отчество), «персона»(Ф. И. О., дата рождения) и «супруги» (Ф. И. О., Ф. И. О. )
Найти все пары, где оба супруга род...
Нет изображения

Лабораторная работа - Построение информационно-справочных систем

  • лабараторные
  • exe
  • 46.09 КБ
  • добавлен 30.05.2011
Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOGrn
Шпаргалка - Функционально-логическое программирование Prolog, Lisp

Шпаргалка - Функционально-логическое программирование Prolog, Lisp

  • шпаргалки
  • doc
  • 91.3 КБ
  • добавлен 16.03.2011
ШПАРГАЛКА!
Понятия предиката.
Алгоритмы унификации.
Структура пролог-программы.
Организация повторов.
Ветвление-выбор.
Стандартные математические предикаты.
Списки и операции над ними.
Сортировка списков.
Выборка элементов из списков.
Слияние списков.
Множества в Прологе.
Реализаци...
Кичкайло Т.А., Тушев А.Н. Функциональное и Логическое Программирование

Кичкайло Т.А., Тушев А.Н. Функциональное и Логическое Программирование

  • разное
  • pdf
  • 4.46 МБ
  • добавлен 04.03.2011
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного
обучения. Барнаул: 1999. - 148с.
Данное учебное пособие предназначено для дистанционного изучения дисциплины
«Функциональное и логическое программирование». Рассматриваются вопросы
программирования на языке Лисп, применение этого яз...
Лабораторные работы на языке Пролог

Лабораторные работы на языке Пролог

  • лабараторные
  • doc
  • 242.5 КБ
  • добавлен 27.02.2011
6 лабораторныйх работ на языке Пролог с полными исходниками и результатами: Поиск с возвратом; Рекурсии; Обработка списков; Деревья; Базы данных; Строки и файлы.
Романов Д.А. Методические указания по оформлению курсовой работы по дисциплине Функциональное и логическое программирование

Романов Д.А. Методические указания по оформлению курсовой работы по дисциплине Функциональное и логическое программирование

  • разное
  • doc
  • 101.5 КБ
  • добавлен 17.02.2011
Романов Д. А. Методические указания по оформлению курсовой работы по дисциплине "Функциональное и логическое программирование" для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. Краснодар, 2004, 24 с.

Представлены основные требования к выполнению и оформлению...
Курсовая работа - Особенности языка ЛИСП

Курсовая работа - Особенности языка ЛИСП

  • курсовые
  • doc
  • 115.55 КБ
  • добавлен 07.02.2011
Введение.
Язык программирования ЛИСП.
Основные функции языка Лисп.
Арифметические функции.
Логические функции.
Специальные функции.
Особенности диалектов языка ЛИСП.
MacLISP.
MuLISP.
nterLISP.
CommonLISP.
Особенности языка ЛИСП.
Заключение.
Лекции - Основы логического программирования

Лекции - Основы логического программирования

  • лекции
  • doc
  • 471.5 КБ
  • добавлен 01.07.2011
Введение.
Понятие о БЗ.
Средства описания БЗ.
Формы представления знаний.
Исчисление высказываний.
Логика предикатов.
Семантические сети.
Фреймы.
Система продукции.
Понятие вывода. Метод резолюций.
Ввод- вывод в Турбо Прологе.
Технические приложения Пролога. и другие темы.
13 стран...
Лекции - Основы логического программирования

Лекции - Основы логического программирования

  • лекции
  • doc
  • 106.5 КБ
  • добавлен 01.07.2011
Подготовка к экзамену.
Понятие об искусственном интеллекте и экспертных системах.
Понятие о базах знаний.
Средства описания и представления знаний
Формы представления знаний
Логические модели
Семантические сети. Пример применения семантических сетей для ре-шения логических задач
Фреймы. Пример описан...
Лекции основы языка логического программирования Пролог

Лекции основы языка логического программирования Пролог

  • лекции
  • pdf
  • 2.24 МБ
  • добавлен 30.10.2009
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области
использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
Нет изображения

Лекции по логическому программированию

  • лекции
  • jpg
  • 2.75 МБ
  • добавлен 18.03.2004
Знакомство со средой Турбо-Пролог. Трассировка программы. Основы программирования на Турбо-Прологе. Стандартные типы доменов. Структура программ. Арифметические операторы. Описание задач с многовариантными решениями. Представление и обработка списков. Использование структур. Организация многооконных меню и работа с файлами. Рабо...
Лекции. Логическое программирование

Лекции. Логическое программирование

  • лекции
  • doc
  • 97.5 КБ
  • добавлен 01.04.2010
Особенности языка Пролог.
Правила сопоставления термов в системе Пролог.
Общие принципы поиска ответов на вопросы системой Пролог.
Объекты данных.
Структурированные объекты.
Структура программы.
Арифметические выражения.
Сравнение результатов арифметических выражений.
Работа с файлами.
Списки....
Лекция - ЛИСП - язык обработки списков

Лекция - ЛИСП - язык обработки списков

  • лекции
  • doc
  • 101 КБ
  • добавлен 18.01.2011
Введение в дисциплину.
Синтаксис.
Базовые функции.
Базовые предикаты.
Машинное представление и оценивание выражений.
Имя и значение символа.
Определение функций.
Лекції - програмне забезпечення інтелектуальних систем

Лекції - програмне забезпечення інтелектуальних систем

  • лекции
  • doc
  • 1.19 МБ
  • добавлен 12.11.2011
Для студентів 4 курсу, напрям підготовки 6.050101 Комп’ютерні науки, 7 лекцій, 34 сторінки.
Основні поняття експертних систем, їх призначення і характеристики.
Етапи розробки ЕС.
Склад і організація даних і знань в ЕС.
Моделі представлення знань в ЕС.
Способи реалізації логічного висновку в ЕС з класичними мо...
Руководство к пользованию TURBO PROLOG

Руководство к пользованию TURBO PROLOG

  • руководства
  • doc
  • 867.85 КБ
  • добавлен 22.10.2009
Это руководство построено так, чтобы удовлетворить две
разных группы читателей: тех, для кого Пролог - это новый
язык, и тех, кто уже знакомы с языком.
Если вы - новый пользователь Пролога, вам следует про-
честь прежде всего главы 1 и
2. В главе 1 вкратце говорится о
преимуществах Турбо Пролога, а в...
Контрольная работа

Контрольная работа

  • лабараторные
  • doc
  • 7.35 КБ
  • добавлен 19.01.2007
Написать программу Prolog для решения следующей полицейской головоломки.
Jean был убит во вторник. Luc, Paul, Alain, Bernard и Louis находятся под подозрением (с данными условиями).
Листинг программ в 2-вариантах.
Контрольные работы - Пролог

Контрольные работы - Пролог

  • лабараторные
  • doc
  • 20.48 КБ
  • добавлен 08.07.2010
Определить значение истинности логического выражения
Используя двухместные предикаты сестра ( *, * ), мать ( *, * ) или
отец ( *, * ), составить правило, определяющее двухместный предикат
тетя ( *, * ).
Представлена база данных о родственниках, составить запросы, позволяющие определить имена отцов, матерей, баб...
Лабораторная работа - Анализ естественных языков (DCG-грамматики) на Prolog

Лабораторная работа - Анализ естественных языков (DCG-грамматики) на Prolog

  • лабараторные
  • txt,pdf
  • 398.88 КБ
  • добавлен 03.11.2009
Познакомиться на практике с методами анализа естественно-языковых
текстов в системах логического программирования (Пролог, Mecury), реализовать в
соответствии с вариантом задания несложный фрагмент естественного-языкового
интерфейса к модельной задаче и протестировать его на ряде примеров.


Реализовать р...
Лабораторная работа - Бинарные деревья. Графы

Лабораторная работа - Бинарные деревья. Графы

  • лабараторные
  • docx
  • 155 КБ
  • добавлен 14.11.2010
А. Предикаты работы с бинарными деревьями
tree_depth(Т,N): N – глубина дерева;
sub_tree(Т1, Т2): дерево Т1 является непустым поддеревом дерева Т2;
flatten_tree(Т,L): L – список меток всех узлов дерева Т;
nsert(Т1,N, Т2): Т2 – дерево, полученное путем добавления натурального числа N в упоря-доченное дерево Т1 с уч...
Лабораторная работа - Использование структур

Лабораторная работа - Использование структур

  • лабараторные
  • doc
  • 457.5 КБ
  • добавлен 19.06.2011
Требуется сформировать исходный список структур. Сформировать иp исходного списка новый список структур и вывести его на экран. Уточнение задания: определены структуры «дата рождения», «Ф. И. О. »(фамилия, имя, отчество), «персона»(Ф. И. О., дата рождения) и «супруги» (Ф. И. О., Ф. И. О. )
Найти все пары, где оба супруга род...
Лабораторная работа - Ознакомление с языком программирования Prolog

Лабораторная работа - Ознакомление с языком программирования Prolog

  • лабараторные
  • doc,odt,pdf,txt
  • 168.32 КБ
  • добавлен 03.11.2009
Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях.


Задача:
1. Ознакомится с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog, BinProlog, Cprolog, AMZI Prolog, Vi...
Лабораторная работа - Организация многооконных меню и работа с файлами в турбо-прологе

Лабораторная работа - Организация многооконных меню и работа с файлами в турбо-прологе

  • лабараторные
  • doc
  • 1.95 МБ
  • добавлен 19.06.2011
Создать программу работы с файлами целых чисел, реализующую следующие функции обработки файлов: а) создание файла; б) добавление элемента в файл; в) модификацию данных в файле; г) удаление элемента в файл; д) просмотр файла (вывод на экран); ж) найти сумму положительных элементов файла.
Лабораторная работа - Поиск в пространстве состояний на языке Prolog

Лабораторная работа - Поиск в пространстве состояний на языке Prolog

  • лабараторные
  • pdf,txt
  • 540.87 КБ
  • добавлен 03.11.2009
Написать и отладить программу решения задачи искусственного интеллекта,
используя технологию поиска в пространстве состояний.

Крестьянину нужно перевезти через реку
волка
козу
капусту
Но лодка такова, что в ней может поместиться только крестьянин,
а с ним или один волк, или одна коза, и...
Нет изображения

Лабораторная работа - Построение информационно-справочных систем

  • лабараторные
  • exe
  • 46.09 КБ
  • добавлен 30.05.2011
Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOGrn
Лабораторная работа - Работа с динамическими базами данных в Турбо-Прологе

Лабораторная работа - Работа с динамическими базами данных в Турбо-Прологе

  • лабараторные
  • doc
  • 38.5 КБ
  • добавлен 19.06.2011
Динамическая база содержит информацию о результатах сессии данной группы студентов в виде утверждений следующих видов: математика, физика, химия, информатика (Ф. И. О., оценка). Предполагается, что в группе N студентов, и все они имеют оценки по всем предметам (5,4,3,2). В динамической базе данных (ДБД) для каждого студента може...
Нет изображения

Лабораторная работа - Решение простых логических задач на языке Prolog

  • лабараторные
  • zip
  • 694.84 КБ
  • добавлен 25.10.2009
МАИ. →
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.

Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соотвестсвии с вариантом.

Один из пяти братьев разбил окно.
Андрей сказал: Это или Витя, или Коля .
В...
Лабораторная работа - Экспертная система

Лабораторная работа - Экспертная система

  • лабараторные
  • doc
  • 36.5 КБ
  • добавлен 09.07.2010
Приводится текст программы на Турбо-прологе, реализующей учебную экспертную систему, являющуюся продукционной системой, базирующаяся на правилах и служащую для определения страны по описанию флага.
Нет изображения

Программа Borland Turbo-Prolog 2.0

  • программы
  • exe
  • 663.66 КБ
  • добавлен 19.03.2004
Пакет программ для выполнения лабораторных работ по логическому программированию.rn
Лабораторные работы

Лабораторные работы

  • лабараторные
  • doc
  • 140.57 КБ
  • добавлен 12.11.2008
В ее состав входят 7 лабораторных работ по логическому и функциональному программированию с теоретическими сведениями, описанием работы и соответственно выполнением.
Лекции основы языка логического программирования Пролог

Лекции основы языка логического программирования Пролог

  • лекции
  • pdf
  • 2.24 МБ
  • добавлен 30.10.2009
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области
использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
Нет изображения

Лекции по логическому программированию

  • лекции
  • jpg
  • 2.75 МБ
  • добавлен 18.03.2004
Знакомство со средой Турбо-Пролог. Трассировка программы. Основы программирования на Турбо-Прологе. Стандартные типы доменов. Структура программ. Арифметические операторы. Описание задач с многовариантными решениями. Представление и обработка списков. Использование структур. Организация многооконных меню и работа с файлами. Рабо...
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог (djvu)

Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог (djvu)

  • разное
  • djvu
  • 3.97 МБ
  • добавлен 05.06.2008
В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника граматического разбора, программирования метаинтерпр...
Коста Э. Visual Prolog 7.1 для начинающих

Коста Э. Visual Prolog 7.1 для начинающих

  • разное
  • pdf
  • 4.81 МБ
  • добавлен 03.03.2009
Эта книга начиналась как личный проект. Моим намерением было просто написать руководство по логическому программированию для моего сына. Однако успех книги был огромным, и я получил множество предложений по улучшению текста или кода, а также пожеланий продолжать работу.
Руководство по логическому программированию, 210 с. 200...
Zelio LOGIC руководство пользователя

Zelio LOGIC руководство пользователя

  • разное
  • pdf
  • 5.92 МБ
  • добавлен 10.03.2010
Zelio LOGIC руководство пользователя для тех кто решил освоить данное реле. Все понятно изложено. НА РУССКОМ языке.
Содержание:
1 - Изучая Интеллектуальное реле.
2 - Описание Меню.
3 - Меню Конфигурации.
4 - Функции Управления.
5 - Ввод диаграммы Лестничной Логики.
6 - Выполнение простейшего приложени...
Нет изображения

Лабораторная работа - Решение простых логических задач на языке Prolog

  • лабараторные
  • zip
  • 694.84 КБ
  • добавлен 25.10.2009
МАИ. →
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.

Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соотвестсвии с вариантом.

Один из пяти братьев разбил окно.
Андрей сказал: Это или Витя, или Коля .
В...
Лекции. Логическое программирование

Лекции. Логическое программирование

  • лекции
  • doc
  • 97.5 КБ
  • добавлен 01.04.2010
Особенности языка Пролог.
Правила сопоставления термов в системе Пролог.
Общие принципы поиска ответов на вопросы системой Пролог.
Объекты данных.
Структурированные объекты.
Структура программы.
Арифметические выражения.
Сравнение результатов арифметических выражений.
Работа с файлами.
Списки....
Нет изображения

Ин Ц., Соломон Д. Использование Турбо-Пролога

  • разное
  • txt
  • 303.94 КБ
  • добавлен 22.03.2007
Книга посвещена основам логического программирования.
Она представляет собой руководство по применению системы программирования Турбо-Пролог.
В качестве примеров рассматриваются разработка естественно-языковых и экспертных систем, многооконный интерфейс с пользователем, машинная графика.rn
Братко И. Алгоритмы искусственного интеллекта на языке Prolog

Братко И. Алгоритмы искусственного интеллекта на языке Prolog

  • разное
  • pdf
  • 21.05 МБ
  • добавлен 11.02.2010
3-е издание. : Пер. с англ. — М. : Издательский дом "Вильяме", 2001. 640 с. : ил.

В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решени...
Курсовой проект - Написание программ на языке Prolog

Курсовой проект - Написание программ на языке Prolog

  • курсовые
  • doc
  • 77.95 КБ
  • добавлен 02.05.2007
Знакомство с основами логического программирования (Prolog).
Написать программу, реализующую калькулятор на четыре арифметических действия (без скобок).
Для удобства работы реализовать меню с соответствующими пунктами.
Подсчитать, сколько раз встречается некоторая буква в строке.
Строка и буква должны вводитьс...
Нет изображения

Программа - Visual Prolog 7.2

  • программы
  • msi
  • 18.9 МБ
  • добавлен 02.03.2009
Новейшая версия программы из серии Visual Prolog. Дружественный интерфейс и высокая интеллектуальность. Приятной работы!rn
Большакова Е.И. Практикум на языке программирования Пролог

Большакова Е.И. Практикум на языке программирования Пролог

  • разное
  • doc
  • 87.5 КБ
  • добавлен 03.03.2009
Методическое пособие.
В данном методическом пособии дается описание заданий практикума на языке программирования Пролог для студентов 4 курса факультета ВМиК МГУ. Зада-ния разработаны в поддержку основных курсов «Математическая логика» и «Искусственный интеллект». Приводятся подробные методические пояснения и рекомендации. М...
Шпаргалка - Функционально-логическое программирование Prolog, Lisp

Шпаргалка - Функционально-логическое программирование Prolog, Lisp

  • шпаргалки
  • doc
  • 91.3 КБ
  • добавлен 16.03.2011
ШПАРГАЛКА!
Понятия предиката.
Алгоритмы унификации.
Структура пролог-программы.
Организация повторов.
Ветвление-выбор.
Стандартные математические предикаты.
Списки и операции над ними.
Сортировка списков.
Выборка элементов из списков.
Слияние списков.
Множества в Прологе.
Реализаци...
Лабораторные работы по предмету Рекурсивно-логическое программирование

Лабораторные работы по предмету Рекурсивно-логическое программирование

  • лабараторные
  • doc
  • 54.66 КБ
  • добавлен 12.02.2010
Основные понятия Турбо-Пролога.
Структура программы Турбо-Пролога.
Стандартные типы доменов Турбо-Пролога.
Среда Турбо-Пролога.
Простейшие программы на Турбо-Прологе.
Базы данных на Турбо-Прологе.
Базы знаний на Турбо-Прологе.
Решение логических задач.
Рекурсия.
Списки.
Сортировка списков....
Шпоры по Прологу

Шпоры по Прологу

  • шпаргалки
  • doc
  • 83 КБ
  • добавлен 10.01.2010

1. Язык логического программирования Пролог. Концепция логического программирования.
2. Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains.
3. Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели.
4. Основы программиро...
Лабораторные работы на языке Пролог

Лабораторные работы на языке Пролог

  • лабараторные
  • doc
  • 242.5 КБ
  • добавлен 27.02.2011
6 лабораторныйх работ на языке Пролог с полными исходниками и результатами: Поиск с возвратом; Рекурсии; Обработка списков; Деревья; Базы данных; Строки и файлы.
Презентация - Элементы логики

Презентация - Элементы логики

  • рефераты
  • ppt
  • 182 КБ
  • добавлен 20.05.2010
Презентация содержит 58 слайдов:
Определение.
Понятие.
Высказывание.
Умозаключение.
Алгебра высказываний.
Логические операции.
Логическое сложение.
Логическое отрицание.
Логическое следование.
Логическое равенство.
Приоритет действий.
Равносильные логические выражения.
Законы л...
Лабораторная работа - Ознакомление с языком программирования Prolog

Лабораторная работа - Ознакомление с языком программирования Prolog

  • лабараторные
  • doc,odt,pdf,txt
  • 168.32 КБ
  • добавлен 03.11.2009
Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях.


Задача:
1. Ознакомится с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog, BinProlog, Cprolog, AMZI Prolog, Vi...