Всё, что связано с Visual Prolog 7.5

.
.


Данная тема предназначена для обсуждения, изучения и накопления материалов по данной версии языка и IDE данной версии.


Официальный сайт: http://www.visual-prolog.com/

Существует два варианта интегрированной среды разработки IDE (Integrated Development Environment), бесплатная Visual Prolog 7.5 Personal Edition для личного, не коммерческого использования, которую можно скачать с официального сайта в разделе Visual Prolog Downloads, но она урезана по функционалу. И коммерческая Visual Prolog 7.5 Commercial Edition которая стоит 300 евро раздел shop

Visual Prolog 7.5 Personal Edition Build 7502 (последняя версия на 06.12.2016г.) с сайта, первая ссылка на файл как он скачивается с сайта, вторая на него же, но в rar архиве, кому как удобно, на всякий случай, если с официального сайта не качается или они там будут со временем удалены:
Скачать vip7502pe.msi
Скачать vip7502pe.rar

После установки и первого запуска, окно IDE Visual Prolog 7.5 Build 7502 выглядит следующим образом:


Так же для освоения требуется книга, как всегда и естественно на русском языке. И такие книги есть, и именно по этой версии, и именно этого года, и именно на русском языке, что естественно облегчает задачу, вот одна их них:

Современное логическое программирование на языке Visual Prolog 7.5
В. Н. Марков (2016г.)
Её можно приобрести, например на www.ozon.ru



От издателя

____В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представления и обработки графов, деревьев и массивов, инструменты профессионального программирования. Приводятся примеры разработки символьных преобразователей, калькуляторов, интерпретаторов языков программирования, игровых моделей и т. п. Книга содержит практикум по программированию и описание основных классов Visual Prolog.
____Учебник предназначен для изучения дисциплин "Логическое программирование" и "Функциональное и логическое программирование".


Ну или скачать PDF файл с книгой за 2015г.: Скачать 5,1Мб
Книгу сопровождает электронный архив, содержащий шестую её часть в составе глав 40, 41 и 42 и приложения к ним (папка Часть VI), а также ряд готовых проектов (папки Projects и GUI-Projects) и дистрибутив Visual Prolog 7.5 PE. Его можно скачать с FTP или тут: Скачать


О языке

____Visual Prolog 7.5 — строго типизированный объектно-ориентированный язык, основанный на парадигме логического программирования. Visual Prolog может быть использован как для преподавания логического программирования в вузах, так и в качестве инструмента для создания крупных 32/64-разрядных коммерческих приложений под платформу Microsoft Windows. Его компилятор написан на нем самом, путем последовательной «раскрутки». И это обычное дело для многих языков программирования. Однако справедливости ради надо заметить, что сканер и парсер сделаны на C++, потому что фирма PDC получает парсер с помощью генератора YACC (Yet Another Compiler Compiler, еще один компилятор компиляторов), все остальное сделано собственными средствами Visual Prolog.
____Visual Prolog отличается от других языков уникальным набором составляющих:

• предложения Хорна как основа логического программирования;
  
• полная поддержка ООП;
  
• строгая статическая типизация;
  
• алгебраические типы данных;
  
• встроенный механизм сопоставления с образцом и унификация;
  
• управляемый недетерминизм на основе поиска с откатом;
  
• интегрированная база фактов;
  
• предикаты и функции высших порядков и анонимные предикаты и функции;
  
• поддержка императивных конструкций и разрушающего присваивания;
  
• обработка исключительных ситуаций;
  
• поддержка обобщенного программирования;
  
• поддержка многопоточности и синхронизации потоков;
  
• поддержка параметрического полиморфизма;
  
• автоматическое управление памятью (garbage collector);
  
• поддержка линкования с кодом C/C++;
  
• поддержка прямых вызовов функций API.
  

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


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

____Лексика представляет собой описание неделимых сущностей языка программирования, из которых, как из кирпичиков, строятся все вычислительные конструкции этого языка. Такие неделимые сущности называются лексемами.



____Алфавит Visual Prolog включает буквы английского и национального (русского)алфавитов, цифры, знаки пунктуации, операторы и ключевые слова.

В языке есть различия между идентификаторами, начинающимися с заглавной и строчной буквы.



____Для указания многострочных комментариев используются открывающие символы /* и закрывающие символы */. Для указания однострочных комментариев служит знак процента %, действие которого распространяется до конца строки.

Пример комментариев:

Код:


/* Многострочные
    комментарии */
% Однострочные комментарии


____Такими символами являются пробелы, табуляции и символы перехода на новую строку. Комментарии и символы разметки во время компиляции не анализируются.



____В качестве лексем языка Visual Prolog выступают ключевые слова, знаки пунктуации, операции, идентификаторы и литералы.



____Ключевые слова разделяются на старшие и младшие. Это деление условное и предназначено только для различения цвета ключевых слов при их отображении в редакторе.

К старшим ключевым словам относятся:
class
domains
inherits
predicates
clauses
end
interface
properties
constants
facts
Monitor
resolve
constructors
goal
namespace
supports
delegate
implement
open

Младшие ключевые слова:
align
digits
Failure
language
quot
and
Div
finally
mod
rem
anyflow
do
foreach
multi
single
as
else
from
nondeterm
then
bitsize
elseif
guard
or
to
catch
erroneous
if
orelse
try
determ
externally
in
procedure

____Все ключевые слова, кроме as и language, зарезервированы, и использовать их в качестве имен, вводимых программистом в исходный текст программы, не допускается. Ключевое слово end всегда комбинируется с другими ключевыми словами:
end class
end implement
end interface
end if
end foreach
end try




____Многосимвольные знаки :- и :: не должны разделяться пробелами.



____Операции определяют вычисления, которые должны быть выполнены над указанными данными. Все операции бинарные, но плюс и минус могут быть и унарными.


____Не допускается разрывать пробелами многосимвольные имена операций:

<> >< <= >= := == div mod quot rem