Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Статьи по языку Prolog + исходники 
:(
    Опции темы
hkdkest
  Дата 11.10.2009, 21:56 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



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

• Введение в Турбо Пролог - Prolog
• Предложения, факты и правила в Турбо Прологе - Prolog
• Структура программы в Турбо Прологе - Prolog
• Трансляция списков в Турбо Прологе - Prolog
• Файлы в Турбо Прологе и их обработка - Prolog
• Декларативная и процедурная семантика  языка Пролог - Prolog
• Влияние порядка предложений  и предикатов в них на достижение цели в Турбо Прологе - Prolog
• Особенности применения предикатов  отсечения и отрицания в Турбо Прологе - Prolog
• Решение логических задач в Турбо Прологе. Задача о волке, козе и капусте - Prolog
• Решение логических задач в Турбо Прологе. Задача об обезьяне. - Prolog
• Решение логических задач в Турбо Прологе. Задача о ханойсной башне. - Prolog
• Решение логических задач в Турбо Прологе. Задача о расследовании преступления. - Prolog
• Базы данных и базы знаний в Турбо Прологе - Prolog
• Интерфейс на естественном языке в Турбо Прологе - Prolog
• Взаимодействие Турбо Пролога с файлами  DBF-формата - Prolog
• Использование метода анализа ключевых слов при  построении интерфейса с базой знаний в Турбо Прологе - Prolog
• Программа лексического анализа предложений в Турбо Прологе - Prolog
• Контекстно-свободный анализ предложений - Prolog
• Структура экспертных систем (Турбо Пролог) - Prolog
• Классификация экспертных систем (Турбо Пролог) - Prolog
• Экспертные системы, базирующиеся на правилах (Турбо Пролог) - Prolog
• Экспертные системы, базирующиеся на логике (Турбо Пролог) - Prolog
• Рекомендации по разработке экспертных систем (Турбо Пролог) - Prolog
• ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система, базирующаяся на правилах - Prolog
• ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система,  базирующаяся на логике - Prolog
• ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система медицинской  диагностики - Prolog
• Задача о шахматах. Расстановка фигур с максимальной угрозой [Prolog] - Prolog
• Найти определитель матрицы. Метод Гаусса [Prolog] - Prolog
• Алгоритм, расчитывающий выигрышные позиции в игре в 20 [SWI Prolog] - Prolog
• Трансляция арифметических выражений над натуральными числами из канонической (в виде структур) формы в постфиксную форму - Prolog
• Задача о том кто какую читает книгу - Prolog
• Разделение списка на 2 относительно первого элемента ( по принципу "больше-меньше") - Prolog
• Решение задачи манипулирования кубиками методом поиска в глубину - Prolog
• Задача. Матрица - Prolog
• Задача о коммивояжере методом поиска в глубину - Prolog
• Программа печатает перечень животных, хранящийся в виде утверждений - Prolog
• Программа перечисляет  виды  налогов, взимаемых с предприятий с учетом их  профиля - Prolog
• Программа выводит на экран первые 5 натуральных чисел - Prolog
• Программа  содержит перечень 2-х технических и 3-х гуманитарных дисциплин и  правило  составления возможных  вариантов  пар  дисциплин - Prolog
• Программа  содержит  сведения о  родственных связях - Prolog
• Программа содержит несколько измененный фрагмент игрушечной экспертной системы - Prolog
• Работа в среде Турбо Пролог - Prolog




PM MAIL WWW   Вверх
hkdkest
  Дата 23.10.2009, 00:37 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



Пролог применяется в тех случаях, когда необходимо использовать ЭВМ для решения задачи, которая может быть выражена в терминах объектов и отношений между ними. Например, когда мы говорим: «Джон имеет книгу», мы объявляем, что между одним объектом «Джон» и другим объектом «книга» имеет место отношение обладания. Более того, это отношение имеет определенный порядок: Джон имеет книгу, но книга не имеет Джона! Когда мы задаем вопрос: «Имеет ли Джон книгу?», то нас интересует правильность именно отношения.
При констатации некоторых отношений не всегда упоминаются все объекты, включаемые в них. Например, когда мы говорим: «Драгоценные камни являются ценными», мы имеем в виду, что существует отношение, называемое «являться ценным», которое включает драгоценные камни. Для нас не имеет значения, кто считает, что драгоценные камни являются ценными, и почему он так считает. Это все зависит от того, что вы хотите сказать. При использовании Пролога, когда программируются отношения, подобные приведенным, уровень требуемой детализации также зависит от того, что вы хотите заставить делать ЭВМ . 
Существует еще один вопрос идейного плана, который следует упомянуть , прежде чем приступать к программированию. Мы все знакомы с использованием правил для описания отношений между объектами. Например, правило «Два человека являются сестрами, если они оба женского пола и имеют одних и тех же родителей» объясняет нам, что значит быть сестрами. Оно также указывает, как определить, являются ли два человека сестрами: необходимо просто проверить, относятся ли они оба к женскому полу и имеют ли одних и тех же родителей. Важно отметить, что хотя правила обычно бывают упрощенными, тем не менее они приемлемы в качестве определений. В конце концов, не следует ожидать, что определение говорит нам все об определяемом объекте. Например, большинство людей согласится с тем, что в реальной жизни «быть сестрами» значит больше, чем это следует из приведенного правила. Однако, решая конкретную задачу, необходимо сосредоточить внимание именно на таких правилах, которые помогут ее решить. Таким образом, следует обратиться к схематичному и упрощенному определению, если его достаточно для достижения поставленной цели.
Программирование на языке Пролог состоит из следующих этапов:
• объявления некоторых фактов об объектах и отношениях между ними,
• определения некоторых правил об объектах и отношениях между ними и
• формулировки вопросов об объектах и отношениях между ними.
Например, предположим, что мы записали на Прологе наше правило о сестрах. Мы могли бы сделать запрос о том, являются ли Мэри и Джейн сестрами. Пролог просмотрел бы все, что ему известно о Мэри и Джейн, и выдал бы ответ да или нет в зависимости от того, что ему известно. Таким образом, можно рассматривать Пролог как некоторое хранилище фактов и правил, используемых для поиска ответов на вопросы. Программирование на Прологе заключается в том, чтобы описать все эти факты и правила. Пролог-система позволяет использовать ЭВМ как хранилище фактов и правил и предоставляет механизм, позволяющий делать выводы, переходя от одних фактов к другим.
Пролог является диалоговым языком. Это следует понимать так, что пользователь и ЭВМ осуществляют некоторое подобие диалога. Предположим, что вам предложили поработать за терминалом ЭВМ и воспользоваться Прологом. Ваш терминал состоит из клавиатуры и дисплея. Вы используете клавиатуру для ввода информации в ЭВМ, а ЭВМ использует дисплей (может быть, экран либо бумажную ленту) для вывода полученных результатов. Пролог будет ждать, пока вы введете факты и правила, относящиеся к задаче, которую вы хотите решить. Затем, если вы сможете задать вопросы и если вы делаете это правильно, Пролог будет искать соответствующие ответы и выводить их на дисплей.
Теперь мы последовательно введем каждое из основных понятий языка Пролог. Не беспокойтесь о том, что вы не получите сразу полного представления о всех особенностях языка Пролог. В последующих главах будет дано их исчерпывающее описание и будет приведено и разобрано много примеров решения задач на языке Пролог.
• Содержание - Программирование на языке Пролог (Prolog)
• Аннотация - Программирование на языке Пролог (Prolog)
• ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА - Программирование на языке Пролог (Prolog)
• ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ - Программирование на языке Пролог (Prolog)
• ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ - Программирование на языке Пролог (Prolog)
• ГЛАВА 1 ВВЕДЕНИЕ - Программирование на языке Пролог (Prolog)
• 1.1. Факты  - Программирование на языке Пролог (Prolog)
•  1.2. Вопросы - Программирование на языке Пролог (Prolog)
•  1.3. Переменные - Программирование на языке Пролог (Prolog)
•   1.4. Конъюнкции - Программирование на языке Пролог (Prolog)
• 1.5. Правила  - Программирование на языке Пролог (Prolog)
•   1.6. Заключение и упражнения  - Программирование на языке Пролог (Prolog)
•  ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ - Программирование на языке Пролог (Prolog)
•  2.1. Синтаксические правила - Программирование на языке Пролог (Prolog)
•   2.1.1. Константы - Программирование на языке Пролог (Prolog)
•   2.1.2. Переменные  - Программирование на языке Пролог (Prolog)
•   2.1.3. Структуры  - Программирование на языке Пролог (Prolog)
•  2.2.  Литеры - Программирование на языке Пролог (Prolog)
•   2.3. Операторы  - Программирование на языке Пролог (Prolog)
•  2.4. Равенство и установление соответствия - Программирование на языке Пролог (Prolog)
•   2.5. Арифметика  - Программирование на языке Пролог (Prolog)
•  2.6. Общая схема согласования целевых утверждений - Программирование на языке Пролог (Prolog)
•  2.6.1. Успешное доказательство конъюнкции целевых утверждений - Программирование на языке Пролог (Prolog)
•   2.6.2. Рассмотрение целевых утверждений при использовании механизма возврата - Программирование на языке Пролог (Prolog)
•   2.6.3. Установление соответствия - Программирование на языке Пролог (Prolog)
•  ГЛАВА 3.  ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ - Программирование на языке Пролог (Prolog)
•  3.1. Структуры и деревья - Программирование на языке Пролог (Prolog)
•  3.2. Списки - Программирование на языке Пролог (Prolog)
•  3.3. Принадлежность элементов списку - Программирование на языке Пролог (Prolog)
•  3.4. Пример: преобразование предложений - Программирование на языке Пролог (Prolog)
•   3.5. Пример: упорядочение по алфавиту  - Программирование на языке Пролог (Prolog)
•  3.6. Использование предиката присоединить и спецификация деталей - Программирование на языке Пролог (Prolog)
•  ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ - Программирование на языке Пролог (Prolog)
•   4.1. Порождение множественных решений  - Программирование на языке Пролог (Prolog)
•  4.2. Отсечение - Программирование на языке Пролог (Prolog)
•   4.3. Общие случаи использования отсечения  - Программирование на языке Пролог (Prolog)
•  4.3.1. Подтверждение правильности выбора правила - Программирование на языке Пролог (Prolog)
•   4.3.2. Комбинация «отсечение-fail»  - Программирование на языке Пролог (Prolog)
•  4.4. Проблемы, связанные с использованием отсечения - Программирование на языке Пролог (Prolog)
•  ГЛАВА 5 ВВОД И ВЫВОД - Программирование на языке Пролог (Prolog)
•  5.1.1. Вывод термов - Программирование на языке Пролог (Prolog)
•  5.1.2. Ввод термов - Программирование на языке Пролог (Prolog)
•  5.2. Ввод и вывод литер - Программирование на языке Пролог (Prolog)
•  5.2.1. Вывод литер - Программирование на языке Пролог (Prolog)
•  5.2.2. Ввод литер - Программирование на языке Пролог (Prolog)
•  5.3. Ввод предложений - Программирование на языке Пролог (Prolog)
•  5.4. Чтение файлов и запись в файлы - Программирование на языке Пролог (Prolog)
•  5.4.1. Запись в файлы - Программирование на языке Пролог (Prolog)
•  5.4.2. Чтение файлов - Программирование на языке Пролог (Prolog)
•  5.4.3. Ввод программ - Программирование на языке Пролог (Prolog)
•  5.5. Объявление операторов - Программирование на языке Пролог (Prolog)
•  ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ - Программирование на языке Пролог (Prolog)
•   6.1. Ввод новых утверждений  - Программирование на языке Пролог (Prolog)
• consult(X) - Программирование на языке Пролог (Prolog)
• reconsult(X) - Программирование на языке Пролог (Prolog)
• Списковая форма записи - Программирование на языке Пролог (Prolog)
•  6.2. Выполнение и невыполнение целевого утверждения - Программирование на языке Пролог (Prolog)
• true - Программирование на языке Пролог (Prolog)
• fail - Программирование на языке Пролог (Prolog)
•  6.3. Классификация термов - Программирование на языке Пролог (Prolog)
• var(X) - Программирование на языке Пролог (Prolog)
• nonvar(X) - Программирование на языке Пролог (Prolog)
• atom(X) - Программирование на языке Пролог (Prolog)
• integer(X) - Программирование на языке Пролог (Prolog)
• atomic(X) - Программирование на языке Пролог (Prolog)
•  6.4. Работа с утверждениями как с термами - Программирование на языке Пролог (Prolog)
• listing (A) - Программирование на языке Пролог (Prolog)
• clause(X, Y) - Программирование на языке Пролог (Prolog)
• asserta(X), assertz(X) - Программирование на языке Пролог (Prolog)
• retract(X) - Программирование на языке Пролог (Prolog)
•  6.5. Создание структур и работа с компонентами структур - Программирование на языке Пролог (Prolog)
• functor(T,F,N) - Программирование на языке Пролог (Prolog)
• arg(N,T,A ) - Программирование на языке Пролог (Prolog)
• X=..L - Программирование на языке Пролог (Prolog)
• name(А,L) - Программирование на языке Пролог (Prolog)
•   6.6. Воздействие на процесс возврата  - Программирование на языке Пролог (Prolog)
• Отсечение - Программирование на языке Пролог (Prolog)
• repeat - Программирование на языке Пролог (Prolog)
•  6.7. Формирование составных целевых утверждений - Программирование на языке Пролог (Prolog)
• Конъюнкция целей - Программирование на языке Пролог (Prolog)
• Дизъюнкция целей - Программирование на языке Пролог (Prolog)
• call(X) - Программирование на языке Пролог (Prolog)
• not(X) - Программирование на языке Пролог (Prolog)
•  6.8. Равенство - Программирование на языке Пролог (Prolog)
• X=Y - Программирование на языке Пролог (Prolog)
• X\=Y - Программирование на языке Пролог (Prolog)
• X==Y - Программирование на языке Пролог (Prolog)
• Х \== Y - Программирование на языке Пролог (Prolog)
•  6.9. Ввод и вывод данных - Программирование на языке Пролог (Prolog)
• get0(X) - Программирование на языке Пролог (Prolog)
• get(X) - Программирование на языке Пролог (Prolog)
• skip(X) - Программирование на языке Пролог (Prolog)
• read(X) - Программирование на языке Пролог (Prolog)
• put(X) - Программирование на языке Пролог (Prolog)
• nl - Программирование на языке Пролог (Prolog)
• tab(X) - Программирование на языке Пролог (Prolog)
• write(X) - Программирование на языке Пролог (Prolog)
• display(X) - Программирование на языке Пролог (Prolog)
• op(X,Y,Z) - Программирование на языке Пролог (Prolog)
•  6.10. Обработка файлов - Программирование на языке Пролог (Prolog)
• see(X) - Программирование на языке Пролог (Prolog)
• seeing(X) - Программирование на языке Пролог (Prolog)
• seen - Программирование на языке Пролог (Prolog)
• tell(X) - Программирование на языке Пролог (Prolog)
• telling (X)  - Программирование на языке Пролог (Prolog)
• told - Программирование на языке Пролог (Prolog)
•  6.11. Вычисление арифметических выражений - Программирование на языке Пролог (Prolog)
•  6.12. Сравнение чисел - Программирование на языке Пролог (Prolog)
•   6.13. Наблюдение за выполнением программы на Прологе - Программирование на языке Пролог (Prolog)
•  ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ - Программирование на языке Пролог (Prolog)
•   7.1. Словарь в виде упорядоченного дерева  - Программирование на языке Пролог (Prolog)
•   7.2. Поиск в лабиринте  - Программирование на языке Пролог (Prolog)
•  7.3. Ханойские башни - Программирование на языке Пролог (Prolog)
•   7.4. Справочник комплектующих деталей  - Программирование на языке Пролог (Prolog)
•   7.5. Обработка списков  - Программирование на языке Пролог (Prolog)
•    7.6. Представление и обработка множеств - Программирование на языке Пролог (Prolog)
•   7.7. Сортировка  - Программирование на языке Пролог (Prolog)
•   7.8. Использование базы данных: random, генатом, найтивсе  - Программирование на языке Пролог (Prolog)
• Генератор случайных чисел (random) - Программирование на языке Пролог (Prolog)
• Генератор имен (генатом) - Программирование на языке Пролог (Prolog)
• Генератор списков структур (найтивсе) - Программирование на языке Пролог (Prolog)
•   7.9. Поиск по графу  - Программирование на языке Пролог (Prolog)
•   7.10. Просеивай Двойки, Просеивай Тройки  - Программирование на языке Пролог (Prolog)

Добавлено через 35 секунд
•   7.11. Символьное дифференцирование  - Программирование на языке Пролог (Prolog)
•  7.12. Отображение структур и преобразование деревьев - Программирование на языке Пролог (Prolog)
•   7.13. Применение предикатов clause и retract  - Программирование на языке Пролог (Prolog)
•  ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ - Программирование на языке Пролог (Prolog)
•  8.1. Расположение текстов программ - Программирование на языке Пролог (Prolog)
•  8.2. Типичные ошибки - Программирование на языке Пролог (Prolog)
•  8.3.  Модель трассировки  - Программирование на языке Пролог (Prolog)
•  8.4. Трассировка и контрольные точки - Программирование на языке Пролог (Prolog)
• Выдача информации о цели - Программирование на языке Пролог (Prolog)
• Выдача информации о предшественниках - Программирование на языке Пролог (Prolog)
• Изменение уровня трассировки - Программирование на языке Пролог (Prolog)
• Вмешательство в процесс согласования цели - Программирование на языке Пролог (Prolog)
• Другие команды - Программирование на языке Пролог (Prolog)
• Заключение [Трассировка] - Программирование на языке Пролог (Prolog)
•  8.5. Фиксация ошибок - Программирование на языке Пролог (Prolog)
•  9.1. Проблема синтаксического анализа - Программирование на языке Пролог (Prolog)
•  9.2. Описание синтаксического анализа на языке Пролог - Программирование на языке Пролог (Prolog)
•  9.3. Запись грамматических правил в Прологе - Программирование на языке Пролог (Prolog)
•  9.4. Присоединение дополнительных аргументов - Программирование на языке Пролог (Prolog)
•  9.5. Введение дополнительных условий - Программирование на языке Пролог (Prolog)
•  9.6. Заключение - Программирование на языке Пролог (Prolog)
•  ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА - Программирование на языке Пролог (Prolog)
•  10.1. Краткое введение в исчисление предикатов - Программирование на языке Пролог (Prolog)
•  10.2. Приведение формул к стандартной форме - Программирование на языке Пролог (Prolog)
• Этап 1 - исключение импликаций и зквивалентностей - Программирование на языке Пролог (Prolog)
• Этап 2 - перенос отрицания внутрь формулы - Программирование на языке Пролог (Prolog)
• Этап 3 - сколемизация - Программирование на языке Пролог (Prolog)
• Этап 4 - вынесение кванторов общности в начало формулы - Программирование на языке Пролог (Prolog)
• Этап 5 - использование дистрибутивных законов для &и # - Программирование на языке Пролог (Prolog)
• Этап 6 - выделение множества дизъюнктов - Программирование на языке Пролог (Prolog)
•  10.3. Форма записи дизъюнктов - Программирование на языке Пролог (Prolog)
•  10.4. Принцип резолюций и доказательство теорем - Программирование на языке Пролог (Prolog)
•   10.5. Хорновские дизъюнкты  - Программирование на языке Пролог (Prolog)
•  10.6. Пролог - Программирование на языке Пролог (Prolog)
•  10.7. Пролог и логическое программирование - Программирование на языке Пролог (Prolog)
•  ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ - Программирование на языке Пролог (Prolog)
•  11.1. Простые проекты - Программирование на языке Пролог (Prolog)
•  11.2. Более сложные проекты - Программирование на языке Пролог (Prolog)
•    ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ - Программирование на языке Пролог (Prolog)
• Этап 1 - исключение импликаций - Программирование на языке Пролог (Prolog)
• Этап 2 - перенос отрицания внутрь формулы - Программирование на языке Пролог (Prolog)
• Этап 3 - сколемизация - Программирование на языке Пролог (Prolog)
• Этап 4 - вынесение кванторов общности в начало формулы - Программирование на языке Пролог (Prolog)
• Этап 5 - использование дистрибутивных законов для. &и # - Программирование на языке Пролог (Prolog)
• Этап 6 - выделение множества дизъюнктов - Программирование на языке Пролог (Prolog)
• Печать утверждений - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ - Программирование на языке Пролог (Prolog)
• Синтаксис - Программирование на языке Пролог (Prolog)
• Различные ограничения - Программирование на языке Пролог (Prolog)
• Возможности окружения - Программирование на языке Пролог (Prolog)
• Компиляция - Программирование на языке Пролог (Prolog)
• Специальные встроенные предикаты - Программирование на языке Пролог (Prolog)
• Средства отладки - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10 - Программирование на языке Пролог (Prolog)
• Пример сеанса работы - Пролог-10 - Программирование на языке Пролог (Prolog)
• Синтаксис - Пролог-10 - Программирование на языке Пролог (Prolog)
• Различные ограничения - Пролог-10 - Программирование на языке Пролог (Prolog)
• Возможности окружения - Пролог-10 - Программирование на языке Пролог (Prolog)
• Компиляция - Пролог-10 - Программирование на языке Пролог (Prolog)
• Различия во встроенных предикатах - Пролог-10 - Программирование на языке Пролог (Prolog)
• Дополнительные встроенные предикаты - Пролог-10 - Программирование на языке Пролог (Prolog)
• Средства отладки - Пролог-10 - Программирование на языке Пролог (Prolog)
• Литература - Пролог-10 - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ - Программирование на языке Пролог (Prolog)
• Пример сеанса работы - Микро Пролог - Программирование на языке Пролог (Prolog)
• Синтаксис - Микро Пролог - Программирование на языке Пролог (Prolog)
• Различные ограничения - Микро Пролог - Программирование на языке Пролог (Prolog)
• Возможности окружения - Микро Пролог - Программирование на языке Пролог (Prolog)
•   Специальные встроенные предикаты - Микро Пролог - Программирование на языке Пролог (Prolog)
• Средства отладки - Микро Пролог - Программирование на языке Пролог (Prolog)
• Литература - Микро Пролог - Программирование на языке Пролог (Prolog)
•  ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ  [19]  - Программирование на языке Пролог (Prolog)
• Пример сеанса работы -МПролог - Программирование на языке Пролог (Prolog)
• Синтаксис - МПролог - Программирование на языке Пролог (Prolog)
• Модульность - МПролог - Программирование на языке Пролог (Prolog)
• Компоненты системы МПролог - Программирование на языке Пролог (Prolog)
• Различные ограничения - МПролог - Программирование на языке Пролог (Prolog)
• Дополнительные встроенные предикаты - МПролог - Программирование на языке Пролог (Prolog)
• Средства отладки - МПролог - Программирование на языке Пролог (Prolog)
• Литература - МПролог - Программирование на языке Пролог (Prolog)
PM MAIL WWW   Вверх
hkdkest
Дата 9.11.2009, 13:40 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



PM MAIL WWW   Вверх
hkdkest
  Дата 16.11.2009, 22:30 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



Продолжение:
• РЕКУРСИЯ - Prolog
• Программа вычисления значений выражений - Prolog
• УПРАВЛЕНИЕ ВЫПОЛНЕНИЕМ ПРОГРАММЫ С ПОМОЩЬЮ ПРЕДИКАТОВ FAIL И REPEAT - Prolog
• ВВЕДЕНИЕ В РЕКУРСИЮ - Prolog
• КАК ПИСАТЬ РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ - Prolog
• НИСХОДЯЩАЯ РЕКУРСИЯ - Prolog
• ВОСХОДЯЩАЯ РЕКУРСИЯ - Prolog
• ВВЕДЕНИЕ В ОТСЕЧЕНИЕ - Prolog
• ВОЗДЕЙСТВИЕ ОТСЕЧЕНИЯ НА ВЫПОЛНЕНИЕ - Prolog
• ИСПОЛЬЗОВАНИЕ ОТСЕЧЕНИЯ - Prolog
• ЛОВУШКИ ОТСЕЧЕНИЯ - Prolog
• ВВЕДЕНИЕ В СПИСКИ - Prolog
• ГОЛОВА И ХВОСТ СПИСКА - Prolog
• УНИФИКАЦИЯ СПИСКОВ КАК АРГУМЕНТОВ ПРЕДИКАТОВ - Prolog
• ПРИНАДЛЕЖНОСТЬ ЭЛЕМЕНТОВ СПИСКУ - Prolog
• ВВОД, ВЫВОД СПИСКА КАК ТЕРМА - Prolog
• ИСПОЛЬЗОВАНИЕ ПРЕДИКАТА 'ПРИСОЕДИНИТЬ' - Prolog
• ИСПОЛЬЗОВАНИЕ ПРЕДИКАТА 'ПРИСОЕДИНИТЬ' ДЛЯ РАЗДЕЛЕНИЯ СПИСКА - Prolog
• Шашки на Strawberry Prolog - Prolog
• Draughts на Strawberry Prolog - Prolog
• Пятнашки на Strawberry Prolog - Prolog
• Five Balls на Strawberry Prolog - Prolog
• Игра 6 на 7 на Strawberry Prolog - Prolog
• Предикат, вычисляющий сумму цифр натурального числа - Prolog
• Упорядочивание по алфавиту - Prolog
• Ввод и вывод строк - Prolog
• Предикат поиска по маскес помощью которого осуществляется сравнение строки Str со строкой-маской Maska - Prolog
• Предикат вывода расписания на конкрентный день - Prolog
• Предикат поиска строки по подстроке - Prolog
PM MAIL WWW   Вверх
hkdkest
  Дата 18.11.2009, 11:37 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



PM MAIL WWW   Вверх
hkdkest
  Дата 4.12.2009, 13:32 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



PM MAIL WWW   Вверх
hkdkest
  Дата 4.1.2010, 01:46 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



PM MAIL WWW   Вверх
hkdkest
  Дата 11.1.2010, 14:17 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



PM MAIL WWW   Вверх
hkdkest
  Дата 12.1.2010, 17:44 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: 1
Всего: 1



Лекции по системам искусственного интеллекта

user posted image

• Содержание - Системы искусственного интеллекта
• Введение в СИИ. Классы задач - Системы искусственного интеллекта
• Понятие о СИИ - Системы искусственного интеллекта
• Проблема представления знаний - Системы искусственного интеллекта
• О поколениях интеллектуальных систем - Системы искусственного интеллекта
• Методы поиска решений в СИИ - Системы искусственного интеллекта
• Эвристические методы поиска на графах - Системы искусственного интеллекта
• Поиск решения на графах И/ИЛИ - Системы искусственного интеллекта
• Особенности знаний - Системы искусственного интеллекта
• Типовая структура СИИ, основанная на знаниях - Системы искусственного интеллекта
• Логическая модель - Системы искусственного интеллекта
• Метод резолюции в логике предикатов - Системы искусственного интеллекта
• Некоторые встроенные предикаты - Системы искусственного интеллекта
• Операции в Прологе - Системы искусственного интеллекта
• Управление механизмом вывода в Прологе - Системы искусственного интеллекта
• Метод обобщённого правила рекурсии [Пролог] - Системы искусственного интеллекта
• Использование списков в Prolog - Системы искусственного интеллекта
• Динамические БД в Прологе - Системы искусственного интеллекта
• Продукционные системы в Турбо-Прологе - Системы искусственного интеллекта
• Язык представления данных Пилот+ - Системы искусственного интеллекта
• Порядок выполнения Пилот+ программы - Системы искусственного интеллекта
• Основные конструкции языка Пилот+ - Системы искусственного интеллекта
• Операции ввода/вывода в языке Пилот+ - Системы искусственного интеллекта
• Операции управления в языке Пилот+ - Системы искусственного интеллекта
• Операции управления активностью продукций  - Системы искусственного интеллекта
• Фреймова модель представления знаний - Системы искусственного интеллекта
• Некоторые функции на фреймах - Системы искусственного интеллекта
• Семантические сети. Искусственные нейронные сети - Системы искусственного интеллекта
• Основанные принципы функционирования биопрототипов - Системы искусственного интеллекта
• Формальный нейрон (ФН) - Системы искусственного интеллекта
• Возможные структуры ИНС - Системы искусственного интеллекта
• Персептроны - Системы искусственного интеллекта
• Персептрону. Проблема представимости - Системы искусственного интеллекта
• Простейшие алгоритмы обучения персептронов - Системы искусственного интеллекта
• Процедура обратного распространения ошибки - Системы искусственного интеллекта
PM MAIL WWW   Вверх
kestt
  Дата 11.10.2010, 18:00 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 49
Регистрация: 4.10.2010

Репутация: -2
Всего: -2



• Поиск максимального значения функции на турбо прологе - Prolog
• Сортировка числового представления строк - Prolog
• Программа выбирает самое длинное слово из предложения на турбо прологе - Prolog
• Максимальная разница между вводимыми числами [SWI Prolog] - Prolog
• AVL дерево - Prolog
• Вывести все возможные квадраты из множества точек - Prolog
• Разделение списка - Prolog
• Разобрать список на 3 подсписка - Prolog
• Решение головоломки "игра в восемь" - Prolog
• Введенную с клавиатуры строку вывести на экран дисплея наоборот - Prolog
• Определить взаимное расположение точек - Prolog
• Определить номер последнего отрицательного элемента списка - Prolog
• Определить номера элементов, имеющих наименьшее значение - Prolog
• Решение задачи методом Байсера для определения вероятности наступления события в условиях,когда на основе наблюдений изветна лишь некоторая частичная информация о возможных событиях - Prolog
• Вычисление чисел Фибоначчи - Prolog
• Дорожно-транспортное происшествие - Prolog
• Hello World на turbo prolog - Prolog
• Циклический сдвиг списка на один элемент вправо в списке целых чисел - Prolog
• Поиск максимального значения функции y=tg(x)+1 - Prolog
• Поиск чисел удовлетворяющих условию - Prolog
• Найти список изолированых вершин - Prolog
• Подсписок из списка состоящий из элементов с номерами M и N - Prolog
• Логическая задача о жителях острова - Prolog
• Обход ферзем - Prolog
• Зять и тёща - Prolog
• Декартовое произведение двух списков - Prolog
PM MAIL   Вверх
kestt
  Дата 25.10.2010, 23:41 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 49
Регистрация: 4.10.2010

Репутация: -2
Всего: -2



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

• Содержание - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Введение - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Основные понятия принципов логического программирования - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Терминалогия принципов логического программирования - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Сложные термы, или структуры - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Синтаксис строк - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Утверждения - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Запросы - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Ввод программ - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Унификация - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Арифметические выражения - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Вычисление арифметических выражений - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Сравнение результатов арифметических выражений - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Структуры данных на языке Пролог - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Списки - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Бинарные деревья - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Механизм возврата и процедурная семантика - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Процесс представления знаний - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Семантические сети - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Фреймы - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Механизм наследования в Прологе - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Создание динамических баз данных - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Представление задач в виде И/ИЛИ – графов - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Системы экспертных консультаций - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Этап идентификации  - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Этап концептуализации - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Этап формализации - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Этап выполнения  - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Этап тестирования - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Этап опытной эксплуатации - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Экспертные системы, параллельные и последовательные решения - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Пример ЭС, основанной на правилах логического вывода и действующую в обратном порядке - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Запоминание пути вывода - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Пример задачи на представление знаний - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Заключение - Представление знаний и логическое программирование в системах искусственнного интеллекта
• Литература - Представление знаний и логическое программирование в системах искусственнного интеллекта
PM MAIL   Вверх
kestt
Дата 22.2.2011, 12:49 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 49
Регистрация: 4.10.2010

Репутация: -2
Всего: -2



PM MAIL   Вверх
kestt
  Дата 16.3.2011, 23:09 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 49
Регистрация: 4.10.2010

Репутация: -2
Всего: -2



• Венгерский язык. Морфология [Swi Prolog] - Prolog
• База знаний - столицы [Turbo Prolog] - Prolog
• вычисление значения логического выражения в дизъюктивной нормальной форме [SWI Prolog] - Prolog
• вычисления значения логического выражения в конъюнктивной нормальной форме [Swi Prolog] - Prolog
• Если конкатенация L1 и L2 - есть префикс L3, то ответ - yes, иначе - no [SWI Prolog] - Prolog
• Задача о укладке вещей в рюкзаке - Prolog
• Змейка на Visual Prolog 5.2 - Prolog
• Игра «Выдающийся ум» - Prolog
• Игра «Домино» [Visual prolog] - Prolog
• Игра «Шахматы» [Visual Prolog] - Prolog
• Информационная система аэропорта - Prolog
• информационно – справочная система «Спортивные организации города» [Turbo prolog 2.0] - Prolog
• Игра «Крестики нолики» - Prolog
• лабораторная часть 1 (5 задач) [SWI-Prolog] - Prolog
• Задача об обезьяне и  банане [Swi-Prolog] - Prolog
• База знаний - книги - Prolog
• Экспертная система с предметной областью журналы - Prolog
PM MAIL   Вверх
kestt
  Дата 19.10.2011, 12:37 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 49
Регистрация: 4.10.2010

Репутация: -2
Всего: -2



Внешнее БД Турбо Пролога имеют вид текстовых файлов, содержащих перечень фактов. Большинство современных БД хранятся в одном из стандартных форматов баз данных. Взаимодействие Турбо Пролога с файлами DBF-формата
PM MAIL   Вверх
kestt
Дата 23.8.2012, 12:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 49
Регистрация: 4.10.2010

Репутация: -2
Всего: -2



PM MAIL   Вверх
ДокторТуамОсес
Дата 22.4.2014, 11:41 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: нет
Всего: -12



А сейчас на прологе пишется что-нибудь серьёзное? Что-то такое, чего без пролога на ЯВУ общего назначения (C#, Java и т.п.) невозможно или очень трудно написать.
Я о промышленном коммерческом софте.

А как развивается пролог?

 Какие языки появились как результат развития и эволюции пролога?

Добавлено через 5 минут и 19 секунд
Просто я периодически мониторю программистские вакансии. И в них практически никогда не встречается строка "требуется программист на языке PROLOG" smile 
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
ДокторТуамОсес
Дата 4.10.2014, 09:46 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 242
Регистрация: 8.6.2009

Репутация: нет
Всего: -12



Блин! Видать на прологе сейчас ничего не пишется, раз такая тишина мне в ответ smile 
--------------------
"Извините! А это ничего, что я говорю в тот момент, когда Вы меня перебиваете?"™ 
PM MAIL   Вверх
Google
  Дата 12.11.2019, 14:45 (ссылка)  





  Вверх
Страницы: (2) [Все] 1 2 
Ответ в темуСоздание новой темы Создание опроса
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Компьютерная литература | Следующая тема »


 




[ Время генерации скрипта: 0.1832 ]   [ Использовано запросов: 21 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.