Навигация
Главная
Поиск
Форум
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
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
Имитационное мо... 60789
Реклама
Сейчас на сайте
Гостей: 5
На сайте нет зарегистрированных пользователей

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

Игра Sokoban на Delphi + Блок схемы
Моделирование процесса обработки заданий пакетным режимом работы с квант...
Обратное размещение элементов ЭВС на Delphi + Пояснительная записка

Реклама



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

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

Статьи по Prolog:

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

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

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

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

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

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

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

    Случайные загрузки
    Самоучитель Прогр...
    Dynamic Titles дл...
    PHP: Полезные приемы
    Billenium Effects...
    Запрет гостям ск...
    Delphi 6 программ...
    EditNew
    DateEdit
    CaptionButton
    AddPage [Исходник...
    Progressbar
    Microsoft Press -...
    С/C++ Программиро...
    FreeNet
    Игра Car [Исходни...
    Добавление к ссы...
    ActiveX в Delphi
    Стелтинг Стивен, ...
    Калькулятор [Исхо...
    Task Shedule

    Топ загрузок
    Приложение Клие... 100532
    Delphi 7 Enterp... 92141
    Converter AMR<-... 20103
    GPSS World Stud... 15545
    Borland C++Buil... 13132
    Borland Delphi ... 9197
    Turbo Pascal fo... 7115
    Калькулятор [Ис... 5221
    Visual Studio 2... 5037
    FreeSMS v1.3.1 3561
    Случайные статьи
    Особенности MediaP...
    Различные модифика...
    Недостатки реализа...
    Указатель this
    Раздел операторов
    5.1. Дополнительна...
    а более строгое ра...
    Квартир оценка
    Установка голубого...
    8.2. Типичные ошибки
    Тестирование на De...
    Игры для взрослых
    Протокол динамичес...
    Определение параме...
    Операции с файлами...
    Лабораторное занят...
    Интернет-магазин ...
    Мир
    Урок 4: прерывания
    Листинг 5.3. Функц...
    Форматы архивации ...
    АМ-MSK модулятор
    Карта SIMULATE
    Тестирование
    Сетевые серверы вы...
    Статистика



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


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