Пролог программа что это

Сбор данных с помощью программного обеспечения «ПРОЛОГ»

Непосредственно для снятия показаний с приборов будет использоваться программное обеспечение «ПРОЛОГ».

Программа «ПРОЛОГ» — это программный продукт, предназначенный для хранения данных, полученных непосредственно от приборов учета или перенесенных посредством накопителя АДС90 и их вывода в виде таблиц необходимого формата.

Основные функции программы «ПРОЛОГ»

Программа «ПРОЛОГ» характеризуется следующими основными функциями:

— поддержка приборов СПТ941, СПТ942, СПТ943, СПТ961, СПТ961 (мод 961.1 и 961.2), СПТ961М, СПГ741, СПГ761, СПГ761 (мод 761.1 и 761.2), СПГ762, СПГ762 (мод 762.1 и 762.2), СПГ763, СПГ763 (мод 763.1 и 763.2);

— загрузка данных из накопителя АДС90;

— загрузка данных из приборов учета при непосредственном подключении;

— загрузка данных из приборов учета при соединении по телефонной линии посредством модема в ручном режиме или по расписанию;

Что такое пролог и зачем он нужен?

— загрузка данных из приборов учета при соединении через сеть Интернет;

— загрузка данных из приборов, находящихся в сети;

— ведение архива абонентов, узлов и данных учета;

— получение текущих данных с приборов и вывод их на экран компьютера в режиме реального времени;

— вывод отчетов о потреблении энергоносителей на печать по шаблонам;

— экспорт данных учета.

Установка и настройка

Программное обеспечение «ПРОЛОГ» устанавливается как обычное Windows-приложение. Компоненты программы «ПРОЛОГ» образуют одноименную группу в меню панели задач. Ярлык для запуска программы также создается на рабочем столе.

После установки программы на жестком диске находятся собственно программа «ПРОЛОГ», файлы справки, утилита деинсталляции, набор шаблонов и программа обновления программного обеспечения АДС90.

После запуска программы на экране появляется окно, в котором можно выделить несколько основных областей (рисунок 3).

Рисунок 3 — Программа «ПРОЛОГ»

Структура архива

В качестве основных элементов архива, являющегося хранилищем для всех данных программы, выступают абоненты и узлы учета, которые содержат таблицы данных. На рисунке раскрыта таблица «Месячный архив» узла учета «Пример СПТ942 ТВ1», принадлежащего абоненту «Примеры узлов».

При выделении в панели базы данных пункта «Архив» выводится таблица, с информацией обо всех зарегистрированных узлах.

Абоненты

Доступны три основных действия с абонентами: создание, удаление и изменение свойств. Эти действия выполняются по командам из раздела меню «Узел». Команда «свойства» также доступна из контекстного меню, вызываемого правой клавишей мыши.

По команде «Создать абонента» на экране появляется окно «Учетная запись абонента», куда пользователь вносит информацию об абоненте.

Введение в Prolog. Факты, правила и вычисления

Обязательно для заполнения одно свойство (поле) абонента — его наименование. Остальные поля могут заполняться только при необходимости.

Просмотр или изменение информации об абоненте доступны по команде «Свойства» из контекстного меню.

Команда «Удалить» может быть выполнена только для абонентов, не имеющих узлов учета. Перед выполнением команды программа выдаст дополнительное предупреждение.

Источник: studbooks.net

Prolog

Prolog (от “PROgramming in LOGic”) — декларативный язык программирования общего назначения.

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

Стандарт языка дан в ISO/IEC 13211-1 (1995 год).

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

Prolog был создан под влиянием более раннего языка Planner и позаимствовал из него следующие идеи:

• обратный логический вывод (вызов процедур по шаблону, исходя из целей);
• построение структура управляющей логики в виде вычислений с откатами;
• принцип “отрицание как неудача”;
• использование разных имен для разных сущностей и т.д.

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

Prolog использует один тип данных, терм, который бывает нескольких типов:

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

Программы, написанные на чистом Prolog, описывают отношения между обрабатываемыми сущностями при помощи клауз Хорна. Клауза — это формула вида Голова :- Тело. , которая читается как “чтобы доказать/решить Голову, следует доказать/решить Тело”. Тело клаузы состоит из нескольких предикатов (целей клаузы), скомбинированных с помощью конъюнкции и дизъюнкции. Клаузы с пустым телом называются фактами и эквивалентны клаузам вида Голова :- true. (true — не атом, как в других языках, а встроенный предикат).

