Как установить пролог на виндовс 10

Обновлено: 06.07.2024

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

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

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

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

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

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

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

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

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

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

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]

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

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

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

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

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

Как пользоваться программой

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

Возможности

Данное ПО поддерживается и взаимодействуют с различными тепловычилительными устройствами, а также приборами для исправления расхода газа, произведенными компанией ЛОГИКА. Приложение может считывать и обрабатывать показателями несколькими способами: с помощью прямого подключения, через подключения к сети, или же через приложения для гаджетов на операционной системе android. Также информация может быть считана с оригинальных накопителей АДС модели 90 или 91.

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

Prolog - самый популярный язык логического программирования

Prolog - самый популярный язык логического программирования

Узнаем, что такое логическое программирование (ЛП ), и его области применения

Установим самый популярный язык ЛП --- Prolog

Научимся писать простые программы на Prolog

Научимся спискам в Prolog

Разберем преимущества и недостатки Prolog.

Эта статья будет полезна для тех, кто:

Интересуется необычными подходами и расширяет свой кругозор

Начинает изучать Prolog (например, в институте)

В конце статьи я оставлю полезные ссылки. Если у вас останутся вопросы — пишите в комментариях!

Начнем туториал: Пролог для чайников!

Логическое программирование

Существуют разные подходы к программированию. Часто выделяют такие парадигмы программирования:

И наконец — Декларативное (Логическое). Основывается на автоматическом доказательстве теорем на основе фактов и правил. Примеры языков: Prolog и его диалекты, Mercury. В таких языках мы описываем пространство состояний, в которых сам язык ищет решение к задаче. Мы просто даем ему правила, факты, а потом говорим, что "сочини все возможные стихи из этих слов", "реши логическую задачу", "найди всех братьев, сестер, золовок, свояков в генеалогическом древе", или "раскрась граф наименьшим кол-вом цветов так, что смежные ребра были разного цвета".

Установка Prolog

Существую разные реализации (имплементации) Пролога: SWI Prolog, Visual Prolog, GNU Prolog. Мы установим SWI Prolog.

Установка на Arch Linux:

Установка на Ubuntu:

Prolog работает в режиме интерпретатора. Теперь можем запустить SWI Prolog. Запускать не через swi-prolog, а через swipl:

Ура! Оно работает!

Теперь поставим на Windows.
Перейдем на официальный сайт на страницу скачивания стабильной версии. Ссылка на скачивание. Клик. Скачаем 64х битную версию. Установка стандартная. Чтобы ничего не сломать, я решил галочки не снимать. Ради приличия я оставлю скрины установки.

Сайт SWI Prolog - установщики последней стабильной версии Галочки не трогаем Ищу SWI-Prolog через поиск Windows. Запускаю Ура! Теперь и на Windows все работает

Основы Prolog. Факты, правила, предикаты

Есть утверждения, предикаты:

Марк изучает книгу (учебник, документацию)

Маша видит клавиатуру (мышку, книгу, тетрадь, Марка)

Миша изучает математику (ЛП, документацию, учебник)

Саша старше Лёши

С английского "predicate" означает "логическое утверждение".

Есть объекты: книга, клавиатура, мышка, учебник, документация, тетрадь, математика, ЛП, Марк, Маша, Саша, Даша, Лёша, Миша, да что угодно может быть объектом.
Есть отношения между объектами, т.е то, что связывает объекты. Связь объектов можно выразить через глаголы, например: читать, видеть, изучать. Связь можно выразить через прилагательное. Миша старше Даши. Даша старше Лёши. Получается.. связью может быть любая часть речь? Получается так.

Прекрасно! Давайте попробуем запрограммировать эти утверждения на Прологе. Для этого нам нужно:

Создать новый текстовый файл, который я назову simple.pl (.pl — расширение Пролога)

В нем написать простой однострочный код на Прологе

Запустить код с помощью SWI Prolog

