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

  • формат chm
  • размер 658.07 КБ
  • добавлен 25 января 2012 г.
Пер. с англ. -М.: Мир, 1990. - 560 с., ил. Электронную версию книги создал Иванов Виктор Михайлович. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной...

Bratko Ivan. Prolog Programming for Artificial Intelligence

  • формат pdf
  • размер 29.76 МБ
  • добавлен 05 января 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 Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the m...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lloyd J.W. Foundations of Logic Programming

  • формат pdf
  • размер 7.86 МБ
  • добавлен 27 июня 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 scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples. Many...

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

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

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

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

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

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

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

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

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

pottee
  • формат doc
  • размер 91.3 КБ
  • добавлен 16 марта 2011 г.
ШПАРГАЛКА! Понятия предиката. Алгоритмы унификации. Структура пролог-программы. Организация повторов. Ветвление-выбор. Стандартные математические предикаты. Списки и операции над ними. Сортировка списков. Выборка элементов из списков. Слияние списков. Множества в Прологе. Реализация деревьев в Прологе. Функциональный подход программирования. Методы обработки списков (ЛИСП). Определение универсальной функции. Предикаты и истинность в ЛИСПе. Отобра...

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

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

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

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

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

  • формат doc
  • размер 101.5 КБ
  • добавлен 17 февраля 2011 г.
Романов Д. А. Методические указания по оформлению курсовой работы по дисциплине "Функциональное и логическое программирование" для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. Краснодар, 2004, 24 с. Представлены основные требования к выполнению и оформлению курсовой работы. Печатается по решению Редакционно-издательского совета ИМСИТ. Содержание: Введение. Содержание и объём курсо...

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

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

Новицкая Ю.В. Основы логического и функционального программирования

  • формат pdf
  • размер 478.87 КБ
  • добавлен 31 января 2011 г.
Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета. Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом Управление поиском с возвратом: предикаты! и fai...

Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей

  • формат pdf
  • размер 692.73 КБ
  • добавлен 24 января 2011 г.
Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Предста...

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

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

Bramer M. Logic Programming with Prolog

  • формат pdf
  • размер 828.06 КБ
  • добавлен 03 января 2011 г.
Springer, 2005. - 223 pages. This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard ‘knowledge representation language’ for the Semantic Web – the next generation of internet technology; it is one of the principal languages used by researchers in Artificial Intelligence. Logic Progra...

Курсовой проект - Экспертная система

Курсовая работа
  • формат doc
  • размер 115.5 КБ
  • добавлен 22 декабря 2010 г.
НГТУ Курсовой проект на языке пролог (Prolog). Экспертная система по определнию химического элемента по химическим и физическим свойствам Работа имеет необходимый интерфейс, базу знаний элементов. Выводимый текст: транслит

Тарков М.С. Программирование на Турбо-Прологе

Практикум
  • формат pdf
  • размер 258.2 КБ
  • добавлен 04 декабря 2010 г.
Методические указания. - Новосибирск: СибГУТИ, 1999. - 37 с. Методические указания предназначены для студентов инженерно-технических факультетов, изучающих логическое программирование в 4-м семестре. Они содержат необходимые сведения по программированию на языке Турбо-Пролог, задачи для контрольных работ и рекомендуемую литературу.

Лабораторная работа №6

Лабораторная
  • формат docx
  • размер 18.95 КБ
  • добавлен 19 ноября 2010 г.
Описаны предикаты: 1. Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т. е. имеет ли она вид А + В, где А - константа, а В-сумма в нормальной форме. 2. Напишите определение типа «булева формула». 3. Напишите программу, распознающую логические формулы в конъюнктивной нормаль-ной форме, т. е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал-атомарная формула или ее отрицание. 4. Напишите програм...

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

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

Реферат - История создания и развития языка Prolog

Реферат
  • формат docx
  • размер 679.52 КБ
  • добавлен 08 ноября 2010 г.
