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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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