Скачать turbo prolog для windows 10 x64 - Доктор Windows

Год/Дата Выпуска: 1988

Версия программы: 2.0

Язык интерфейса: Английский

Лицензионные условия: Не требуется

Размер .torrent: 769.3 KB

Пролог (Prolog) — это язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логического вывода и принятия решений.

Дополнительная информация:

Факты в языке Пролог описываются логическими предикатами с конкретными значениями. Правила в Прологе записываются в форме правил логического вывода с логическими заключениями и списком логических условий.

Пролог применяется для разработки систем искусственного интелекта.

Источник

implement main
    open core, console
 
/* Программа: Служащие */
/* Назначение: Демонстрация использования селектирующих правил на основе ОПН-метода (откат после неудачи)*/
 
domains
  name = symbol.
  sex = symbol.
  department = symbol.
  pay_rate = real.
 
class predicates
  employee : (name,sex,department,pay_rate) nondeterm anyflow.
  show_part_time : ().
  show_male_part_time : ().
 
clauses
  employee("John Walker ","M","ACCT",3.50).
  employee("Tom Sellack ","M","OPER",4.50).
  employee("Betty Lue ","F","DATA",5.00).
  employee("Jack Hunter ","M","ADVE",4.50).
  employee("Sam Ray ","M","DATA",6.00).
  employee("Sheila Burton ","F","ADVE",5.00).
  employee("Kelly Smith ","F","ACCT",5.00).
  employee("Diana Prince ","F","DATA",5.00).
 
 
  /* Правило для генерации списка служащих любого пола */
  show_part_time() :-
    employee(Name, _, Dept, Pay_rate),
    write(Name, Dept, "$", Pay_rate),
    nl,
    fail.
  show_part_time().
 
  /* Правило для генерации списка служащих мужского пола */
  show_male_part_time() :-
    employee(Name, "M", Dept, Pay_rate),
    write(Name, Dept, "$", Pay_rate),
    nl,
    fail.
  show_male_part_time().
 
run() :-
    write("Служащие с почасовой оплатой"),
    nl, nl,
    show_part_time,
 
    write("Служащие мужского пола с почасовой оплатой"),
    nl, nl,
    show_male_part_time,
    _ = readLine(),
    !.
 
end implement main
 
goal
    console::runUtf8(main::run).

Источник

Visual Prolog — язык программирования и одноименная среда разработки программного обеспечения под платформы Windows x86 и x64. Это условно-бесплатная программа. Существующая бесплатная версия имеет функциональные ограничения, и не предназначена для коммерческого использования. Подходит для запуска на компьютерах под управлением Windows XP, 7, 8/8.1 и 10 (32 и 64 бит). Интерфейс не переведен на русский язык.

Visual Prolog является мультипарадигмальным языком программирования, основанном на логическом языке «Prolog». Основная цель Visual Prolog — облегчить разработку сложных систем, основанных на знаниях, систем управления базами данных и поддержки принятия решений, программ-планировщиков с многочисленными связанными между собой элементами и подобного ПО.

По словам разработчиков, Visual Prolog — мощный типобезопасный язык программирования высокого уровня, сочетающий в себе лучшие черты логической, функциональной и объектно-ориентированной парадигм программирования последовательным и элегантным образом. Разработка ПО в среде Visual Prolog освобождает программиста от выполнения многих тривиальных операций вроде создания диалоговых окон для взаимодействия конечных пользователей с создаваемой программой (для этой и ряда других задач в Visual Prolog предусмотрены специальные визуальные модули).

Visual Prolog поддерживает передовые клиент-серверные и трехуровневые решения, предоставляет в расположение программиста разнообразные инструменты для быстрого проектирования пользовательских интерфейсов.

Возможности Visual Prolog как языка программирования

Основные характеристики и понятия языка программирования Visual Prolog:

Язык создан на основе логического программирования с дизъюнктами Хорна.
Полностью объектно-ориентированный язык.
Строго типизированный язык.
Использование алгебраических типов данных.
Сопоставление с образцом и унификация.
Контролируемый недетерминизм.
Полностью интегрированные базы данных фактов.
Поддержка параметрических полиморфизмов.
Автоматическое управление памятью.
Поддержка прямой связи с C/C ++.
Поддержка прямых вызовов функций Win32 API.