История создания и развития языка Prolog. Сферы использования. Среда разработки "SWI-Prolog". Среда разработки "Тurbo Prolog". Среда разработки " Visual Prolog ". Количество страниц 35.rn

Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ

  • формат djvu
  • размер 4.99 МБ
  • добавлен 28 октября 2010 г.
Пер с англ. А. В. Чукашова, М. В. Сергиевского; Под ред. М. В. Сергиевского, —М.: Машиностроение, 1990. —240 с.: ил. В книге английского автора рассматривается использование наиболее популярного языка логического программирования для построения баз данных, баз знаний и экспертных систем. Книга содержит сравнительно мало теоретического материала и ориентирована в основном на практическое использование Пролога. Достаточно подробно описаны возможнос...

Лабораторная работа №4 - Предикаты для работы со списками

Лабораторная
  • формат docx
  • размер 27.31 КБ
  • добавлен 26 октября 2010 г.
1.div(X,Y,Z): Z – результат целочисленного деления X на Y, где X и Y – натуральные числа, представленные в структурированной форме; 2.gcd(X,Y,Gcd): Gcd – наибольший общий делитель натуральных чисел X и Y; процедура должна быть реализована без использования операции деления по модулю; при реализации можно использовать по желанию либо структурированное представление, либо обычное представление натуральных чисел. 3.adjacent(X,Y,Zs): X и Y являются...

Лабораторная работа №2 - Структурирование на примере военных

Лабораторная
  • формат docx
  • размер 22.77 КБ
  • добавлен 26 октября 2010 г.
Описанны на языке Пролог: Факты: военный(фамилия("…"), звание("…")). следующее_звание(A,B): - В является следующим званием по отношению к А Правила: одинаковое_звание(A,B): - военные А и В имеют одинаковое звание разные(фамилия(Х), фамилия(Y)) субординация(младший(Мл), старший(Ст)): - военный с фамилией Мл младше по званию, чем военный с фамилией Ст младшее_звание(R1,R2): - звание R1 младше, чем звание R2 цепочка_званий(Военный, Маршрут): - Маршр...

Лабораторная работа №3 - Списки, множества

Лабораторная
  • формат docx
  • размер 24.01 КБ
  • добавлен 26 октября 2010 г.
