Навигация
Главная
Поиск
Форум
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
Содержание сайт... 65535
Вызов хранимых ... 65535
Эмулятор микроп... 65535
Приложение «Про... 62850
Организация зап... 62068
Invision Power ... 61713
Оператор выбора... 61515
Подключение Mic... 60117
Модуль Forms 59471
Создание отчето... 59237
ТЕХНОЛОГИИ ДОСТ... 55468
Программируемая... 54491
Пример работы с... 52375
Имитационное мо... 50821
21 ошибка прогр... 45821
Реклама
Сейчас на сайте
Гостей: 11
На сайте нет зарегистрированных пользователей

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

Калькулятор на Delphi с переводом в другую систему исчисления + Блок схемы
Принадлежит ли точка пересечению двух окружностей на Turbo Pascal + Отче...
База данных студентов на Delphi + Microsoft SQL Server

Реклама



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

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

Статьи по Prolog:

  • Введение в Турбо Пролог - April 02 2009 21:34:48
  • Предложения, факты и правила в Турбо Прологе - April 02 2009 21:39:14
  • Структура программы в Турбо Прологе - April 02 2009 21:45:35
  • Трансляция списков в Турбо Прологе - April 02 2009 21:48:33
  • Файлы в Турбо Прологе и их обработка - April 02 2009 21:51:08
  • Декларативная и процедурная семантика языка Пролог - April 02 2009 21:59:44
  • Влияние порядка предложений и предикатов в них на достижение цели в Турбо Прологе - April 02 2009 22:09:09
  • Особенности применения предикатов отсечения и отрицания в Турбо Прологе - April 02 2009 22:11:51
  • Решение логических задач в Турбо Прологе. Задача о волке, козе и капусте - April 02 2009 22:30:56
  • Решение логических задач в Турбо Прологе. Задача об обезьяне. - April 02 2009 22:33:19
  • Решение логических задач в Турбо Прологе. Задача о ханойсной башне. - April 02 2009 22:48:09
  • Решение логических задач в Турбо Прологе. Задача о расследовании преступления. - April 02 2009 22:50:15
  • Базы данных и базы знаний в Турбо Прологе - April 02 2009 22:59:55
  • Интерфейс на естественном языке в Турбо Прологе - April 02 2009 23:06:19
  • Взаимодействие Турбо Пролога с файлами DBF-формата - April 02 2009 23:08:08
  • Использование метода анализа ключевых слов при построении интерфейса с базой знаний в Турбо Прологе - April 02 2009 23:10:53
  • Программа лексического анализа предложений в Турбо Прологе - April 02 2009 23:12:15
  • Контекстно-свободный анализ предложений - April 02 2009 23:15:11
  • Структура экспертных систем (Турбо Пролог) - April 05 2009 23:35:35
  • Классификация экспертных систем (Турбо Пролог) - April 05 2009 23:38:38
  • Экспертные системы, базирующиеся на правилах (Турбо Пролог) - April 05 2009 23:39:12
  • Экспертные системы, базирующиеся на логике (Турбо Пролог) - April 05 2009 23:39:55
  • Рекомендации по разработке экспертных систем (Турбо Пролог) - April 05 2009 23:40:30
  • ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система, базирующаяся на правилах - April 05 2009 23:42:50
  • ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система, базирующаяся на логике - April 05 2009 23:45:02
  • ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система медицинской диагностики - April 05 2009 23:49:03
  • Задача о шахматах. Расстановка фигур с максимальной угрозой [Prolog] - June 09 2009 11:54:07
  • Найти определитель матрицы. Метод Гаусса [Prolog] - June 09 2009 11:57:51
  • Алгоритм, расчитывающий выигрышные позиции в игре в 20 [SWI Prolog] - June 09 2009 12:01:17
  • Трансляция арифметических выражений над натуральными числами из канонической (в виде структур) формы в постфиксную форму - June 09 2009 12:05:12
  • Задача о том кто какую читает книгу - June 17 2009 14:34:18
  • Разделение списка на 2 относительно первого элемента ( по принципу "больше-меньше") - June 17 2009 14:43:50
  • Решение задачи манипулирования кубиками методом поиска в глубину - June 17 2009 14:46:09
  • Задача. Матрица - June 17 2009 14:47:42
  • Задача о коммивояжере методом поиска в глубину - June 17 2009 14:51:23
  • Программа печатает перечень животных, хранящийся в виде утверждений. Реализует метод отката после неудачи - July 28 2009 18:46:22
  • Программа перечисляет виды налогов, взимаемых с предприятий с учетом их профиля - July 28 2009 18:48:53
  • Программа выводит на экран первые 5 натуральных чисел - July 28 2009 18:49:56
  • Программа содержит перечень 2-х технических и 3-х гуманитарных дисциплин и правило составления возможных вариантов пар дисциплин - July 28 2009 18:51:07
  • Программа содержит сведения о родственных связях - July 28 2009 18:51:44
  • Программа содержит несколько измененный фрагмент игрушечной экспертной системы - July 28 2009 18:52:58
  • Работа в среде Турбо Пролог - July 28 2009 18:57:33
  • ОПИСАНИЕ ПРЕДМЕТНОЙ ОБЛАСТИ С ПОМОЩЬЮ ПРОГРАММЫ НА ПРОЛОГЕ - November 03 2009 00:10:34
  • ФАКТЫ - November 03 2009 00:14:30
  • ПРАВИЛА РАБОТЫ В ИНТЕРПРЕТАТОРЕ ПРОЛОГА - November 03 2009 00:23:43
  • РЕЖИМ "РЕДАКТИРОВАНИЕ" - November 03 2009 00:25:31
  • РЕЖИМ "ПОПОЛНЕНИЕ И ОБНОВЛЕНИЕ БЗ" - November 03 2009 00:26:20
  • РЕЖИМ "КОНСУЛЬТАЦИЯ" - November 03 2009 00:27:53
  • ВОПРОСЫ ИЛИ ЦЕЛЕВЫЕ УТВЕРЖДЕНИЯ - November 03 2009 00:28:55
  • ПЕРЕМЕННЫЕ - November 03 2009 00:31:14
  • ПРАВИЛА - November 03 2009 18:38:42
  • КОНЪЮНКЦИЯ ЦЕЛЕВЫХ УТВЕРЖДЕНИЙ - November 03 2009 18:40:40
  • ПОПОЛНЕНИЕ БАЗЫ ЗНАНИЙ - November 03 2009 18:42:50
  • Описание предметной области "Расписание занятий" с помощью программы на языке Пролог - November 03 2009 18:46:04
  • Упорядочивание по алфавиту - November 13 2009 16:51:29
  • РЕКУРСИЯ - November 04 2009 13:55:35
  • ВВЕДЕНИЕ В РЕКУРСИЮ - November 05 2009 15:53:54
  • КАК ПИСАТЬ РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ - November 05 2009 15:58:26
  • Программа вычисления значений выражений - November 04 2009 23:49:58
  • УПРАВЛЕНИЕ ВЫПОЛНЕНИЕМ ПРОГРАММЫ С ПОМОЩЬЮ ПРЕДИКАТОВ FAIL И REPEAT - November 04 2009 23:50:32
  • НИСХОДЯЩАЯ РЕКУРСИЯ - November 05 2009 16:02:23
  • ВОСХОДЯЩАЯ РЕКУРСИЯ - November 05 2009 16:06:59
  • ВВЕДЕНИЕ В ОТСЕЧЕНИЕ - November 05 2009 17:42:16
  • ВВЕДЕНИЕ В СПИСКИ - November 06 2009 11:32:29
  • ВОЗДЕЙСТВИЕ ОТСЕЧЕНИЯ НА ВЫПОЛНЕНИЕ - November 05 2009 17:43:45
  • ИСПОЛЬЗОВАНИЕ ОТСЕЧЕНИЯ - November 05 2009 17:48:49
  • ЛОВУШКИ ОТСЕЧЕНИЯ - November 05 2009 17:51:08
  • ГОЛОВА И ХВОСТ СПИСКА - November 06 2009 11:37:17
  • УНИФИКАЦИЯ СПИСКОВ КАК АРГУМЕНТОВ ПРЕДИКАТОВ - November 06 2009 11:39:11
  • ПРИНАДЛЕЖНОСТЬ ЭЛЕМЕНТОВ СПИСКУ - November 06 2009 11:42:19
  • ВВОД, ВЫВОД СПИСКА КАК ТЕРМА - November 06 2009 11:44:26
  • ИСПОЛЬЗОВАНИЕ ПРЕДИКАТА 'ПРИСОЕДИНИТЬ' - November 06 2009 11:46:14
  • ИСПОЛЬЗОВАНИЕ ПРЕДИКАТА 'ПРИСОЕДИНИТЬ' ДЛЯ РАЗДЕЛЕНИЯ СПИСКА - November 06 2009 11:47:56
  • Шашки на Strawberry Prolog - November 06 2009 23:21:49
  • Draughts на Strawberry Prolog - November 06 2009 23:26:51
  • Пятнашки на Strawberry Prolog - November 06 2009 23:30:29
  • Five Balls на Strawberry Prolog - November 06 2009 23:32:50
  • Игра 6 на 7 на Strawberry Prolog - November 06 2009 23:35:31
  • Предикат, вычисляющий сумму цифр натурального числа - November 08 2009 22:34:31
  • Ввод и вывод строк - November 13 2009 16:53:28
  • Предикат поиска по маскес помощью которого осуществляется сравнение строки Str со строкой-маской Maska - November 13 2009 16:59:10
  • Предикат вывода расписания на конкрентный день - November 13 2009 17:00:43
  • Предикат поиска строки по подстроке - November 13 2009 17:02:19
  • ВВЕДЕНИЕ В СТРУКТУРЫ - November 18 2009 11:10:33
  • УТВЕРЖДЕНИЯ БАЗЫ ЗНАНИЙ КАК СТРУКТУРЫ ЯЗЫКА ПРОЛОГ - November 18 2009 11:13:55
  • ВСТРОЕННЫЕ ПРЕДИКАТЫ УДАЛЕНИЯ И ДОБАВЛЕНИЯ УТВЕРЖДЕНИЙ В БАЗУ ЗНАНИЙ - November 18 2009 11:15:18
  • ВСТРОЕННЫЙ ПРЕДИКАТ РАСЩЕПЛЕНИЯ УТВЕРЖДЕНИЯ НА ЗАГОЛОВОК И ТЕЛО CLAUSE(X,Y) - November 18 2009 11:19:06
  • ВСТРОЕННЫЙ ПРЕДИКАТ CALL(X) - November 18 2009 11:21:26
  • Предикат functor(T,F,N) - November 18 2009 11:24:06
  • Доступ к аргументам структуры. Предикат arg(N,T,A) - November 18 2009 11:25:42
  • Копирование структур - November 18 2009 11:27:09
  • ПРЕОБРАЗОВАНИЕ СТРУКТУРЫ В СПИСОК И СПИСКА В СТРУКТУРУ. ПРЕДИКАТ Х=..L - November 18 2009 11:29:08
  • ОТОБРАЖЕНИЕ СТРУКТУР И ИСПОЛЬЗОВАНИЕ ДЕРЕВЬЕВ - November 18 2009 11:30:55
  • ПРЕОБРАЗОВАНИЕ АРИФМЕТИЧЕСКИХ ВЫРАЖЕНИЙ - November 18 2009 11:33:36
  • Задача о супружеских парах - December 03 2009 23:38:53
  • Добавление нового элемента - January 04 2010 01:27:57
  • Слияние двух списков - January 04 2010 01:28:34
  • Удаление одного элемента - January 04 2010 01:29:06
  • Поиск элемента - January 04 2010 01:29:58
  • Разделение списка на два подсписка - January 04 2010 01:30:56
  • Программа печатает перечень животных, хранящийся в виде утверждений - January 04 2010 01:32:49
  • Программа перечисляет виды налогов, взимаемых с предприятий с учетом их профиля - January 04 2010 01:34:09
  • Гипотезы - подцели - January 04 2010 01:36:43
  • Программа выводит на экран первые 5 натуральных чисел - January 04 2010 01:37:29
  • Сортировка списков - January 04 2010 01:38:54
  • Строка -> список - January 04 2010 01:39:47
  • Пример списка из неоднородных элементов - January 04 2010 01:40:54
  • Списки в Прологе - January 11 2010 14:07:10
  • Типовые операции над списками в Прологе - January 11 2010 14:09:55
  • Нетиповые операции со списком (выделение в списке заданной группы элементов) - January 11 2010 14:11:14
  • Списки из неоднородных элементов - January 11 2010 14:12:05
  • Компоновка данных в список - January 11 2010 14:13:39
  • Поиск максимального значения функции на турбо прологе - January 13 2010 23:48:31
  • Сортировка числового представления строк - January 13 2010 23:55:16
  • Программа выбирает самое длинное слово из предложения на турбо прологе - January 14 2010 00:04:39
  • Максимальная разница между вводимыми числами [SWI Prolog] - January 14 2010 00:07:29
  • AVL дерево - January 14 2010 00:09:07
  • Вывести все возможные квадраты из множества точек - January 14 2010 00:12:07
  • Разделение списка - January 14 2010 00:14:54
  • Разобрать список на 3 подсписка - July 11 2010 22:09:55
  • Решение головоломки "игра в восемь" - July 11 2010 22:13:17
  • Введенную с клавиатуры строку вывести на экран дисплея наоборот - July 11 2010 22:14:20
  • Определить взаимное расположение точек - July 11 2010 22:19:02
  • Определить номер последнего отрицательного элемента списка - July 11 2010 22:24:21
  • Определить номера элементов, имеющих наименьшее значение - July 11 2010 22:25:19
  • Решение задачи методом Байсера для определения вероятности наступления события в условиях,когда на основе наблюдений изветна лишь некоторая частичная информация о возможных событиях - July 11 2010 22:29:14
  • Вычисление чисел Фибоначчи - July 11 2010 22:32:23
  • Дорожно-транспортное происшествие - July 11 2010 22:36:37
  • Hello World на turbo prolog - July 11 2010 22:37:57
  • Циклический сдвиг списка на один элемент вправо в списке целых чисел - July 11 2010 22:40:04
  • Поиск максимального значения функции y=tg(x)+1 - July 11 2010 22:41:23
  • Поиск чисел удовлетворяющих условию - July 11 2010 22:42:48
  • Найти список изолированых вершин - July 11 2010 22:43:40
  • Подсписок из списка состоящий из элементов с номерами M и N - July 11 2010 22:46:50
  • Логическая задача о жителях острова - July 11 2010 22:49:42
  • Обход ферзем - July 21 2010 23:26:46
  • Зять и тёща - July 21 2010 23:31:20
  • Декартовое произведение двух списков - July 21 2010 23:32:28
  • Логическая задача о супружеских парах (turbo prolog) - February 18 2011 18:06:35
  • Запрограммировать на языке Visual Prolog задачу - February 19 2011 00:02:58
  • Решить задачи на языке Visual Prolog - February 19 2011 00:05:08
  • Разработать простое приложение, рисующее в окне изображение человека на Visual Prolog - February 19 2011 00:06:50
  • Запрограммировать предикаты работы со списками - February 19 2011 00:09:30
  • Запрограммировать предикаты работы со множествами - February 19 2011 00:11:21
  • Запрограммировать предикаты работы с бинарными деревьями - February 19 2011 00:13:18
  • Запрограммировать предикаты для работы с графами - February 19 2011 00:17:51
  • Требуется разработать алгоритм решения логической задачи «Маскарадные костюмы» на Visual Prolog - February 19 2011 00:22:03
  • Венгерский язык. Морфология [Swi Prolog] - February 22 2011 19:43:17
  • База знаний - столицы [Turbo Prolog] - February 22 2011 19:45:08
  • вычисление значения логического выражения в дизъюктивной нормальной форме [SWI Prolog] - February 22 2011 19:47:27
  • вычисления значения логического выражения в конъюнктивной нормальной форме [Swi Prolog] - February 22 2011 19:50:37
  • Если конкатенация L1 и L2 - есть префикс L3, то ответ - yes, иначе - no [SWI Prolog] - February 22 2011 19:54:18
  • Задача о укладке вещей в рюкзаке - February 22 2011 22:24:41
  • Змейка на Visual Prolog 5.2 - February 22 2011 22:27:50
  • Игра «Выдающийся ум» - February 23 2011 15:45:36
  • Игра «Домино» [Visual prolog] - February 28 2011 20:06:49
  • Игра «Шахматы» [Visual Prolog] - February 28 2011 20:09:26
  • Информационная система аэропорта - February 28 2011 20:56:36
  • информационно – справочная система «Спортивные организации города» [Turbo prolog 2.0] - February 28 2011 21:10:16
  • Игра «Крестики нолики» - March 01 2011 19:31:17
  • лабораторная часть 1 (5 задач) [SWI-Prolog] - March 13 2011 19:08:17
  • Задача об обезьяне и банане [Swi-Prolog] - March 13 2011 19:11:45
  • База знаний - книги - March 13 2011 19:14:53
  • Экспертная система с предметной областью журналы - March 13 2011 19:19:30

    Программирование на языке Пролог (Prolog):

  • Содержание - July 09 2009 14:40:24
  • Аннотация - July 09 2009 14:41:20
  • ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА - July 09 2009 14:43:20
  • ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ - July 09 2009 14:44:19
  • ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ - July 09 2009 14:45:36
  • ГЛАВА 1 ВВЕДЕНИЕ - July 09 2009 14:46:44
  • 1.1. Факты - July 09 2009 14:47:51
  • 1.2. Вопросы - July 09 2009 14:48:44
  • 1.3. Переменные - July 09 2009 14:49:32
  • 1.4. Конъюнкции - July 09 2009 14:50:19
  • 1.5. Правила - July 09 2009 14:51:06
  • 1.6. Заключение и упражнения - July 09 2009 14:51:55
  • ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ - July 09 2009 14:52:12
  • 2.1. Синтаксические правила - July 09 2009 14:53:10
  • 2.1.1. Константы - July 09 2009 14:54:09
  • 2.1.2. Переменные - July 09 2009 14:54:59
  • 2.1.3. Структуры - July 09 2009 14:56:47
  • 2.2. Литеры - July 09 2009 14:57:45
  • 2.3. Операторы - July 09 2009 14:58:43
  • 2.4. Равенство и установление соответствия - July 09 2009 14:59:54
  • 2.5. Арифметика - July 09 2009 15:01:46
  • 2.6. Общая схема согласования целевых утверждений - July 09 2009 15:02:19
  • 2.6.1. Успешное доказательство конъюнкции целевых утверждений - July 09 2009 15:03:33
  • 2.6.2. Рассмотрение целевых утверждений при использовании механизма возврата - July 09 2009 15:04:20
  • 2.6.3. Установление соответствия - July 09 2009 15:05:19
  • ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ - July 09 2009 15:05:47
  • 3.1. Структуры и деревья - July 09 2009 15:06:38
  • 3.2. Списки - July 09 2009 15:07:54
  • 3.3. Принадлежность элементов списку - July 09 2009 15:09:29
  • 3.4. Пример: преобразование предложений - July 09 2009 15:10:29
  • 3.5. Пример: упорядочение по алфавиту - July 09 2009 15:11:30
  • 3.6. Использование предиката присоединить и спецификация деталей - July 09 2009 15:12:37
  • ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ - July 09 2009 15:13:30
  • 4.1. Порождение множественных решений - July 09 2009 15:15:31
  • 4.2. Отсечение - July 09 2009 15:19:26
  • 4.3. Общие случаи использования отсечения - July 09 2009 15:19:43
  • 4.3.1. Подтверждение правильности выбора правила - July 09 2009 15:20:50
  • 4.3.2. Комбинация «отсечение-fail» - July 09 2009 15:22:57
  • 4.4. Проблемы, связанные с использованием отсечения - July 09 2009 15:23:58
  • ГЛАВА 5 ВВОД И ВЫВОД - July 09 2009 15:26:57
  • 5.1.1. Вывод термов - July 09 2009 15:28:08
  • 5.1.2. Ввод термов - July 09 2009 15:29:00
  • 5.2. Ввод и вывод литер - July 09 2009 15:35:46
  • 5.2.1. Вывод литер - July 09 2009 15:36:36
  • 5.2.2. Ввод литер - July 09 2009 15:37:05
  • 5.3. Ввод предложений - July 09 2009 15:38:10
  • 5.4. Чтение файлов и запись в файлы - July 09 2009 15:39:19
  • 5.4.1. Запись в файлы - July 09 2009 15:39:53
  • 5.4.2. Чтение файлов - July 09 2009 15:40:56
  • 5.4.3. Ввод программ - July 09 2009 15:41:24
  • 5.5. Объявление операторов - July 09 2009 15:43:10
  • ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ - July 09 2009 15:46:09
  • 6.1. Ввод новых утверждений - July 09 2009 15:46:30
  • consult(X) - July 09 2009 15:49:05
  • reconsult(X) - July 09 2009 15:49:29
  • Списковая форма записи - July 09 2009 15:50:46
  • 6.2. Выполнение и невыполнение целевого утверждения - July 09 2009 15:51:11
  • true - July 09 2009 15:53:47
  • fail - July 09 2009 15:54:21
  • 6.3. Классификация термов - July 09 2009 15:54:57
  • var(X) - July 09 2009 15:55:28
  • nonvar(X) - July 09 2009 15:55:45
  • atom(X) - July 09 2009 15:56:14
  • integer(X) - July 09 2009 15:56:35
  • atomic(X) - July 09 2009 15:56:53
  • 6.4. Работа с утверждениями как с термами - July 09 2009 16:07:16
  • listing (A) - July 09 2009 16:07:43
  • clause(X, Y) - July 09 2009 16:08:12
  • asserta(X), assertz(X) - July 09 2009 16:08:33
  • retract(X) - July 09 2009 16:08:55
  • 6.5. Создание структур и работа с компонентами структур - July 09 2009 16:09:23
  • functor(T,F,N) - July 09 2009 16:09:56
  • arg(N,T,A ) - July 09 2009 16:10:45
  • X=..L - July 09 2009 16:11:17
  • name(А,L) - July 09 2009 16:11:42
  • 6.6. Воздействие на процесс возврата - July 09 2009 16:12:05
  • Отсечение - July 09 2009 16:12:27
  • repeat - July 09 2009 16:13:02
  • 6.7. Формирование составных целевых утверждений - July 09 2009 16:13:35
  • Конъюнкция целей - July 09 2009 16:14:00
  • Дизъюнкция целей - July 09 2009 16:14:34
  • call(X) - July 09 2009 16:15:09
  • not(X) - July 09 2009 16:15:34
  • 6.8. Равенство - July 09 2009 16:15:56
  • X=Y - July 09 2009 16:16:27
  • X\=Y - July 09 2009 16:16:50
  • X==Y - July 09 2009 16:17:14
  • Х \== Y - July 09 2009 16:17:37
  • 6.9. Ввод и вывод данных - July 09 2009 16:18:01
  • get0(X) - July 09 2009 23:59:33
  • get(X) - July 10 2009 00:00:00
  • skip(X) - July 10 2009 00:01:17
  • read(X) - July 10 2009 00:01:53
  • put(X) - July 10 2009 00:02:18
  • nl - July 10 2009 00:02:37
  • tab(X) - July 10 2009 00:02:57
  • write(X) - July 10 2009 00:03:21
  • display(X) - July 10 2009 00:03:41
  • op(X,Y,Z) - July 10 2009 00:04:04
  • 6.10. Обработка файлов - July 10 2009 00:04:21
  • see(X) - July 10 2009 00:04:42
  • seeing(X) - July 10 2009 00:04:59
  • seen - July 10 2009 00:05:16
  • tell(X) - July 10 2009 00:05:33
  • telling (X) - July 10 2009 00:05:49
  • told - July 10 2009 00:06:10
  • 6.11. Вычисление арифметических выражений - July 10 2009 00:06:52
  • 6.12. Сравнение чисел - July 10 2009 00:07:36
  • 6.13. Наблюдение за выполнением программы на Прологе - July 10 2009 00:08:15
  • ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ - July 10 2009 00:08:34
  • 7.1. Словарь в виде упорядоченного дерева - July 10 2009 00:09:26
  • 7.2. Поиск в лабиринте - July 10 2009 00:10:26
  • 7.3. Ханойские башни - July 10 2009 00:11:03
  • 7.4. Справочник комплектующих деталей - July 10 2009 00:11:35
  • 7.5. Обработка списков - July 10 2009 00:12:44
  • 7.6. Представление и обработка множеств - July 10 2009 00:13:28
  • 7.7. Сортировка - July 10 2009 00:14:27
  • 7.8. Использование базы данных: random, генатом, найтивсе - July 10 2009 00:15:05
  • Генератор случайных чисел (random) - July 10 2009 00:15:47
  • Генератор имен (генатом) - July 10 2009 00:16:33
  • Генератор списков структур (найтивсе) - July 10 2009 00:17:12
  • 7.9. Поиск по графу - July 10 2009 00:18:58
  • 7.10. Просеивай Двойки, Просеивай Тройки - July 10 2009 00:19:49
  • 7.11. Символьное дифференцирование - July 10 2009 00:20:27
  • 7.12. Отображение структур и преобразование деревьев - July 10 2009 00:21:29
  • 7.13. Применение предикатов clause и retract - July 10 2009 00:22:48
  • ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ - July 10 2009 00:23:09
  • 8.1. Расположение текстов программ - July 10 2009 00:23:55
  • 8.2. Типичные ошибки - July 10 2009 00:24:24
  • 8.3. Модель трассировки - July 10 2009 00:26:31
  • 8.4. Трассировка и контрольные точки - July 10 2009 00:27:36
  • Выдача информации о цели - July 10 2009 11:01:04
  • Выдача информации о предшественниках - July 10 2009 11:01:57
  • Изменение уровня трассировки - July 10 2009 11:02:43
  • Вмешательство в процесс согласования цели - July 10 2009 11:03:24
  • Другие команды - July 10 2009 11:03:52
  • Заключение [Трассировка] - July 10 2009 11:04:46
  • 8.5. Фиксация ошибок - July 10 2009 11:05:49
  • 9.1. Проблема синтаксического анализа - July 10 2009 11:07:09
  • 9.2. Описание синтаксического анализа на языке Пролог - July 10 2009 11:09:15
  • 9.3. Запись грамматических правил в Прологе - July 10 2009 11:11:30
  • 9.4. Присоединение дополнительных аргументов - July 10 2009 11:14:19
  • 9.5. Введение дополнительных условий - July 10 2009 11:15:30
  • 9.6. Заключение - July 10 2009 11:17:12
  • ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА - July 10 2009 11:19:28
  • 10.1. Краткое введение в исчисление предикатов - July 10 2009 11:21:05
  • 10.2. Приведение формул к стандартной форме - July 10 2009 11:22:09
  • Этап 1 - исключение импликаций и зквивалентностей - July 10 2009 11:22:49
  • Этап 2 - перенос отрицания внутрь формулы - July 10 2009 11:23:30
  • Этап 3 - сколемизация - July 10 2009 11:24:03
  • Этап 4 - вынесение кванторов общности в начало формулы - July 10 2009 11:24:43
  • Этап 5 - использование дистрибутивных законов для &и # - July 10 2009 11:25:18
  • Этап 6 - выделение множества дизъюнктов - July 10 2009 11:26:57
  • 10.3. Форма записи дизъюнктов - July 10 2009 11:27:46
  • 10.4. Принцип резолюций и доказательство теорем - July 10 2009 11:29:11
  • 10.5. Хорновские дизъюнкты - July 10 2009 11:29:50
  • 10.6. Пролог - July 10 2009 11:30:43
  • 10.7. Пролог и логическое программирование - July 10 2009 11:31:23
  • ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ - July 10 2009 11:32:15
  • 11.1. Простые проекты - July 10 2009 11:34:46
  • 11.2. Более сложные проекты - July 10 2009 11:36:42
  • ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ - July 10 2009 11:38:34
  • ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ - July 10 2009 11:39:32
  • Этап 1 - исключение импликаций - July 10 2009 11:40:16
  • Этап 2 - перенос отрицания внутрь формулы - July 10 2009 11:40:46
  • Этап 3 - сколемизация - July 10 2009 11:41:18
  • Этап 4 - вынесение кванторов общности в начало формулы - July 10 2009 11:41:53
  • Этап 5 - использование дистрибутивных законов для. &и # - July 10 2009 11:42:18
  • Этап 6 - выделение множества дизъюнктов - July 10 2009 11:42:41
  • Печать утверждений - July 10 2009 11:43:02
  • ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ - July 10 2009 11:43:24
  • Синтаксис - July 10 2009 11:43:55
  • Различные ограничения - July 10 2009 11:44:13
  • Возможности окружения - July 10 2009 11:44:31
  • Компиляция - July 10 2009 11:44:50
  • Специальные встроенные предикаты - July 10 2009 11:45:07
  • Средства отладки - July 10 2009 11:45:36
  • ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10 - July 10 2009 11:45:57
  • Пример сеанса работы - Пролог-10 - July 10 2009 11:47:06
  • Синтаксис - Пролог-10 - July 10 2009 11:47:57
  • Различные ограничения - Пролог-10 - July 10 2009 11:48:16
  • Возможности окружения - Пролог-10 - July 10 2009 11:48:39
  • Компиляция - Пролог-10 - July 10 2009 11:49:01
  • Различия во встроенных предикатах - Пролог-10 - July 10 2009 11:51:52
  • Дополнительные встроенные предикаты - Пролог-10 - July 10 2009 11:52:18
  • Средства отладки - Пролог-10 - July 10 2009 11:52:36
  • Литература - Пролог-10 - July 10 2009 11:52:55
  • ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ - July 10 2009 11:53:31
  • Пример сеанса работы - Микро Пролог - July 10 2009 11:54:18
  • Синтаксис - Микро Пролог - July 10 2009 11:54:46
  • Различные ограничения - Микро Пролог - July 10 2009 11:55:06
  • Возможности окружения - Микро Пролог - July 10 2009 11:55:23
  • Специальные встроенные предикаты - Микро Пролог - July 10 2009 11:55:49
  • Средства отладки - Микро Пролог - July 10 2009 11:56:16
  • Литература - Микро Пролог - July 10 2009 11:56:49
  • ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ [19] - July 10 2009 11:57:24
  • Пример сеанса работы -МПролог - July 10 2009 11:58:49
  • Синтаксис - МПролог - July 10 2009 11:59:15
  • Модульность - МПролог - July 10 2009 12:00:41
  • Компоненты системы МПролог - July 10 2009 12:01:04
  • Различные ограничения - МПролог - July 10 2009 12:01:48
  • Дополнительные встроенные предикаты - МПролог - July 10 2009 12:03:15
  • Средства отладки - МПролог - July 10 2009 12:03:42
  • Литература - МПролог - July 10 2009 12:04:12

    Системы искусственного интеллекта:

  • Содержание - January 11 2010 14:25:35
  • Введение в СИИ. Классы задач - January 11 2010 14:29:35
  • Понятие о СИИ - January 11 2010 14:32:02
  • Проблема представления знаний - January 11 2010 14:36:25
  • О поколениях интеллектуальных систем - January 11 2010 14:37:33
  • Методы поиска решений в СИИ - January 11 2010 14:45:28
  • Эвристические методы поиска на графах - January 11 2010 14:47:50
  • Поиск решения на графах И/ИЛИ - January 11 2010 17:27:05
  • Особенности знаний - January 11 2010 17:27:50
  • Типовая структура СИИ, основанная на знаниях - January 11 2010 17:30:32
  • Логическая модель - January 11 2010 17:41:01
  • Метод резолюции в логике предикатов - January 11 2010 18:01:10
  • Некоторые встроенные предикаты - January 11 2010 18:04:11
  • Операции в Прологе - January 11 2010 18:04:59
  • Управление механизмом вывода в Прологе - January 11 2010 18:14:49
  • Метод обобщённого правила рекурсии [Пролог] - January 11 2010 18:18:08
  • Использование списков в Prolog - January 11 2010 18:23:10
  • Динамические БД в Прологе - January 11 2010 18:24:27
  • Продукционные системы в Турбо-Прологе - January 12 2010 00:23:14
  • Язык представления данных Пилот+ - January 12 2010 00:25:04
  • Порядок выполнения Пилот+ программы - January 12 2010 00:26:07
  • Основные конструкции языка Пилот+ - January 12 2010 00:27:42
  • Операции ввода/вывода в языке Пилот+ - January 12 2010 00:28:36
  • Операции управления в языке Пилот+ - January 12 2010 00:30:02
  • Операции управления активностью продукций - January 12 2010 16:59:27
  • Фреймова модель представления знаний - January 12 2010 17:02:16
  • Некоторые функции на фреймах - January 12 2010 17:03:29
  • Семантические сети. Искусственные нейронные сети - January 12 2010 17:05:07
  • Основанные принципы функционирования биопрототипов - January 12 2010 17:07:07
  • Формальный нейрон (ФН) - January 12 2010 17:13:41
  • Возможные структуры ИНС - January 12 2010 17:20:35
  • Персептроны - January 12 2010 17:21:17
  • Персептрону. Проблема представимости - January 12 2010 17:27:08
  • Простейшие алгоритмы обучения персептронов - January 12 2010 17:32:10
  • Процедура обратного распространения ошибки - January 12 2010 17:34:55

    Представление знаний и логическое программирование в системах искусственнного интеллекта:

  • Механизм возврата и процедурная семантика - October 13 2010 16:05:39
  • Содержание - September 23 2010 15:44:32
  • Введение - September 23 2010 15:48:13
  • Основные понятия принципов логического программирования - September 23 2010 15:55:55
  • Терминалогия принципов логического программирования - September 23 2010 16:03:20
  • Сложные термы, или структуры - September 24 2010 21:31:10
  • Синтаксис строк - September 24 2010 21:39:18
  • Утверждения - September 27 2010 23:13:50
  • Запросы - September 27 2010 23:15:42
  • Ввод программ - September 27 2010 23:17:15
  • Унификация - September 28 2010 16:12:58
  • Арифметические выражения - September 28 2010 16:15:41
  • Вычисление арифметических выражений - September 28 2010 16:17:22
  • Сравнение результатов арифметических выражений - September 30 2010 16:39:41
  • Структуры данных на языке Пролог - September 30 2010 16:40:54
  • Списки - September 30 2010 16:44:43
  • Бинарные деревья - October 10 2010 20:38:14
  • Процесс представления знаний - October 13 2010 16:11:38
  • Семантические сети - October 13 2010 16:15:19
  • Фреймы - October 13 2010 16:15:32
  • Механизм наследования в Прологе - October 16 2010 19:46:05
  • Создание динамических баз данных - October 16 2010 19:51:23
  • Представление задач в виде И/ИЛИ – графов - October 16 2010 19:57:23
  • Системы экспертных консультаций - October 16 2010 20:06:31
  • Этап идентификации - October 22 2010 22:24:54
  • Этап концептуализации - October 22 2010 22:28:15
  • Этап формализации - October 22 2010 23:09:05
  • Этап выполнения - October 22 2010 23:10:25
  • Этап тестирования - October 22 2010 23:11:29
  • Этап опытной эксплуатации - October 24 2010 22:54:53
  • Экспертные системы, параллельные и последовательные решения - October 24 2010 22:56:32
  • Пример ЭС, основанной на правилах логического вывода и действующую в обратном порядке - October 24 2010 23:04:10
  • Запоминание пути вывода - October 24 2010 23:09:00
  • Пример задачи на представление знаний - October 24 2010 23:10:14
  • Заключение - October 24 2010 23:11:15
  • Литература - October 24 2010 23:12:12

  • Комментарии
    Нет комментариев.
    Добавить комментарий
    Имя:



    smiley smiley smiley smiley smiley smiley smiley smiley smiley
    Запретить смайлики в комментариях

    Введите проверочный код:* =
    Рейтинги
    Рейтинг доступен только для пользователей.

    Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

    Нет данных для оценки.
    Гость
    Имя

    Пароль



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

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

    Случайные загрузки
    Delphi Быстрый Ст...
    Task Shedule
    TrayComp
    PRNDbgrid
    PDJ Scrollers
    iChat v.7.0 Final...
    Программа предназ...
    SUIPack
    Архив Апгрейтов с...
    ICQ
    ShadelLabel
    DirHTMLReportBuil...
    Matrix2D
    Советы от Даниилы...
    AID антивирус
    Domen Name IP
    JanComp
    Animation Effect ...
    Защита от спама ...
    Проигрыватель Mp3

    Топ загрузок
    Приложение Клие... 100363
    Delphi 7 Enterp... 81633
    Converter AMR<-... 20042
    Borland C++Buil... 10959
    GPSS World Stud... 10124
    Borland Delphi ... 7986
    Turbo Pascal fo... 6949
    Visual Studio 2... 4957
    Калькулятор [Ис... 4208
    FreeSMS v1.3.1 3506
    Случайные статьи
    Мой отец вбил это ...
    Как сделать Outloo...
    Потолки Екатеринбург
    Описание абстрактн...
    Очереди
    Сбрасывание объект...
    Стандартные типы м...
    Разделение данных ...
    В случае атаки сис...
    Восстановление дан...
    МОДЕЛЬ С АКТИВНОЙ ...
    Принтеры и DTE
    Работа с папками SMS
    6.1. Ввод новых ...

    Простые советы про...
    Каковы правила игр...
    7.2. Поиск в лаб...
    Специфика построен...
    Типы ID и IDREF
    Matrix: срезка дву...
    Завершение работы ...
    Понимание системы ...
    БЛОКИ
    Интерфейс аппаратн...
    Статистика



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


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