Спросить у Пролога этот факт

Запустим. На линуксе это делается таким образом:

На Windows я использую notepad++ для написания кода на Прологе. Я запущу SWI-Prolog и открою файл через consult.

Видим, что он скомпилировал условия. Даже написал "1 clauses", т.е один факт

Видим, что он скомпилировал условия. Даже написал "1 clauses", т.е один факт

Что мы сделали? Мы загрузили базу знаний (те, которые мы описали в простом однострочном файле simple.pl) и теперь можем задавать вопросы Прологу. То есть система такая: пишем знания в файле, загружаем эти знания в SWI Prolog и задаем вопросы интерпретатору. Так мы будем решать поставленную задачу. (Даже видно, в начале интерпретатор пишет "?- ". Это означает, что он ждет нашего вопроса, как великий мистик)

Давайте спросим "Марк изучает книгу?" На Прологе это выглядит так:

По сути мы спросили "есть ли факт study(mark, study) в твоей базе?", на что нам Пролог лаконично ответил "true." и продолжает ждать следующего вопроса. А давайте спросим, "изучает ли Марк документацию?"

Интерпретатор сказал "false.". Это означает, что он не нашел этот факт в своей базе фактов.

Расширим базу фактов. После я определю более строгую терминологию и опишу, что происходит в этом коде.

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

Терминология. Объекты данных в Прологе называются термами (предполагаю, от слова "термин"). Термы бывают следующих видов:

Константами. Делятся на числа и атомы. Начинаются с маленькой буквы. Числа: 1,36, 0, -1, 123.4, 0.23E-5. Атомы — это просто символы и строки: a, abc, neOdinSimvol, sTROKa. Если атом состоит из пробела, запятых и тд, то нужно их обрамлять в одинарные кавычки. Пример атома: 'строка с пробелами, запятыми. Eto kirilicca'.

Переменными. Начинаются с заглавной буквы: X, Y, Z, Peremennaya, Var.

Структурами (сложные термы). Например, study(misha, lp).

Списками. Пример: [X1], [Head|Tail]. Мы разберем их позже в этой статье.

Есть хорошая статья, которая подробно рассказывает про синтаксис и терминологию Пролога. Рекомендую её, чтобы лучше понять понятия Пролог.

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

study(mark, book). — такие конструкции называются фактами. Они всегда истинны. Если факта в базе знаний нету, то такой факт ложный. Факты нужно оканчивать точкой, так же как утверждения в русском языке.

"Задавать вопросы Прологу" означает попросить Пролог доказать наше утверждение. Пример: ?- study(mark, book). Если наше утверждение всегда истинно, то Пролог напечатает true, если всегда ложно, то false. Если наше утверждение верно при некоторых значениях переменных, то Пролог выведет значения переменных, при которых наше утверждение верно.

Давайте загрузим факты в Пролог и будем задавать вопросы. Давайте узнаем, что изучал mark. Для этого нам нужно написать "study(mark, X)." Если мы прожмем "Enter", то Пролог нам выдаст первое попавшееся решение

Чтобы получить все возможные решения, нужно прожимать точку с запятой ";".

Можем узнать, кто изучал документацию.

Можно узнать, кто и что изучал!

Пролог проходится по всей базе фактов и находит все такие переменные Who и Object, что предикат study(Who, Object) будет истинным. Пролог перебирает факты и заменяет переменные на конкретные значения. Пролог выведет такие значения переменных, при которых утверждения будут истинными. У нас задача состояла только из фактов, и решение получилось очевидным.
Переменная Who перебирается среди имен mark, misha, а переменная Object среди book, studentbook, docs, lp, math.
Who не может равняться masha, потому что masha ничего не узнала согласно нашей базе фактов. Аналогично Object не может равняться tomuChevoNetuVBaze, так как такого значения не было в базе фактов. Для study на втором месте были только book, studentbook, docs, lp, math.

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