Система объектов построена так, чтобы между поставщиком и пользователем была слабая связь. Доступ к объектам возможен только через интерфейсы, а они, в свою очередь, слабо связаны с имплементациями. Любой класс может реализовать любой интерфейс, как с наследованием имплементаций от других классов, так и без наследования.

Благодаря комбинации строгой проверки типов, арифметики без указателей и автоматического управления памятью были практически полностью устранены нарушения доступа. Visual Prolog давно известен тем, что не вызывает нарушений доступа.

Алгебраические типы данных, базы данных фактов и сопоставление с образцом в сочетании с недетерминированным поиском делают Visual Prolog очень подходящим для работы со сложными структурированными знаниями.

Все данные Visual Prolog, за исключением значений предикатов и объектов, имеют удобочитаемое текстовое представление, которое можно записывать в программы и считывать их обратно.

Интегрированная среда разработки Visual Prolog

Интегрированная среда разработки (IDE) Visual Prolog разработана с целью упрощения, увеличения удобства и скорости разработки, тестирования и изменения приложений, написанных на языке Visual Prolog. Вот некоторые особенности среды разработки, которые окажутся полезными при работе с крупными проектами:

Древовидное представление модулей, включаемых файлов и ресурсов в окне «Проект» помогает сгруппировать элементы проекта в пакеты и, таким образом, дает дополнительный уровень абстракции.
Удобный в использовании текстовый редактор кода, предоставляющий возможность просмотра деклараций и имплементаций.
Встроенный редактор диалоговых окон предоставляет стандартные элементы управления для быстрой разработки диалогов.
Редактор меню позволяет создавать как раскрывающиеся, так и всплывающие меню.
Редактор панелей инструментов позволяет создавать различные виды панелей инструментов.
Графический редактор — удобный инструмент для создания, просмотра и редактирования значков, курсоров и небольших растровых изображений.
Средства просмотра предоставляет возможность поиска конкретных объектов, а частности — определений и объявлений.

Особенности компилятора Visual Prolog

Компилятор Visual Prolog описывается разработчиками, как один из самых мощных и эффективных компиляторов, который обладает следующими особенностями:

Создание автономных исполняемых файлов или DLL-библиотек на основе предварительно созданных объектных файлов.
Разрешает использование перекрестных ссылок между объявлениями.
Выполнение тщательной проверки типов.
Проверка инициализации фактов в конструкторах.
Разрешает использование предикатов и другие особенности.

Особенности отладчика (дебаггера) Visual Prolog

Среда разработки Visual Prolog содержит встроенный графический отладчик, который способен:

Отображать обычные представления отладчика: память, стек, переменные.
Отображать факты классов и объектов с присвоенными им значениями.
Пошаговая отладка программ при использовании методов типа «Step into» (Шаг в…), «Step Over» (перешагнуть) и т.п.
Наличие специальных пошаговых методов отладки, включая «Step Out» (Выйти) и «Run To Prolog Code» (Перейти к коду пролога);

Визуализация неудач компиляции и др.

Источник

Программа Visual Prolog была создана датской фирмой Prolog Development Center. Ранее она называлась PDC Prolog и Turbo Prolog (Borland). Visual Prolog – это язык программирования, который был предназначен для создания экспертных систем. Для этого он использует методы и средства искусственного интеллекта. На сегодняшний день этот язык крайне важен, потому что обеспечивает «дружественность» программы, создаваемой кодером.

Visual Prolog помогает автоматизировать построение сложных процедур, тем самым освобождая программиста от выполнения большого количества тривиальных операций. Выполнять все построения интерфейса (то есть всех окон, меню, стилей, диалогов) в данной графической среде получается гораздо быстрее. Для обеспечения работоспособности построенных элементов могут работать разнообразные кодовые эксперты. Они генерируют базовые коды на языке Prolog. Язык Prolog очень мощный. Когда его совмещают с различными интуитивными системами (система поддержки принятия решений, развитые системы управления для баз данных, программы планирования и так далее) на выходе разработчики получают хороший и понятный пользовательский интерфейс.

Источник