Описанны на языке Пролог: I. Предикаты работы со списками Аргументы L1,L2,L3 обозначают списки, Е - некоторый элемент списка (тип элементов спи-ска произволен), N - порядковый номер элемента в списке. 1.append (L1, L2, L3) ? список L3 является слиянием (конкатенацией) списков L1 и L2; 2.reverse (L1, L2) ? L2 – перевернутый список L1; 3.delete_first (E, L1, L2) ? список L2 получен из L1 исключением первого вхождения объ-екта Е; 4.delete_all (E, L1...

Лабораторная работа №1 - Предикаты, правила, запросы

Лабораторная
  • формат docx
  • размер 25.72 КБ
  • добавлен 26 октября 2010 г.
Описанны на языке Пролог: Факты: 1. человек(Х, Y) – Х пола Y 2. родитель(Х, Y) – Х родитель Y Правила: 1. сын(Х, Y) – Х сын Y 2. дочь(Х, Y) – Х дочь Y 3. мама(Х, Y) – Х мама Y 4. папа(Х, Y) – Х папа Y 5. брат(Х, Y) – Х брат Y 6. сестра(Х, Y) – Х сестра Y 7. тетя(Х, Y) – Х тетя Y 8. дядя(Х, Y) – Х дядя Y 9. дедушка(Х, Y) – Х дедушка Y 10. бабушка(Х, Y) – Х бабушка Y 11. внучка(Х, Y) – Х внучка Y 12. внук(Х, Y) – Х внук Y

Солдатова О.П., Лёзина И.В. Логическое программирование на языке Visual Prolog

  • формат pdf
  • размер 1.04 МБ
  • добавлен 24 октября 2010 г.
Учебное пособие: Самара, 2010. - 81 с. Предназначено для студентов направления «Информационные технологии» и специальности «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем». Содержание Предисловие 1 Логическое программирование и аксиоматические системы 1....

Николаев В.Г., Евсеева О.Н., Ярушкина Н.Г. Программирование на языке Турбо-Пролог 2.0

  • формат pdf
  • размер 320.59 КБ
  • добавлен 21 октября 2010 г.
Учебное пособие /В. Г. Николаев, О. Н. Евсеева, Н. Г. Ярушкина; Под ред. О. Н. Евсеевой. - Ульяновск: УлГТУ, 1995. - 64 с. В пособии приводятся основные приемы программирования на языке инструментальной системы Турбо-Пролог (версии 2. 0) для персональных ЭВМ, программно-совместимых с компьютерами IВМ РС/ХТ (АT) фирмы IВМ; стандартные библиотечные предикаты этой системы; описание интерфейса языков Турбо-Пролог и Турбо-Си при создании прикладных си...

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

  • формат djvu
  • размер 6.84 МБ
  • добавлен 21 октября 2010 г.
Пер. с англ. -М.: Мир, 1990. - 560 с., ил. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной квалификации, специалистов по искусственному интеллекту, дл...

Хачатрян В.Е., Лыхин Е.В., Шатров Д.В. Логическое программирование

Практикум
  • формат doc
  • размер 160.5 КБ
  • добавлен 17 октября 2010 г.
Методические указание к выполнению лабораторных работ для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Оглавление Введение Лабораторная работа № 1. Ознакомление с оболочкой AMZI! Prolog. Изучение основ программирования на языке Пролог. Отношения между данными Лабораторная работа № 2. Использование рекурсивных правил и структурированных данных Лабораторная работа № 3. Работа со спи...

Стобо Дж. Язык программирования ПРОЛОГ

  • формат djvu
  • размер 2.93 МБ
  • добавлен 20 сентября 2010 г.
М.: Радио и Связь, 1993, 368с. Программирование с помощью фактов. Программирование с помощью правил. Рекурсия в правилах. Операция над термами. Ввод и вывод. Управление выполнением программ. Программы как данные. Грамматические правила. Тестирование, отладка, документирование. Написание процедуры и программ. Система решения задач.

Метакидес Г., Нероуд А. Принципы логики и логическое программирование

  • формат djvu
  • размер 533.83 КБ
  • добавлен 12 сентября 2010 г.
Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирова...

Хоггер К. Введение в логическое программирование

  • формат djvu
  • размер 3.41 МБ
  • добавлен 12 сентября 2010 г.
Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала. Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студ...

Лабораторная работа №1 - Освоение инструментальных средств. Создание программ в интегрированной среде TURBO PASCAL. Разработка линейных программ

Лабораторная
  • формат doc
  • размер 95 КБ
  • добавлен 31 августа 2010 г.
Технология создания программы в интегрированной среде. Справки по структуре и операторам Pascal-программы. Пример подготовки и выполнения программы. Ошибка компиляции

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

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

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

Контрольная работа
  • формат doc
  • размер 20.48 КБ
  • добавлен 08 июля 2010 г.
Определить значение истинности логического выражения Используя двухместные предикаты сестра ( *, * ), мать ( *, * ) или отец ( *, * ), составить правило, определяющее двухместный предикат тетя ( *, * ). Представлена база данных о родственниках, составить запросы, позволяющие определить имена отцов, матерей, бабушек и дедушек. Составить программу на Турбо Прологе для определения истинности логической формулы. Остальные два варианта - аналогичные...

Янсон А. Турбо-Пролог в сжатом изложении

  • формат djvu
  • размер 569.67 КБ
  • добавлен 03 июня 2010 г.
1991 г. В книге специалиста из ФРГ методически удачно в компактной форме дается информация, необходимая для практической работы в системе Турбо-Пролог на персональных ЭВМ типа IBM PC. В книге содержатся описания команд основного меню, команд компилятора и редактора. Кроме того, рассмотрены стандартные предикаты и приведены примеры их использования.

Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего

  • формат djvu
  • размер 1.02 МБ
  • добавлен 03 июня 2010 г.
1990 г. Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное издание.

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

Реферат
  • формат ppt
  • размер 182 КБ
  • добавлен 20 мая 2010 г.
Презентация содержит 58 слайдов: Определение. Понятие. Высказывание. Умозаключение. Алгебра высказываний. Логические операции. Логическое сложение. Логическое отрицание. Логическое следование. Логическое равенство. Приоритет действий. Равносильные логические выражения. Законы логики. Логические основы компьютера. Логический элемент НЕ. Логический элемент ИЛИ. Логический элемент И. Полусумматор двоичных чисел. Сумматор двоичных чисел. Триггер.

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

Реферат
  • формат ppt
  • размер 20.34 КБ
  • добавлен 20 мая 2010 г.
Презентация содержит 28 слайдов: Элементарные логические операции. Свойства логических операций. Схемная реализация базовых логических элементов. Обозначения базовых логических элементов. Полусумматор. Логические основы построения цифровых автоматов. Функции проводимости F некоторых переключательных схем. Этапы синтеза переключательной схемы. Этапы анализа схемы. Этапы синтеза переключательных схем. Образование СДНФ функции по заданной таблице ис...

Презентация - Логические основы компьютеров

Реферат
  • формат ppt
  • размер 263.88 КБ
  • добавлен 20 мая 2010 г.
Презентация содержит 42 слайда. Основные разделы: Логические выражения и операции. Диаграммы. Преобразование логических выражений. Синтез логических выражений. Логические элементы компьютера. Логические задачи.

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

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

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

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

Лабораторные работы ЛИСП

Лабораторная
  • формат doc
  • размер 37.4 КБ
  • добавлен 12 февраля 2010 г.
Функции в ЛИСП. Базовые функции. Определение функций. Функции обработки списков. Вложенная рекурсия. Функционалы. Свойства символов. Перебор. Внутреннее представление списков.

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

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

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

  • формат pdf
  • размер 21.05 МБ
  • добавлен 11 февраля 2010 г.
3-е издание. : Пер. с англ. — М. : Издательский дом "Вильяме", 2001. 640 с. : ил. В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление знаний и экспертные системы, планирование, машинно...

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

pottee
  • формат doc
  • размер 83 КБ
  • добавлен 10 января 2010 г.
1. Язык логического программирования Пролог. Концепция логического программирования. 2. Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains. 3. Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели. 4. Основы программирования на Турбо-Прологе: структура программы, предикаты, факты, правила. 5. Основы программирования на Турбо-Прологе: методы и средства у...

Акилова И.М. Программирование на Турбо-Прологе

  • формат doc
  • размер 66.31 КБ
  • добавлен 08 декабря 2009 г.
Учебное пособие по дисциплине Методы искусственного интеллекта для студентов специальностей 2202 и 0719 очной формы обучения. / Благовещенск, Амурский гос. ун – т. – 2001. – с.

Агафонов В.Н. Логическое программирование

  • формат djvu
  • размер 2.51 МБ
  • добавлен 29 ноября 2009 г.
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др. ), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известн...

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

