🗊Презентация Основы искусственного интеллекта. Языки логического программирования

Основы искусственного интеллекта

Начало истории

Начало истории

Языки логического программирования

История возникновения и развития языка Пролог

История возникновения и развития языка Пролог

История возникновения и развития языка Пролог

История возникновения и развития языка Пролог

Реализации языка ПРОЛОГ

Реализации языка ПРОЛОГ Это мощная система, включающая практически уникальную, среди реализаций языка ПРОЛОГ, графическую среду разработки. Visual Prolog - это развитие системы Turbo Prolog и наследует ее основные принципы, является достаточно хорошо документированной. Уникальная особенность системы в том, что система постоянно развивается и на ее базе разрабатываются и успешно работают множество коммерческих систем. Достоинства: качественная среда визуальной разработки; объектно-ориентированный язык; строгая типизация данных; автоматическое управление памятью; поддержка C / C++; прямой вызов функций Win32 API. Prolog Development Center Операционная система: Windows Домашняя страница: http://www.visual-prolog.com

Реализации языка ПРОЛОГ Система Ciao Prolog является полной средой программирования с набором уникальных особенностей для разработки ПРОЛОГ программ. В основу данной реализации легла разработка диалекта ISO Prolog. Ciao Prolog является реализацией с открытым кодом (распространяется под лицензией GNU GPL). Операционная система: Windows, Linux Домашняя страница: http://www.clip.dia.fi.upm.es/Software/Ciao/

Реализации языка ПРОЛОГ SWI-Prolog это открытая реализация языка программирования ПРОЛОГ. Данная реализация достаточно часто используется для обучения. В пакет включен большой набор функций и библиотек. Особенности языка: программирование с ограничениями; многопоточность; возможность модульного тестирования; хороший графический интерфейс; IDE отладчик; интерфейсы для Java, ODBC и др.; качественная документация. Операционная система: Unix, Windows, Macintosh Домашняя страница: http://www.swi-prolog.org/

Реализации языка ПРОЛОГ SICStus Prolog — это современная система разработки программ. В основе языка лежит стандарт ISO Prolog. SICStus Prolog достаточно эффективен и устойчив для большинства приложений. Особенности: высокая эффективность; полная поддержка UNICODE; двухсторонний интерфейс к приложениям C, C++, .NET и Java; эффективный отладчик и обработчик событий; полная поддержка стандарта ISO/IEC 13211-1. Операционная система: Unix, Windows, Macintosh, Solaris Домашняя страница: http://www.sics.se/isl/sicstuswww/site/

Реализации языка ПРОЛОГ Strawberry Prolog представляет собой очень простую в использовании реализацию языка программирования ПРОЛОГ. Его синтаксис очень близок к стандарту ISO-Prolog, но в нем также присутствуют и некоторые расширения. Основная идея Strawberry Prolog - простота использования и поэтому данная реализация достаточно часто используется в университетах для изучения языка. Операционная система: Unix, Windows, FreeBSD, Solaris Домашняя страница http://www.dobrev.com

Реализации языка ПРОЛОГ Amzi Prolog - достаточно мощная реализация языка ПРОЛОГ, постоянно расширяемая и поддерживаемая. Основные функции: интеграция с другими языками; детальная документация. Операционная система: Unix, Windows, FreeBSD, Solaris Домашняя страница: http://www.amzi.com

История возникновения и развития языка Пролог

Применения Пролог