Навигация
Главная
Поиск
Форум
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
Бип из системно... 61865
Организация зап... 59253
Invision Power ... 59109
Приложение «Про... 58010
Модуль Forms 57411
Оператор выбора... 57274
Подключение Mic... 56714
Создание отчето... 56537
ТЕХНОЛОГИИ ДОСТ... 52753
Программируемая... 50436
Пример работы с... 48598
Имитационное мо... 48303
21 ошибка прогр... 43154
Реклама
Сейчас на сайте
Гостей: 13
На сайте нет зарегистрированных пользователей

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

Поиск пути в графе заданном списками инцедентности на Turbo Pascal
Двунаправленный динамический список на Delphi + Блок схемы
Обработка задач на ЭВМ на GPSS + Пояснительная записка

Реклама

Все статьи и книги по Prolog

Статьи по Prolog:

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

    Случайные загрузки
    Библия для програ...
    FilesInfo
    FatScrollbar
    Таймер и секундомер
    Программа "AutoRu...
    Battle.Net - мони...
    PDJ Scrollers
    DCAVI
    Matrix2D
    Заставка. Изображ...
    API (Применение A...
    RbControls
    Развивающийся фла...
    Применение фильтр...
    Нестандартные при...
    45 уроков по дельфи
    Socoban
    Основы программир...
    Пример работы с ф...
    Анекдоты с ostrie.ru

    Топ загрузок
    Приложение Клие... 100319
    Delphi 7 Enterp... 79065
    Converter AMR<-... 20023
    Borland C++Buil... 10770
    GPSS World Stud... 9521
    Borland Delphi ... 7765
    Turbo Pascal fo... 6899
    Visual Studio 2... 4915
    Калькулятор [Ис... 4078
    FreeSMS v1.3.1 3486
    Случайные статьи
    Предсказуемость в ...
    Заливка надписи
    Принцип подстановки
    Казино 777 vulkan ...
    Новый корпус для д...
    Будьте на виду сле...
    Проиложение А. Эво...
    Элементы управлени...
    client.cpp
    Классификация по п...
    Разновидности прот...
    Раздел описания пр...
    Отладка и программ...
    Взаимодействие с о...
    Error in Initial c...
    Пример шифрования ...
    Проверка проекта
    Ориентация и разме...
    Почему в последнее...
    Архитектура Ethern...
    Детали реализации ...
    В какие игры играт...
    Язык С: алгоритмы ...
    Windows XP Profess...
    Современно – иннов...
    Статистика



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


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