Лабораторная
  • формат txt, pdf
  • размер 398.88 КБ
  • добавлен 03 ноября 2009 г.
Познакомиться на практике с методами анализа естественно-языковых текстов в системах логического программирования (Пролог, Mecury), реализовать в соответствии с вариантом задания несложный фрагмент естественного-языкового интерфейса к модельной задаче и протестировать его на ряде примеров. Реализовать разбор фраз языка (вопросов), выделяя в них неизвестный объекты Запос:? - an_q([Кто, любит, шоколад, ?],X);? - an_q([Где, лежат, деньги, ?],X);?...

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

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

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

Лабораторная
  • формат doc, odt, pdf, txt
  • размер 168.32 КБ
  • добавлен 03 ноября 2009 г.
Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях. Задача: 1. Ознакомится с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog, BinProlog, Cprolog, AMZI Prolog, Visual Prolog, TurboProlog, JLog или др. ), освоить операции загрузки простейших пролог-программ и формулирования запросов. 2. Проверить н...

Сошников Д.В. Парадигма логического программирования

  • формат djvu
  • размер 12.5 МБ
  • добавлен 01 ноября 2009 г.
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Объем: 111стр. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование как алгоритмическая модель. Типизированное логическое программирование. Языки программирование Prolog и Mercury. Рекурсивные структуры данных. Отрицание по неуспеху. Методы решения логических задач. Поиск в пространстве с...

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

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

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