А теперь разберем правила в Прологе. Напишем ещё одну программу old.pl.

older(X,Y) :- older(X, Z), older(Z,Y) — такие конструкции называются правилами. Чтобы из факта получить правило, нужно заменить точку "." на двоеточие дефис ":-" и написать условие, когда правило будет истинным. Правила истинны только при определенных условиях. Например, это правило будет истинно в случае, когда факты older(X,Z) и older(Z,Y) истинны. Если переформулировать, то получается "X старше Y, если X старше Z и Z старше Y". Если математически: "X > Y, если X > Z и Z > Y".

Запятая "," в Прологе играет роль логического "И". Пример: "0 < X, X < 5". X меньше 5 И больше 0.
Точка с запятой ";" играет роль логического "ИЛИ". "X < 0; X > 5". X меньше 0 ИЛИ больше 5.
Отрицание "not(Какой-нибудь предикат)" играет роль логического "НЕ". "not(X==5)". X НЕ равен 5.

Факты и правила образуют утверждения, предикаты. (хорошая статья про предикаты)

Сперва закомментируйте правило и поспрашивайте Пролог, кто старше кого.

Маша старше Миши. Пролог просто прошелся по фактам и нашел единственное верный факт. Но.. мы хотели узнать "Кого старше Маша?". Логично же, что если Миша старше Саши И Маша старше Миши, то Маша также старше Саши. И Пролог должен решать такие логические задачи. Поэтому нужно добавить правило older(X,Y) :- older(X, Z), older(Z,Y).
Повторим вопрос.

Программа смогла найти все решения. Но что это такое? Ошибка! Стек переполнен! Как вы думаете, с чем это может быть связано? Попробуйте подумать, почему это происходит. Хорошее упражнение — расписать на бумаге алгоритм older(masha,X) так, как будто вы — Пролог. Видите причину ошибки?

Это связано с бесконечной рекурсией. Это частая ошибка, которая возникает в программировании, в частности, на Прологе. older(X, Y) вызывает новый предикат older(X,Z), который в свою очередь вызывает следующий предикат older и так далее.
Нужно как-то остановить зацикливание. Если подумать, зачем нам проверять первый предикат "older(X, Z)" через правила? Если не нашел факт, то значит весь предикат older(X, Y) ложный (подумайте, почему).
Нужно объяснить Прологу, что факты и правила нужно проверять во второй части older(Z, Y), а в первой older(X, Y) — только факты
Нужно объяснить Прологу, что если он в первый раз не смог найти нужный факт, то ему не нужно приступать к правилу. Нам нужно как-то объяснить Прологу, где факт, а где правило.
Это задачу можно решить, добавив к предикатам ещё один аргумент, который будет показывать — это правило или факт.

Нижнее подчеркивание "_" - это анонимная переменная. Её используют, когда нам не важно, какое значение будет на её месте. Нам важно, чтобы первая часть правила была фактом. А вторая часть может быть любой.

Наша программа вывела все верные ответы.

Возможно, возникает вопрос: откуда Пролог знает, что изучает Марк и что Миша старше Даши? Как он понимает такие человеческие понятия? Почему ассоциируется study(mark, math) с фразой "Марк изучает математику"? Почему не с "математика изучает Марка"?. Это наше представление. Мы договорились, что пусть первый терм будет обозначать "субъект", сам предикат "взаимосвязь", а второй терм "объект". Мы могли бы воспринимать по-другому. Это просто договеренность о том, как воспринимать предикаты. Пролог позволяет нам абстрактно описать взаимоотношения между термами.

Напишем предикат для нахождения факториала от N.


"is" означает присвоить, т.е N1 будет равняться N-1. Присвоение значений переменным Пролога называется унификацией. "is" работает только для чисел. Чтобы можно было присваивать атомы, нужно вместо "is" использовать " full-width ">