Другой важной частью Prolog являются предикаты. Унарные предикаты выражают свойства их аргументов, тогда как предикаты с несколькими аргументами выражают отношения между ними. Ряд встроенных предикатов языка выполняют ту же роль, что и функции в других языках, например, ….

Предикаты с несколькими аргументами могут действовать в нескольких направлениях в зависимости от того, какие из аргументов уже связаны, а какие — нет. Например, ….

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

Целью выполнения программы на Prolog является оценивание одного целевого предиката. Имея этот предикат и набор правил и фактов, заданных в программе, Prolog пытается найти привязки (значения) переменных, при которых целевой предикат принимает значение истинности.

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

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

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

Пролог относится к так называемым декларативным языкам, требующим от автора умения составить формальное описание ситуации. Поэтому программа на Прологе не является таковой в традиционном понимании, так как не содержит управляющих конструкций типа if … then, while … do; нет даже оператора присваивания. В Прологе задействованы другие механизмы. Задача описывается в терминах фактов и правил, а поиск решения Пролог берет на себя посредством встроенного механизма логического вывода.

Перечень возможных синтаксических конструкций Пролога невелик, и в этом смысле язык прост для изучения. С другой стороны, декларативный стиль программирования оказывается столь непривычным и новым для опытных программистов, что вызывает шок и в ряде случаев оказывается тормозом.

Пролог реализован практически для всех известных операционных систем и платформ. В число операционных систем входят OS для мэйнфреймов, всё семейство Unix, Windows, OS для мобильных платформ.

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

Пролог критикуется в первую очередь за свою недостаточную гибкость, отчего решения на обычных языках программирования (типа C++, Java) в сочетании с базами данных оказываются более технологичными, чем аналогичные решения на Прологе. Негибкость заключается в трудности изучения языка, более высоких требованиях к квалификации программиста на Прологе, трудности отладки программы, неразвитости технологии программирования, плохой контролируемости промежуточных результатов.

Основные вехи развития языка Prolog

Prolog стал воплощением идеи использования логики в качестве языка программирования, которая зародилась в начале 1970-х годов, и само его название является сокращением от слов “programming in logic” (программирование в терминах логики). Первыми исследователями, которые занялись разработкой этой идеи, были Роберт Ковальски (Robert Kowalski) из Эдинбурга (теоретические основы), Маартен ван Эмден (Maarten van Emden) из Эдинбурга (экспериментальная демонстрационная система) и Ален Колмероэ (Alain Colmerauer) из Марселя (реализация).

Популяризации языка Prolog во многом способствовала эффективная реализация этого языка в середине 1970-х годов Дэвидом Д. Г. Уорреном (David D.H. Warren) из Эдинбурга. К числу новейших достижений в этой области относятся средства программирования на основе логики ограничений (Constraint Logic Programming — CLP), которые обычно реализуются в составе системы Prolog. Средства CLP показали себя на практике как исключительно гибкий инструмент для решения задач составления расписаний и планирования материально-технического снабжения. А в 1996 году был опубликован официальный стандарт ISO языка Prolog.

Наиболее заметные тенденции в истории развития языка Prolog

В развитии языка Prolog наблюдаются очень интересные тенденции. Этот язык быстро приобрел популярность в Европе как инструмент практического программирования. В Японии вокруг языка Prolog были сосредоточены все разработки компьютеров пятого поколения. С другой стороны, в США этот язык в целом был принят с небольшим опозданием в связи с некоторыми историческими причинами.

Одна из них состояла в том, что Соединенные Штаты вначале познакомились с языком Microplanner, который также был близок к идее логического программирования, но неэффективно реализован. Определенная доля низкой популярности Prolog в этой стране объясняется также реакцией на существовавшую вначале “ортодоксальную школу” логического программирования, представители которой настаивали на использовании чистой логики и требовали, чтобы логический подход не был “запятнан” практическими средствами, не относящимися к логике.