Лабораторная
  • формат zip
  • размер 694.84 КБ
  • добавлен 25 октября 2009 г.
МАИ. → Факультет прикладной математики. Кафедра вычислительной математики и программирования. Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соотвестсвии с вариантом. Один из пяти братьев разбил окно. Андрей сказал: Это или Витя, или Коля . Витя сказал: Это сделал не я и не Юра . Дима сказал: Нет, один из них сказал правду, а другой неправду . Юра сказал: Нет, Дима ты не прав . Их отец, кото...

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

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

Сошников Д.В. Лекции по ЛП

  • формат pdf
  • размер 650.55 КБ
  • добавлен 09 октября 2009 г.
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. I Основы 1 Парадигмы 2 Логика предикатов 1-го порядка 21 Семантика логики предикатов 3 Исчисление предикатов 1-го порядка 4 Понятие о полноте 5 неразрешимость исчисления 6 Нормальные формы 7 Унификация 71 Правила 8 Правило вывода modus tollens 81...

Сошников Д.В. Лекции по ЛП. Слайды

  • формат pdf
  • размер 21.9 МБ
  • добавлен 08 октября 2009 г.
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач Типизированное программирование Простой поиск Эвристический поиск Си...

Thomas W. de Boer. A Beginners Guide to Visual Prolog 7.1

  • формат pdf
  • размер 2.99 МБ
  • добавлен 09 сентября 2009 г.
Groningen. 2008 This is a book on how to write computer programs in Visual Prolog. Visual Prolog, or VIP for short, is an Object-Oriented Programming Language (OOPL for short) that can be used to create programs that run under Microsoft Windows. This means that the programs that you write should support a GUI, a Graphical User Interface.

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

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

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

  • формат doc, txt
  • размер 490.45 КБ
  • добавлен 03 марта 2009 г.
Приводится описание основных конструкций языка логического программирования ПРОЛОГ, используемого при разработке экспертных систем и баз знаний. Иллюстративные примеры позволяют получить представление о приемах построения логических программ. Предлагаемые для самостоятельного решения задачи, служат для накопления практического опыта разработки программ. История Пролог. КраткаЯ характеристика Языка ПРОЛОГ. Общие сведения о языке Пролог. Структура...

TuProlog Guide

  • формат html, jar, pdf
  • размер 2.05 МБ
  • добавлен 03 марта 2009 г.
What is tuProlog. Installing tuProlog. Getting Started. tuProlog Basics. tuProlog Libraries. Accessing Java from tuProlog. The IDE. Using tuProlog from Java. How to Develop New Libraries. TUProlog 2.1.1-руководство пользователя, 2007 год.

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

  • формат pdf
  • размер 4.81 МБ
  • добавлен 03 марта 2009 г.
