ISO стандарт Prolog

@Luke0208 · Регистрация: 22.01.2017

Студворк — интернет-сервис помощи студентам

Не у кого нету стандарта? А то покупать за $120 не вариант.

@arlat · 19.07.2017, 09:32

ISO conformant version of the Prolog language

Добавлено через 2 минуты
ISO Prolog

@Luke0208 · 19.07.2017, 13:50 **[ТС]**

27 страниц? Меньше чем у Scheme, мне уже нравится этот язык. Это финальный черновик?

@arlat · 19.07.2017, 14:31

Luke0208, семантика языка очень проста, вряд ли нужно штудировать стандарт, можно начать с классики
У.Клоксин, К.Меллиш. Программирование на языке Пролог
И.Братко. Программирование на языке Пролог для искусственного интеллекта
И.Братко. Алгоритмы искусственного интеллекта на языке PROLOG
а также swi-prolog
ну и по форуму посмотреть решение задач, встречаются весьма полезные...

Добавлено через 7 минут
Luke0208, Scheme функциональный, в Прологе немного придется ломать мышление

, но, думаю меньше, чем после перехода от чего-нибудь типа С++

Добавлено через 17 минут
Luke0208, совсем упустил из вида, конечно swish.swi-prolog

@Luke0208 · 19.07.2017, 15:08 **[ТС]**

Да, я стандарт для спокойствия души скачал. Во мне горит надежда когда нибудь написать компилятор/интерпретатор какого нибудь языка, а 27-страничный Prolog подходит более всего. Но стандарта вроде два, один - язык, второй - модули. Второй сильно важен, нет ли его в доступе, или он входит в тот что ты скинул?

@arlat · 19.07.2017, 15:20

Luke0208, на сайте SWI-Prolog хорошая система поиска (Search Documentation) и документация, а также много библиотек. Модули важны, но там собственно не так много понятий. Есть разные мнения по этому поводу, но я лично не вижу, что ещё нужно в реализации модульного подхода, кроме уже изложенного для SWI-Prolog Modules.
Компилятор/интерпретатор это как раз задача для Пролога, особенно на начальном этапе. Потом уже для большей скорости можно переписать под что-то другое..

@Luke0208 · 19.07.2017, 22:19 **[ТС]**

В том черновике описаны модули, так что все норм. Спасибо за сэкономленные $120, хотя я бы все равно не покупал)

Добавлено через 6 часов 46 минут
А есть ли у Пролога какой нибудь FFI, есть ли биндинги к OpenGL и возможно ли его наличие. И , кстати, как создавать этот полупрозрачный текст Не по теме?

@arlat · 20.07.2017, 11:38

Сообщение от Luke0208

Пролога какой нибудь FFI, есть ли биндинги к OpenGL

За все говорить не буду, а для SWI-Prolog Foreign Language Interface и Interface to OpenGL. Собственно, пользуйтесь строкой поиска и мануалом на swi-prolog.org
Для оффтопика иконка OFF вставляет соответствующие теги.
A C++ interface to SWI-Prolog
SWI-Prolog interface to C# and F#
это для .Net в принципе, не только C#, есть документация в формате chm
поиск на https://github.com также может дать много полезного

@Luke0208 · 20.07.2017, 18:15 **[ТС]**

Спасибо. А , кстати, насколько реальны претензии к производительности? Мне они кажутся высосанами из пальца. Java и Python тоже медленные, и слушать их нападки просто бесит. А еще про зацикливания системы из-за ошибок программиста, и теоремы о неполноте. И как на ваше мнение, стоит ли учить Пролог 13-летнему подростку?

@arlat · 21.07.2017, 10:08

Luke0208, по поводу изучения языков программирования, вот эта статья может пролить свет Я придумал Erlang, потому что его не существовало

Сообщение от Luke0208

насколько реальны претензии к производительности

Зависит от задач и методов их решения.

Сообщение от Luke0208

стоит ли учить Пролог 13-летнему подростку?

Не по теме:

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

Добавлено через 6 минут

Сообщение от Luke0208