В прошлом это привело к широкому распространению неверных взглядов на язык Prolog. Например, некоторые считали, что на этом языке можно программировать только рассуждения с выводом от целей к фактам. Но истина заключается в том, что Prolog — универсальный язык программирования и на нем может быть реализован любой алгоритм. Далекая от реальности позиция “ортодоксальной школы” была преодолена практиками языка Prolog, которые приняли более прагматический подход, воспользовавшись плодотворным объединением нового, декларативного подхода с традиционным, процедурным.

Элементы синтаксиса:

Источник: progopedia.ru

Программное обеспечение

Программа КОНФИГУРАТОР предназначена для работы с настроечными параметрами приборов учета.
Текущая версия поддерживает работу со следующими типами приборов: ЛГК410, СПЕ543, СПГ740, СПГ742, СПГ761.2, СПГ762.2, СПГ763.2, СПТ940, СПТ941.20, СПТ943.1, СПТ944, СПТ961.1(2), СПТ961М, СПТ962, СПТ963.

Программа ПРОЛОГ

ПРОЛОГ — программа для получения и хранения данных приборов учета, а также вывода данных в виде таблиц и отчетов необходимого формата.
Текущая версия программы поддерживает работу со следующими типами приборов: корректоры СПГ740, СПГ741 (мод.01, 02), СПГ742, СПГ761, СПГ761 (мод.761.1, 761.2), СПГ762, СПГ762 (мод.762.1, 762.2), СПГ763, СПГ763 (мод.763.1, 763.2) и тепловычислители СПТ940, СПТ941, СПТ942, СПТ943, СПТ944, СПТ961, СПТ961 (мод.961.1, 961.2), СПТ961М, СПТ962, СПТ963.

Программа ПРОЛОГ обеспечивает:

• загрузку данных из накопителей АДС90 и АДС91;
• загрузку данных из устройств под управлением ОС Android;
• загрузку данных из приборов учета при непосредственном подключении;
• загрузку данных из приборов учета при соединении по телефонной линии посредством модема в ручном режиме или по расписанию;
• загрузку данных из приборов учета при соединении через Интернет (протокол TCP/IP);
• загрузку данных из приборов, находящихся в сети;
• ведение архива абонентов, узлов и данных учета;
• вывод отчетов о потреблении энергоносителей на печать по шаблонам;
• экспорт данных учета в таблицы EXCEL, текстовые документы (в форматах rtf и txt) и на веб-страницы;
• получение текущих данных с приборов и вывод их на экран компьютера в режиме реального времени.

• prolog_34_15_v3_15_0_man
• prolog_95_44_v3_17_1

Программа РАДИУС

Программа РАДИУС предназначена для организации масштабируемых систем сбора данных с приборов учета фирмы ЛОГИКА в сетях, построенных на базе стека протоколов TCP/IP, в том числе, в сети Интернет.
Приборы учета подключаются к системе посредством адаптеров АДС98 и АДС99, функционирующих в режиме «клиент». Для приборов учета VI-го поколения использование адаптера АДС98 не требуется — модем подключается к прибору напрямую. Компьютер, на котором запущена программа РАДИУС, выступает в качестве сервера для подключения клиентов. Программа РАДИУС создает канал связи между адаптерами и диспетчерским программным обеспечением (ПРОЛОГ или OPC-сервер ЛОГИКА). Канал связи защищен с помощью алгоритмов авторизации и шифрования.
Для работы программы требуется предварительная установка пакета Microsoft .NET Framework 4.5.

• Radius_95_06_v1_4_7569
• radius_34_w0102

Программа ТЕХНОЛОГ

Программа ТЕХНОЛОГ предназначена для автоматизации проверки приборов фирмы ЛОГИКА, в число которых входят корректоры СПГ742, СПГ761 (мод. 761.1, 761.2), СПГ762 (мод. 762.1, 762.2), СПГ763 (мод. 763.1, 763.2), тепловычислители СПТ940, СПТ941 (мод. 941.10, 941.11, 941.20), СПТ943, СПТ944, СПТ961 (мод. 961.1, 961.2), СПТ962, СПТ963, адаптеры АДС97, АДС98, АДС99 и накопитель АДС91.

На использование программы ориентированы методики поверки приборов и методы испытаний на соответствие техническим условиям.

Мобильное приложение ИНСПЕКТОР

