RUЭВМ
Вы хотите отреагировать на этот пост ? Создайте аккаунт всего в несколько кликов или войдите на форум.
Ноябрь 2024
ПнВтСрЧтПтСбВс
    123
45678910
11121314151617
18192021222324
252627282930 

Календарь Календарь

Последние темы
» Вити больше нет!
автор bug19 Пн Фев 20 2023, 19:54

» Собираем оригинальный Орион 128
автор bug19 Пн Фев 20 2023, 19:47

» Проблема плющеного экрана ОРИОНА
автор kanzler Пн Ноя 28 2022, 12:05

» Орион 128 и его клоны возрождение 2019-2022 год
автор kanzler Пн Ноя 28 2022, 12:03

» Электроника КР-04. Информация, документы, фото.
автор kanzler Пн Ноя 28 2022, 12:02

» Новости форума
автор kanzler Пн Ноя 28 2022, 11:52

» Орион-128 НГМД запуск 2021 года
автор matrixplus Сб Сен 10 2022, 17:36

» ПЗУ F800 для РК86
автор ведущий_специалист Сб Сен 10 2022, 10:37

» Микропроцессорная лаборатория "Микролаб К580ИК80", УМК-80, УМПК-80 и др.
автор Электротехник Вт Июл 26 2022, 19:33

» Орион-128 SD карта в Орионе
автор matrixplus Чт Июн 02 2022, 09:00

» 7 Мая. День Радио!
автор Viktor2312 Чт Май 12 2022, 10:58

» Серия: Массовая радио библиотека. МРБ
автор Viktor2312 Ср Май 11 2022, 12:17

» Полезные книги
автор Viktor2312 Пн Май 09 2022, 15:07

» Орион 128 Стандарты портов и системной шины Х2
автор matrixplus Вс Май 08 2022, 23:08

» Орион-128 и Орион ПРО еще раз про блоки питания
автор matrixplus Вс Май 08 2022, 19:09

» Орион-128 Программаторы
автор matrixplus Вс Май 08 2022, 19:02

» Орион ПРО история сборки 2021 до 2022
автор matrixplus Вс Май 08 2022, 18:47

» Анонсы монет (New coin).
автор Viktor2312 Сб Май 07 2022, 23:11

» Хочу свой усилок для квартиры собрать не спеша
автор Viktor2312 Сб Май 07 2022, 19:33

» Амфитон 25у-002С
автор Viktor2312 Сб Май 07 2022, 09:38

» Майнер: T-Rex
автор Viktor2312 Вс Май 01 2022, 09:12

» GoWin. Изучение документации. SUG100-2.6E_Gowin Software User Guide. Среда разработки EDA.
автор Viktor2312 Пн Апр 25 2022, 01:01

» GoWin. Изучение документации. UG286-1.9.1E Gowin Clock User Guide.
автор Viktor2312 Сб Апр 23 2022, 18:22

» GoWin. Documentation Database. Device. GW2A.
автор Viktor2312 Ср Апр 20 2022, 14:08

» GOWIN AEC IP
автор Viktor2312 Ср Апр 20 2022, 12:08

Самые активные пользователи за месяц
Нет пользователей

Поиск
 
 

Результаты :
 


Rechercher Расширенный поиск


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

Перейти вниз

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

Сообщение  Viktor2312 Вт Дек 06 2016, 23:39

1

.
.

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 0_1ae130_12ff639a_L

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

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

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

От издателя

____В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного программирования, органически вошедшие в 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 очень хорошим средством для представления и обработки структурированных данных и знаний.


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


Последний раз редактировалось: Viktor2312 (Сб Дек 10 2016, 03:39), всего редактировалось 2 раз(а)

Viktor2312
RIP

Сообщения : 15492
Дата регистрации : 2012-08-10
Возраст : 45
Откуда : Пятигорск

Вернуться к началу Перейти вниз

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

Сообщение  Viktor2312 Ср Дек 07 2016, 16:00

2
Лексика языка

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


Алфавит

____Алфавит 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
< > <> >< <= >= := ==

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

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

Viktor2312
RIP

Сообщения : 15492
Дата регистрации : 2012-08-10
Возраст : 45
Откуда : Пятигорск

Вернуться к началу Перейти вниз

Вернуться к началу

- Похожие темы

 
Права доступа к этому форуму:
Вы не можете отвечать на сообщения