Списки в Прологе отличаются от списков в C/C++, Python и других процедурных языков. Здесь список — это либо пустой элемент; либо один элемент, называемый головой, и присоединенный список — хвост. Список - это рекурсивная структура данных с последовательным доступом.

Списки выглядят так: [],[a], [abc, bc], ['Слово 1', 'Слово 2', 1234], [X], [Head|Tail].
Рассмотрим [Head|Tail]. Это всё список, в котором мы выделяем первый элемент, голову списка, и остальную часть, хвост списка. Чтобы отделить первые элементы от остальной части списка, используется прямая черта "|".
Можно было написать такой список [X1,X2,X3|Tail]. Тогда мы выделим первые три элемента списка и положим их в X1, X2, X3, а остальная часть списка будет в Tail.

В списках хранятся данные, и нам нужно с ними работать. Например, находить минимум, максимум, медиану, среднее, дисперсию. Может нужно найти длину списка, длину самого длинного атома, получить средний балл по N предмету среди студентов группы G. Может нужно проверить, есть ли элемент Elem в списке List. И так далее. Короче, нужно как-то работать со списками. Только предикаты могут обрабатывать списки (да и в целом в Прологе все обрабатывается предикатами).

Напишем предикат для перебора элементов списка, чтобы понять принцип работы списка.

element([Head|Tail],Element) будет истинным, если Element равен Head (первому элементу списка) ИЛИ если предикат element(Tail, Element) истинный. В какой-то момент эта рекурсия окончится. (Вопрос читателю: когда кончится рекурсия? Какое условие будет терминирующим?) Таким образом, предикат будет истинным, если Element будет равен каждому элементу списка [Head|Tail]. Пролог найдет все решения, и мы переберем все элементы списка.

Часто бывает нужным знать длину списка. Напишем предикат для нахождения длины списка. Протестим.

Мой Пролог предупреждает, что была не использована переменная H. Код будет работать, но лучше использовать анонимную переменную _, вместо singleton переменной.

В SWI Prolog имеется встроенный предикат length. Я реализовал аналогичный предикат list_length. Если встречается пустой список, то его длина равна нулю. Иначе отсекается голова списка, рекурсивно определяется длина нового получившегося списка и к результату прибавляется единица.

Чтобы лучше понять алгоритм, пропишите его на бумаге. Последовательно, так, как делает Пролог.

Последняя задача про списки в этой статье, это определить, принадлежит ли элемент списку. Например, 1, 2, 3 и 4 являются элементами списка [1,2,3,4]. Этот предикат мы назовем list_member.

Очевидно, что если список начинается с искомого элемента, то элемент принадлежит списку. В противном случае необходимо отсечь голову списка и рекурсивно проверить наличие элемента в новом получившемся списке.

Преимущества и недостатки Prolog

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

Список задач, в которых Пролог удобен:

Компьютерная лингвистика. Написание стихов, анализ речи

Поиск пути в графе. Работа с графами

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

На улице стоят пять домов. Каждый из пяти домов окрашен в свой цвет, а их жители — разных национальностей, владеют разными животными, пьют разные напитки и имеют разные профессии.

Англичанин живёт в красном доме.

У испанца есть собака.

В зелёном доме пьют кофе.

Украинец пьёт чай.

Зелёный дом стоит сразу справа от белого дома.

Скульптор разводит улиток.

В жёлтом доме живет математик.

В центральном доме пьют молоко.

Норвежец живёт в первом доме.

Сосед поэта держит лису.

В доме по соседству с тем, в котором держат лошадь, живет математик.

Музыкант пьёт апельсиновый сок.

Норвежец живёт рядом с синим домом.

Кто пьёт воду? Кто держит зебру?

Замечание: в утверждении 6 справа означает справа относительно вас.

Научиться решать логические задачи на Пролог, можно по этой статье.
Ещё одна интересная статья. В ней автор пишет программу сочинитель стихов на Prolog.

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

Иллюстрация к задаче