насколько реальны претензии к производительности?

sicstus prolog Да, дорого, но это зависит от реализуемого проекта...

@Luke0208 · 21.07.2017, 21:52 **[ТС]**

Не понимаю почему все испытывают такую неприязнь к нему. Хотя, как писал Дойль, люди издеваются над тем что считают странным.

@arlat · 28.07.2017, 10:20

Сообщение от Luke0208

насколько реальны претензии к производительности?

Рекомендую рассмотреть на примере решения задачи о восьми ферзях. Иван Братко. Алгоритмы искусственного интеллекта на языке PROLOG 4.5.*Задача о восьми ферзях
Там приводятся примеры 3 программ. Далее на swish есть реализация с метауровнем, но ещё традиционная от Richard A. O'Keefe queens.pl, и, далее там же с применением библиотеки clp(fd) clpfd_queens от Markus Triska.
Очень хороший пример повышения производительности за счет изменения метода решения задачи. Причем, казалось бы, дополнительная прослойка, библиотека clp(fd), написанная на том же Прологе, а повышение производительности офигенное, спокойно справляется с доской 100х100 и 100 ферзей.
Это не к тому, что всё пишем на Прологе, но изучить для своего развития очень не помешает.
Constraint Logic Programming over Finite Domains

@arlat · 02.08.2017, 12:57

Была неверная ссылка, это скачивать нужно
И.Братко. Алгоритмы искусственного интеллекта на языке PROLOG

@Luke0208 · 02.08.2017, 21:58 **[ТС]**

Большое спасибо.

@supmener · 04.04.2020, 07:42

Здравствуйте. Подскажите пожалуйста, чтобы работать по ISO пролог, из бесплатных какие программы, IDE существуют? SWI-prolog подходит? Какие ещё?

@arlat · 04.04.2020, 09:40

Сообщение от supmener

SWI-prolog подходит?

Подходит

Сообщение от supmener

IDE существуют?

Ну, можно и так сказать
IDE

Сообщение от supmener

Какие ещё?

Вы начните, а там появятся вопросы и/или требования, тогда уже ещё...

@supmener · 04.04.2020, 19:28

А нет ли бесплатного визуального редактора, чтобы правила вносить не записями кода, а каким то другим образом?

@arlat · 05.04.2020, 09:04

Сообщение от supmener

правила вносить не записями кода, а каким то другим образом?

может и есть, но точно не безплатно, однако не понятно зачем?

Добавлено через 4 минуты

Сообщение от supmener

А нет ли бесплатного визуального редактора

собственно, нарисуйте эскиз, что имеется ввиду по визуальным редактором правил

@supmener · 05.04.2020, 10:41

О полезности визуального редактора дополнительно подумал, ознакомившись с этой статьей
http://elar.rsvpu.ru/bitstream... 12_122.pdf
Попросил у автора, он не захотел делиться.

Насчет эскиза не уверен, что это именно то, что нужно https://www.visirule.co.uk/medical-demos , ещё подумаю над этим.
https://www.visirule.co.uk/visirule

Добавлено через 32 минуты
Вот здесь есть что то похожее http://flowgorithm.org/ , только у меня не устанавливается в XP, поэтому оценить не могу.

@arlat · 06.04.2020, 10:12

Сообщение от supmener

О полезности визуального редактора дополнительно подумал, ознакомившись с этой статьей

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

Сообщение от supmener

Вот здесь есть что то похожее

это всё различные инструменты, очень возможно не имеющие к Прологу никакого отношения, Вы определитесь с целью