Мобильное приложение ИНСПЕКТОР служит для просмотра текущих и настроечных данных тепловычислителей СПТ940, СПТ941.20, СПТ944, СПТ961, СПТ961.1, СПТ961.2, СПТ961М, СПТ962, СПТ963, сумматора СПЕ543, корректоров СПГ740, СПГ742, СПГ761, СПГ762, СПГ763 и преобразователя расхода ЛГК410. Приложение обеспечивает возможность редактирования настроечных данных. Предусмотрены процедуры просмотра архивов, а также их сохранения для последующей передачи в виде файла, открываемого программой ПРОЛОГ.
Подключение к приборам учета осуществляется посредством адаптеров АПС71, АПС81, кабеля USB (только к СПТ940 и СПГ740), беспроводного интерфейса Bluetooth (к СПТ963, СПЕ543) и Интернет-соединения UDP и TCP/IP.
Приложение рассчитано для использования на устройствах, работающих под управлением операционной системы Android версии не ниже 4.4. Подключение адаптеров АПС71, АПС81, кабеля USB требует наличия порта USB-HOST.

Настройка адаптеров АДС98 и АДС99

Программу Term99 удобно использовать для изменения настроек адаптеров АДС98 и АДС99.
Программа поставляется в виде архива ZIP. Для работы с программой необходимо извлечь файл term99.exe в отдельную папку и запустить его.

Настройка адаптера АПС79

Программа позволяет читать и записывать параметр конфигурации адаптера АПС79. В параметре конфигурации указывается, какое оборудование подключено к адаптеру по интерфейсу RS232C (компьютер, модем) и скорость обмена с оборудованием; задается адрес адаптера и старший адрес на шине RS485; задается режим работы на шине RS485 (с маркерным доступом или ведущий/ведомый) и скорость обмена.
С помощью программы Merit79 адаптер АПС79 также может быть запрограммирован для пересылки тех или иных параметров между приборами, связанными с ним по RS485.

Настройка модемов

Программа предназначена для настройки модемов, подключаемых к приборам учета НПФ ЛОГИКА.
C помощью этой программы возможно также восстановить заводские настройки модема, что может потребоваться при установке модема на вызывающей стороне

Источник: xn--80afpics.xn--p1ai

Visual Prolog для Windows

Visual Prolog — язык пятого поколения, открывающий новое измерение для программирования.

• Visual Prolog 5.2 (16.96 Мб)

ТОП-сегодня раздела «Прочие языки»

Высокоуровневый объектно-ориентированный динамический язык программирования, который.

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

Программирование мобильных устройств — с помощью данного курса вы научитесь создавать.

Gentee — Это бесплатный универсальный язык программирования для использования в.

Интерпретатор КОНЦЕПТ — интерпретатор языка программирования. Ориентирован на обработку.

LispWorks Personal Edition — интегрированная среда разработки для языка программирования Common Lisp.

Отзывы о программе Visual Prolog

Пётр про Visual Prolog 7.5 Build 7502 [22-11-2016]

А программа действительно бесплатна? Или все таки условно-бесплатная, ибо при компиле выскакивает сообщение что версия не зарегистрирована. Даже у вас на скрине одном красуется «unregistered».
3 | 2 | Ответить

Korm в ответ Пётр про Visual Prolog 7.5 Build 7502 [23-11-2016]

Note that the Personal Edition is for non-commercial usage only. For long term usage registration is mandatory.
Обратите внимание, что персональная версия предназначена для некоммерческого использования. На длительный срок регистрация является обязательной.
2 | 2 | Ответить

tupoy про Visual Prolog 7.1 Build 7100 [04-12-2010]

сложный язык но обьемный а самое главное то что там можно удобно составлять рекурсионные программы
2 | 5 | Ответить

Pavel про Visual Prolog 7.1 Build 7100 [30-09-2010]

Документация на русском языке http://www.brain2life.com/category-21.html
3 | 12 | Ответить

Ваня про Visual Prolog 7.1 Build 7100 [18-05-2010]

Народ подскажите, где найти самоучитель для эьтого пролога?
5 | 15 | Ответить

User2 про Visual Prolog 7.1 Build 7100 [05-09-2008]

А есть ли где нибудь документация по Visual Prolog на РУССКОМ языке?
3 | 14 | Ответить

Источник: www.softportal.com