Иллюстрация к задаче

Пролог такой замечательный язык! Но почему его крайне редко используют?
Я вижу две причины:

Альтернативы (например, нейросетей на Python)

Пролог решает задачи методом полного перебора. Следовательно, его сложность растет как O(n!). Конечно, можно использовать отсечения, например, с помощью "!". Но все равно сложность останется факториальной. Простые задачи не так интересны, а сложные лучше реализовать жадным алгоритмом на императивном языке.

Я не могу сказать, что логическое программирование не нужно. Оно действительно развивает логическое мышление. Элементы логического программирования можно встретить на практике. И в принципе, логическое программирование — интересная парадагима, которую полезно знать, например, специалистам ИИ.

Что дальше?

Я понимаю, что статью я написал суховато и слишком "логично" (вероятно, влияние Пролога). Я надеюсь, статья вам помогла в изучении основ Логического Программирования на примере Пролога.

(Мои мысли: я часто использую повторения в статье. Это не сочинение, это туториал. Лучше не плодить ненужные синонимы и чаще использовать термины. По крайней мере, в туториалах. Так лучше запоминается. Повторение — мать учения. А как вы считаете?).

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

Но я не знаю, как его запустить на Windows 10. Онлайн компиляторы запускают только swi prolog, а там совсем другой синтаксис.

Не могу поставить на компе Turbo prolog, слишком старая программа, система не запускает.

Есть ли реальные онлайн компиляторы турбо пролога или эмуляция или другие способы запустить программу?

__________________
Помощь в написании контрольных, курсовых и дипломных работ здесь

Как запустить код через Windows Form?
Здравствуйте. Помогите пожалуйста разобраться с windows form в Visual Studio Текст программы.

Не могу скомпилировать/запустить код в VSCode на Windows 10
При нажатии F5 в окне дебага выводит Error: LinkageError occurred while loading main class Hello.

Web-камера. Windows не удается запустить это устройство (Код 19)
Всех приветствую, есть проблема с установкой веб-камеры, помогите разобраться и решить её наконец.


Как запустить Windows XP x86 в Windows 7 Home Premium x64
В общем такая ситуация, для запуска пролога и ассемблера требуется 32-х битная версия винды а у.

Не могу поставить на компе Turbo prolog, слишком старая программа Не могу поставить на компе Turbo prolog, слишком старая программа, система не запускает. И в чем проблема, так и скажите преподавателю, а задание тем не менее сделайте, только на Visual Prolog. Есть безплатная Personal Edition, для консольного приложения это тот же Турбо-Пролог, только современный.

Решение

Как запустить код?
Добрый день. Господа, прошу помощи. Знаний не достаточно, приходится действовать, что называется.

Как запустить код
Долго мучился и не могу понять как запустить этот программный код , помогите. clear :: String.

Как запустить код
Доброго времени суток. Подскажите, пожалуйста, как запустить данный код в Visual Studio: .


Не работает клавиатура: "Windows не удалось запустить это устройство. (Код 19)"
Прошу помощи,после не удачной перезагрузки компьютер перестал видеть клавиатуру,притом что при.

Как и где запустить код c++
У меня есть текстовый файл с кодом c++ и в какой программе его можно запустить. Питоновские файлы я.

Расходомер ПРЭМ 32

Расходомер ПРЭМ 32 устанавливается на узлах учета тепла/воды и предназначен для измерения объема теплоносителя. Область применения: объекты теплоэнерг..

Расходомер ПРЭМ 50

Расходомер ПРЭМ-50 монтируется на узлах учета тепла/воды и предназначен для измерений объемного расхода и объема теплоносителя. ПРЭМ Ду 50 используют ..

Программа Пролог

Пролог – программа чтения и хранения данных, полученных от тепловычислителей СПТ (Логика) или перенесенных посредством накопителей АДС90, АДС91 и ..

Расходомер Питерфлоу РС

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