Новые блоги и статьи Все статьи Все блоги /
Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .
Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640

	ISO стандарт Prolog 18.07.2017, 23:50. Показов 2476. Ответов 19 Метки нет (Все метки) Не у кого нету стандарта? А то покупать за $120 не вариант. 0

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	19.07.2017, 09:32
	Сообщение было отмечено Luke0208 как решение Решение ISO conformant version of the Prolog language Добавлено через 2 минуты ISO Prolog 1

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640
	19.07.2017, 13:50 [ТС]
	27 страниц? Меньше чем у Scheme, мне уже нравится этот язык. Это финальный черновик? 0

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	19.07.2017, 14:31
	Luke0208, семантика языка очень проста, вряд ли нужно штудировать стандарт, можно начать с классики У.Клоксин, К.Меллиш. Программирование на языке Пролог И.Братко. Программирование на языке Пролог для искусственного интеллекта И.Братко. Алгоритмы искусственного интеллекта на языке PROLOG а также swi-prolog ну и по форуму посмотреть решение задач, встречаются весьма полезные... Добавлено через 7 минут Luke0208, Scheme функциональный, в Прологе немного придется ломать мышление , но, думаю меньше, чем после перехода от чего-нибудь типа С++ Добавлено через 17 минут Luke0208, совсем упустил из вида, конечно swish.swi-prolog 0

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640
	19.07.2017, 15:08 [ТС]
	Да, я стандарт для спокойствия души скачал. Во мне горит надежда когда нибудь написать компилятор/интерпретатор какого нибудь языка, а 27-страничный Prolog подходит более всего. Но стандарта вроде два, один - язык, второй - модули. Второй сильно важен, нет ли его в доступе, или он входит в тот что ты скинул? 0

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	19.07.2017, 15:20
	Luke0208, на сайте SWI-Prolog хорошая система поиска (Search Documentation) и документация, а также много библиотек. Модули важны, но там собственно не так много понятий. Есть разные мнения по этому поводу, но я лично не вижу, что ещё нужно в реализации модульного подхода, кроме уже изложенного для SWI-Prolog Modules. Компилятор/интерпретатор это как раз задача для Пролога, особенно на начальном этапе. Потом уже для большей скорости можно переписать под что-то другое.. 0

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640
	19.07.2017, 22:19 [ТС]
	В том черновике описаны модули, так что все норм. Спасибо за сэкономленные $120, хотя я бы все равно не покупал) Добавлено через 6 часов 46 минут А есть ли у Пролога какой нибудь FFI, есть ли биндинги к OpenGL и возможно ли его наличие. И , кстати, как создавать этот полупрозрачный текст Не по теме? 0

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640
	20.07.2017, 18:15 [ТС]
	Спасибо. А , кстати, насколько реальны претензии к производительности? Мне они кажутся высосанами из пальца. Java и Python тоже медленные, и слушать их нападки просто бесит. А еще про зацикливания системы из-за ошибок программиста, и теоремы о неполноте. И как на ваше мнение, стоит ли учить Пролог 13-летнему подростку? 0

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640
	21.07.2017, 21:52 [ТС]
	Не понимаю почему все испытывают такую неприязнь к нему. Хотя, как писал Дойль, люди издеваются над тем что считают странным. 0

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	02.08.2017, 12:57
	Была неверная ссылка, это скачивать нужно И.Братко. Алгоритмы искусственного интеллекта на языке PROLOG 0

@Luke0208 33 / 59 / 6 Регистрация: 22.01.2017 Сообщений: 640
	02.08.2017, 21:58 [ТС]
	Большое спасибо. 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	04.04.2020, 07:42
	Здравствуйте. Подскажите пожалуйста, чтобы работать по ISO пролог, из бесплатных какие программы, IDE существуют? SWI-prolog подходит? Какие ещё? 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	04.04.2020, 19:28
	А нет ли бесплатного визуального редактора, чтобы правила вносить не записями кода, а каким то другим образом? 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	05.04.2020, 10:41
	О полезности визуального редактора дополнительно подумал, ознакомившись с этой статьей http://elar.rsvpu.ru/bitstream... 12_122.pdf Попросил у автора, он не захотел делиться. Насчет эскиза не уверен, что это именно то, что нужно https://www.visirule.co.uk/medical-demos , ещё подумаю над этим. https://www.visirule.co.uk/visirule Добавлено через 32 минуты Вот здесь есть что то похожее http://flowgorithm.org/ , только у меня не устанавливается в XP, поэтому оценить не могу. 0

ISO стандарт Prolog

Решение