Эта книга начиналась как личный проект. Моим намерением было просто написать руководство по логическому программированию для моего сына. Однако успех книги был огромным, и я получил множество предложений по улучшению текста или кода, а также пожеланий продолжать работу. Руководство по логическому программированию, 210 с. 2008 год! Цвет, отличное качество, интересное и доступное изложение материала по шагам. Как для себя! Перевод с английского (ру...

Costa E. Visual Prolog 7.2 for Tyros

  • формат pdf
  • размер 1.67 МБ
  • добавлен 03 марта 2009 г.
This book started as a personal project. My intention was simply to write a tutorial on Logic Programming for my son. The success of the book,however, was immense, and I received many uggestions on how to improve the text, or the code, and encouragement to continue with the work. Подробное описание работы в Visual Prolog 7.2 - от знакомства с интерфейсом до решения серьезных задач с пояснениями и приведенными листингами - (25 глав 256 стр. на анг...

Blackburn P. Learn Prolog Now!

  • формат pdf
  • размер 488.86 КБ
  • добавлен 03 марта 2009 г.
Facts, Rules, and Queries. Prolog Syntax. Matching and Proof Search. Recursion. Lists. Arithmetic. More Lists. Definite Clause Grammars. More Definite Clause Grammars. A Closer Look at Terms. Cuts and Negation. Database Manipulation and Collecting Solutions. Working With Files. 2001 г. - 12 глав 184 стр. о ПРОЛОГЕ с примерами листинга программ и подробными комментариями (для знающих английский)!

Программа - VisualProlog 5.2

program
  • формат txt
  • размер 17.8 МБ
  • добавлен 02 марта 2009 г.
Популярная программная оболочка, основанная на языке логического программирования Пролог, - VisualProlog 5.2. Дружественный интерфейс, хорошие функциональные возможности. Приятного программирования на Visual Прологе!rn

Программа - SWIProlog 5.6 + руководство пользователя

program
  • формат pdf
  • размер 8.09 МБ
  • добавлен 02 марта 2009 г.
Современная программа, позволяющая решить задачи логического программирования, с руководством юзера на английском - год выхода 2008!

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

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

Программа - GNUProlog + руководство пользователя

program
  • формат pdf
  • размер 4.12 МБ
  • добавлен 02 марта 2009 г.
Современная программа для решения задач логического программирования GNUProlog с подробным руководством пользователя (2007 г. 217стр. на английском)!

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

  • формат djvu
  • размер 3.19 МБ
  • добавлен 11 февраля 2009 г.
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог. Для программистов и пользователей ЭВМ. Оглавление: Глава 1. Введение Глава 2....

Терехин В.В. Турбо Пролог, учебное пособие

  • формат pdf
  • размер 925.16 КБ
  • добавлен 27 января 2009 г.
Начала работы на Турбо-Прологе: пакет системы Турбо-Пролог. Основные понятия языка Турбо-Пролог: декларативные и императивные языки, управление программой, внутренние подпрограммы унификации Турбо-Пролога. Основы программирования на Турбо-Прологе: структура программ Турбо-Пролога, предикаты и утверждения, арифметика в Турбо-Прологе. Повторение и рекурсия: программирование повторяющихся операций, повторение и откат, методы повторения, методы орган...

Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

  • формат pdf
  • размер 659.49 КБ
  • добавлен 27 января 2009 г.
Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными предикатами, необходимыми для программирования. Изложение иллюстрируется примерами программ. Содержатся варианты контрольных заданий для вып...

Касаткин В.Н. Логическое программирование в занимательных задачах

  • формат djvu
  • размер 1.33 МБ
  • добавлен 23 января 2009 г.
К.: Техника, 1980. -79с., ил. Рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознование простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искуственных эволюций.

Малпас Д. Реляционный язык пролог и его применение

  • формат djvu
  • размер 5.51 МБ
  • добавлен 16 января 2009 г.
Описывается реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики. 465 страниц.

Лабораторная работа №7

Лабораторная
  • формат doc
  • размер 48.5 КБ
  • добавлен 01 декабря 2008 г.
«Файловая система Visual Prolog и обработка строк». Кратко теория и лабораторная работа

Лабораторная работа №6

Лабораторная
  • формат doc
  • размер 60 КБ
  • добавлен 01 декабря 2008 г.
«Разработка экспертных систем (с демонстрацией поиска с возвратом, использованием БД и предиката not). Кратко теория и лабораторная работа на Visual Prolog 5/2

Лабораторная работа №4

Лабораторная
  • формат doc
  • размер 59.5 КБ
  • добавлен 01 декабря 2008 г.
«Бинарные деревья».Кратко теория и лабораторная работа

Лабораторная работа №5

Лабораторная
  • формат doc
  • размер 56.5 КБ
  • добавлен 01 декабря 2008 г.
«Рекурсивные процедуры и списки». Кратко теория и лабораторная работа

Лабораторная работа №3

Лабораторная
  • формат doc
  • размер 51.5 КБ
  • добавлен 01 декабря 2008 г.
«Рекурсивные процедуры». Содержит кратко теорию и выполненую лабораторную работу

Лабораторная работа №2

Лабораторная
  • формат doc
  • размер 54.5 КБ
  • добавлен 01 декабря 2008 г.
«Поиск с возвратом и предикат not». Содержит кратко теорию выполненую лабораторную работу.

Лабораторная работа №1

Лабораторная
  • формат doc
  • размер 84.5 КБ
  • добавлен 01 декабря 2008 г.
«Ознакомление со средой программирования Visual Prolog 5.2. Логический вывод и логическое следствие. Унификация и сопоставление».Содержит кратко теорию и выполненую лабораторную работу.

Лабораторная работа №4

Лабораторная
  • формат doc
  • размер 7.16 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лабораторной работе на тему : "Работа с базами данных языка Пролог". Задание: создать внутреннюю базу данных «Библиотека», которая описывает связи Книга-Автор и Книга-Читатель-Срок_возврата. Пользователю должны быть доступны действия:Добавление фактов обоих предикатов, Редактирование фактов обоих предикатов, Удаление фактов обоих предикатов, Вывод на экран всех фактов, Сохранение в файле, Загрузка из файла. Отчет содержит листинг програм...

Лабораторная работа №1

Лабораторная
  • формат doc
  • размер 4.69 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лабораторной работе на тему: "Основы работы в системе Visual prolog 5.2. ". Содержит листинг программы.rn

Лабораторная работа №2

Лабораторная
  • формат doc
  • размер 8.38 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лабораторной работе на тему: "Работа с отношениями на языке Пролог". Задание заключается в определении в виде правил следующие отношения родства: Сын (son); Племянник (nephew); N-юродный брат (n_cousin_brother); Троюродный племянник (second_cousin_nephew); Отпрыск (любого уровня) (shoot); Зять (daughter_husband). Отчет содержит листинг программы.

Лабораторная работа №3

Лабораторная
  • формат doc
  • размер 4.19 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лабораторной работе на тему: "Работа со списками в языке пролог". Задание: разработать предикат, реализующий функцию REMOVEF – удаление из списка первого вхождения заданного элемента. Отчет содержит листинг программы.

Лабораторная работа №6

Лабораторная
  • формат doc
  • размер 7.03 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лаб. работе на тему: "Организация рекурсивных вычислений в LISP". Задание: Вычислить сумму n первых (от 1 до n) нечётных членов ряда xi=(xi-1)/i, где x0=1, i-индекс; Записать результат в файл. Отчет содержит листинг программы.

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

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

Шекет В.І. Конспект лекцій по логічному програмуванню

  • формат pdf
  • размер 1.04 МБ
  • добавлен 12 ноября 2008 г.
Складено згідно з програмою з курсу для студентів з спеціальності "Програмне забезпечення автоматизованих систем" і призначене для самостійної роботи студентами денної та заочної форми навчання

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

  • формат djvu
  • размер 3.97 МБ
  • добавлен 05 июня 2008 г.
В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника граматического разбора, программирования метаинтерпретаторов. Изложение удачно иллюстрируется примерами программ. Рассматриваются некоторые приложения Пролога: программиров...

Бураков М.В. Язык логического программирования ПРОЛОГ

  • формат pdf
  • размер 184.3 КБ
  • добавлен 15 марта 2008 г.
Методические указания. Приводится описание основных конструкций языка логического программирования ПРОЛОГ. Методические указания предназначены для студентов, изучающих дисциплину “Системы с искусственным интеллектом”.

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

  • формат pdf
  • размер 174.12 КБ
  • добавлен 05 ноября 2007 г.
Теоретические принципы ПРОЛОГа. Структура программы на ПРОЛОГе. Описание арифметических операций. Запросы к ПРОЛОГ-программе. Управление процессом решения задачи. Использование предиката fail. Использование предиката cut. Использование рекурсии в ПРОЛОГе . Использование списков. Решение логических задач. Базы данных и знаний на ПРОЛОГе. Задания для самостоятельной работы. Вопросы для самопроверки.

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

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

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

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

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

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

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

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

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

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