Термопреобразователь КТС-Б-Pt100-60

Термопреобразователь КТС-Б-Pt100-L60 предназначены для измерения разности температур и значений температур в подающем и обратном трубопроводах системы..

Программа Пролог

Программа Пролог

Программа Пролог

Важная информация .

Цена указана без учета НДС

Работаем только юр. лицами из РФ

Доставка по России: Деловые линии, ПЭК, СДЭК

Пролог – программа чтения и хранения данных, полученных от тепловычислителей СПТ (Логика) или перенесенных посредством накопителей АДС90, АДС91 и их вывода в виде таблиц необходимого формата.

Программа Пролог Логика обеспечивает:

  • поддержку всех моделей приборов СПТ940, СПТ941, СПТ942, СПТ943, СПТ944, СПТ961, СПТ962, СПТ963, СПТ961М, СПГ741, СПГ742, СПГ761, СПГ762, СПГ763;
  • загрузку данных из накопителя АДС90;
  • загрузку данных из накопителя АДС91;
  • загрузку данных, полученных посредством программы НАКОПИТЕЛЬ;
  • загрузку данных из приборов учета при непосредственном подключении;
  • загрузку данных из приборов учета при соединении по телефонной линии посредством модема в ручном режиме или по расписанию;
  • загрузку данных из приборов учета при соединении через локальную/глобальную вычислительную сеть;
  • загрузку данных из приборов, находящихся в сети приборов;
  • ведение архива абонентов, узлов и данных учета;
  • получение текущих данных с приборов и вывод их на экран компьютера в режиме реального времени
  • вывод отчетов о потреблении энергоносителей на печать по шаблонам;
  • экспорт данных учета в таблицы EXCEL, CSV, SQL, текстовые документы (в форматах rtf, txt, dbf) и на веб-страницы.

Минимальные требования для установки

Минимальные требования к компьютеру программы пролог:

  • Операционная система MS Windows Vista и выше.
  • При непосредственном опросе приборов требуется хотя бы один свободный COM-порт.
  • При опросе приборов по телефонной линии требуется модем.
  • При опросе приборов через Интернет требуется подключение к сети Интернет.

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

  • При работе с несколькими приборами в настроечных параметрах каждого из них необходимо установить уникальный идентификатор (номер). В противном случае при последующем копировании в компьютер данные разных приборов, имеющих одинаковые идентификаторы, будут утеряны.
  • Приборы СПТ961, СПГ761, СПГ762, СПГ763 должны быть «системными».
  • Версии приборов должны быть: для СПТ961 не ниже 27; для СПТ961М не ниже 5; для СПТ761 не ниже 11; для СПТ762 не ниже 11; для СПТ763 не ниже 12;
  • При работе с приборами СПТ961, СПТ961М, СПГ761, СПГ762, СПГ763 через порт RS232 в их настроечных параметрах следует установить скорость обмена 4800 бит/с.
  • При работе с приборами СПТ961 (мод. 961.1, 961.2) СПГ761 (мод 761.1 и 761.2), СПГ762, СПГ762 (мод 762.1 и 762.2), СПГ763, СПГ763 (мод 763.1 и 763.2) в их настроечных параметрах рекомендуется установить скорость обмена 19200 бит/с если считывание данных происходит с помощью накопителя АДС90 и 57600 бит/с если считывание происходит непосредственно с прибора или посредством модема через телефонную линию
  • Непосредственно перед считыванием данных через оптопорт необходимо выполнить его активизацию, как это описано в руководстве по эксплуатации прибора. Это требование не относится к тепловычислителям VI-го поколения СПТ941.20, СПТ944, СПТ962, у которых оптопорт всегда включен.
    Программа ПРОЛОГ ЛОГИКА не имеет ограничений и распространяется БЕСПЛАТНО.

Программа Пролог для чтения данных тепловычислителей не имеет ограничений и распространяется бесплатно.

Читайте также: