Хабрахабр: Метки / prolog http://habrahabr.ru/rss/tag/prolog/ ru editor@habrahabr.ru habrahabr.ru Sat, 11 Feb 2012 02:48:36 GMT http://habrahabr.ru/ http://habrahabr.ru/i/logo.gif Хабрахабр <![CDATA[Prolog / Prolog — грамматический разбор и языковые проблемы]]> http://habrahabr.ru/blogs/prolog/136742/ http://habrahabr.ru/blogs/prolog/136742/
Целью этой статьи является попытка показать связи в различных областях знаний, как программирование и математика, философия и логика, а так же продемонстрировать в действии одну из наиболее удачных областей применения языка Prolog — грамматический разбор.

Читать дальше →
]]> Sun, 22 Jan 2012 23:33:33 GMT vics001 Prologаналитическая философияпрологграмматикаязык <![CDATA[Prolog / [Из песочницы] Prolog. Программируем автоматы]]> http://habrahabr.ru/blogs/prolog/136670/ http://habrahabr.ru/blogs/prolog/136670/ статью о Prolog, я решил написать небольшое дополнение к ней в виде 2 небольших задач.
Вот они:
1. Интерпретатор языка brainfuck
2. Машина Тьюринга
Читать дальше →
]]> Fri, 20 Jan 2012 13:35:53 GMT freest brainfuckprologмашина тьюринга <![CDATA[Идеи для стартапов / [Из песочницы] Язык описания экономических расчётов — идея программы]]> http://habrahabr.ru/blogs/startup_ideas/130838/ http://habrahabr.ru/blogs/startup_ideas/130838/ Когда-то я работал программистом в проектом институте в экономическом отделе.
Мы производили экономические расчёты для крупной организации (Башнефть). Я обеспечивал техническое обеспечение этих расчётов.
Я столкнулся с тем, что по настоящему удобного инструмента для этих целей нет.
У меня появилась идея подобного инструмента- специального декларативного языка, напоминающего Prolog- языка описания экономических расчётов.
Читать дальше →
]]> Thu, 20 Oct 2011 12:22:39 GMT MasterDe язык программированиястартапидея для стартапаprolog <![CDATA[Программирование / [Перевод] Функторы в языках программирования]]> http://habrahabr.ru/blogs/programming/125995/ http://habrahabr.ru/blogs/programming/125995/ функтор" означает совершенно разные вещи в разных языках программирования. Возьмем, например, C++. Каждый, кто освоил мастерство C++, знает, что класс, который реализует operator(), называется функтором. Теперь возьмём Standard ML. В ML функторы отображают структуры на структуры. Теперь Haskell. В Haskell функторы — это просто гомоморфизм над категориями. А в Prolog функтор означает атом в начале структуры. Все они различаются. Давайте подробнее рассмотрим каждый из них.
Читать дальше →
]]> Wed, 10 Aug 2011 07:27:23 GMT Amper cppfunctorfunctorshaskellmlprologsmlstandard mlфункторфункторыхаскель <![CDATA[Prolog / Prolog — примеры использования (Часть 2)]]> http://habrahabr.ru/blogs/prolog/124820/ http://habrahabr.ru/blogs/prolog/124820/ статьи о Prolog рассказывалось о структуре, синтаксисе и интерпретации языка. Конечно же научно-популярная литература интересна для программиста, но гораздо более интересно что-то интерактивное, живое, запускаемое. Поэтому в этой статье я предлагаю вооружиться SWI-Prolog и рассмотреть решения простейших задач на Прологе.

Прежде, чем начинать, хотелось бы кратко ответить на злободневные вопросы от хабрачитателей:
— Где реально используется Пролог?
— Такие проекты существуют, некоторые приводились в комментариях к 1-й статье. Важно что, большинство программистов пишут на Прологе не от безвыходности, а от того, что им нравится Пролог. В конце концов Пролог не может использоваться для любой задачи, такой создание UI или манипулирование с файлами.

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

— Почему нет сообщества Пролога?
— Оно есть. Такова специфика языка, что он очень полюбился в академической среде (большинство Prolog систем пишутся в различных университетах и наоборот практически любой университет пишет свой Пролог), из-за этого можно сказать страдает и применимость языка. Стоит отметить, что сообщество небольшое, но очень лояльное: практически все известные языки нашли свое отражение в современных языках (Lisp, ML -> F#, Scala; Smalltalk -> Java, Scala (агенты), скриптовые -> Ruby), в отличие от Пролог.

Думаю на этом хватит философских рассуждений и можно приступить к реальным примерам :)

В конце как обычно ожидает задача на приз.
Читать дальше →
]]> Tue, 09 Aug 2011 09:39:20 GMT vics001 prologалгоритмы <![CDATA[Prolog / Prolog — удивительный язык программирования]]> http://habrahabr.ru/blogs/prolog/124636/ http://habrahabr.ru/blogs/prolog/124636/
Пролог — уникален. Это единственный язык представляющий парадигму декларативного программирования; это язык, который имеет сотни различных имплементаций, но они все равно называются Prolog, добавляя лишь префиксы и суффиксы к названию; это живой язык в котором не происходит никаких существенных изменений более 20 лет; это, наверное, единственный настолько популярный язык программирования, который не имеет применения в реальном программировании. Почему же Prolog?

Пролог — уникален по своей природе, он появился благодаря счастливому совпадению (таинственному устройству мира). Когда-то в 60-х годах очень бурно развивалась теория автоматического доказательства теорем и Робинсоном был предложен алгоритм резолюций, который позволял доказать любую верную теорему (вывести из аксиом) за конечное время (за какое не известно). Как оказалось позже, это наилучшее решение общей задачи, невозможно доказать теорему за ограниченное число операций. Простыми словами, алгоритм представляет собой обход (в общем случае бесконечного) графа в ширину, естественно, что предсказуемость работы алгоритма практически равно 0, соответственно для Языка Программирования — это абсолютно не подходит. И в этот момент Кальмэроу нашел блестящее сужение задачи, благодаря которому доказательство некоторых теорем выглядело как процедурное исполнение программы. Стоит отметить, что класс доказуемых теорем достаточно широк и очень хорошо применим для класса программируемых задач. Вот так в 1972 появился Prolog.

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

Читать дальше →
]]> Fri, 22 Jul 2011 13:57:25 GMT vics001 языки программированияпрологprolog <![CDATA[Prolog / Задача Эйнштейна на Mercury]]> http://habrahabr.ru/blogs/prolog/122147/ http://habrahabr.ru/blogs/prolog/122147/
  1. Регулярным языком
  2. Хаскеллем
  3. Прологом

позвольте представить еще одно на Mercury.

Напомним Википедию:

Mercury — язык функционально-логического программирования со строгой типизацией…
Читать дальше →
]]> Sat, 18 Jun 2011 15:19:40 GMT xonix mercurymercury programming languagelogicdeclarativeprologhaskelltypeclasseseinsteinzebra puzzlefunctional programming <![CDATA[Prolog / Задача Эйнштейна на Прологе]]> http://habrahabr.ru/blogs/prolog/122142/ http://habrahabr.ru/blogs/prolog/122142/ очень и не очень нестандартных решений, хотелось бы показать как логические задачки можно (и нужно) решать на языках логического программирования (простите за тавтологию).
Под катом можно увидеть почему Пролог так хорошо подходит для решения этой задачи.
Читать дальше →
]]> Sat, 18 Jun 2011 11:04:57 GMT susl prologeinsteins riddlezebra puzzle <![CDATA[Ненормальное программирование / Пишем интерпретатор Brainfuck на Mercury]]> http://habrahabr.ru/blogs/crazydev/113099/ http://habrahabr.ru/blogs/crazydev/113099/ неделю Brainfuck на хабре и свои эксперименты с Mercury, написал свою версию интерпретатора. Заранее прошу извинить, что еще не представил «вступительную» статью о Mercury. На самом деле, она в процессе написания.
Пока же приведу код решения, который проиллюстрирует заодно несколько возможностей языка Mercury.
Читать дальше →
]]> Thu, 03 Feb 2011 17:04:29 GMT xonix brainfuckmercurymercury programming languageprologDCGfunctional programmingdeclarative <![CDATA[Программирование / Пролог: База фактов из CSV файла]]> http://habrahabr.ru/blogs/programming/112137/ http://habrahabr.ru/blogs/programming/112137/ Импорт фактов в базу пролога из файла в формате CSV

Для того чтобы работать с фактами базы данных в прологе их (факты) необходимо импортировать из внешнего источника.


На схеме условно показаны три области активностей:
Желтая — подготовка промежуточного файла. Для простого импорта это может быть просто сохранение документа в формате CSV. Для работы по регламенту возможна настройка компонентов БД (например MS SQL Server Integration Services) для периодической выгрузки. Данная активность в статье не рассматривается.
Красная — импорт данных из CSV файла в базу фактов.
Зеленая — работа с базой фактов в Прологе.
Примечание. Стрелками показаны потоки данных.
Читать дальше про красную и зеленую область...
]]> Wed, 19 Jan 2011 09:47:51 GMT alexchin prologпрологcsvswi-prolog <![CDATA[Программирование / Игра Жизнь на языке программирования Mercury]]> http://habrahabr.ru/blogs/programming/112030/ http://habrahabr.ru/blogs/programming/112030/ Mercury а также под впечатлением уже неоднократно поднимавшейся в последнее время здесь темы игры Жизнь (1, 2, 3) захотелось написать свою реализацию на этом интересном языке программирования.

В двух словах о Mercury. Этот язык функционально-логического программирования замышлялся как усовершенствование prolog'а. Усовершенствование заключается в введении в пролог статической типизации (а так же декларирование режима детерминизма). Как результат — больше возможностей у компилятора создать эффективный исполнимый код, больший контроль на этапе компиляции. Любителям пролога, наверняка знаком анекдот:
Q: How many Prolog programmers does it take to change a light bulb?
A: False.

В царстве прологов нишу типизированных прочно занимает Visual Prolog. Но, стоит отметить, что подходы Visual Prolog и Mercury весьма отличны.
Читать дальше →
]]> Mon, 17 Jan 2011 19:10:33 GMT xonix mercurymercury programming languageprologhaskellgame of lifelifeconwaykx.comAPL <![CDATA[История ИТ / [Перевод] Фатальный выбор]]> http://habrahabr.ru/blogs/history/107165/ http://habrahabr.ru/blogs/history/107165/ статье (en), я рассказывал об истории японского проекта вычислительных систем пятого поколения, запущенного под звон фанфар в 1982 и почившего в 1992, прихватив с собой логическое программирование. В этой я расскажу о том, как в качестве языка для систем пятого поколения был выбран Пролог, вместо более очевидного Лиспа. Мне интересен феномен людей, способных формировать приверженцев того или иного языка. Надеюсь, в этой статье я смогу объяснить его.
Читать дальше →
]]> Fri, 29 Oct 2010 09:47:15 GMT unconnected fgcsprologlisp <![CDATA[История ИТ / [Перевод] Кто убил пролог?]]> http://habrahabr.ru/blogs/history/106224/ http://habrahabr.ru/blogs/history/106224/
  • императивные (1956, Фортран);
  • функциональные (1959, Лисп);
  • объектно-ориентированные (1972, SmallTalk);
  • логические (1974, Пролог).

В своих рассуждениях я буду отталкиваться от факта, что три семейства из четырех чувствуют себя неплохо, в том смысле, что у них есть множество преемников. По отношению к этим трем Пролог чрезвычайно отстал. Но в начале 1980-ых было по-другому. Тогда Пролог соревновался с Лисп за умы тех, кто занимался не-IBM программированием (назовем это так, чтобы избежать неоднозначного термина ИИ).
Читать дальше →
]]> Fri, 15 Oct 2010 11:12:25 GMT unconnected fgcsprologlispmiti <![CDATA[Персональные блоги / Реализация переборного механизма пролога на Python]]> http://habrahabr.ru/blogs/personal/83672/ http://habrahabr.ru/blogs/personal/83672/
pred1(X, Y), pred2(Y, Z), pred3(Z).


в традиционных языках представляется чем-то вроде следующей вложенной конструкции

for Y in pred1(X) {
  for Z in pred2(Y) {
    pred3(Z)
  }
}


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

Однако, мы отвлеклись.
Читать дальше →
]]> Tue, 09 Feb 2010 20:57:02 GMT xonix prologpython <![CDATA[Prolog / RE: Занимательная задачка]]> http://habrahabr.ru/blogs/prolog/51644/ http://habrahabr.ru/blogs/prolog/51644/ занимательную задачку и не смог отказать себе в удовольствии потратить 10 минут времени для решения её на полюбившемся мне прологе.

% ((((1?2)?3)?4)?5)?6
solve(Formula) :-
    Signs = [+, -, *, //],
    member(Op1, Signs),
    member(Op2, Signs),
    member(Op3, Signs),
    member(Op4, Signs),
    member(Op5, Signs),
    A =.. [Op1, 1, 2],
    B =.. [Op2, A, 3],
    C =.. [Op3, B, 4],
    D =.. [Op4, C, 5],
    Formula =.. [Op5, D, 6],
    35 =:= Formula.


Результат работы кода:
Читать дальше →
]]> Tue, 10 Feb 2009 19:00:29 GMT xonix prolog <![CDATA[Prolog / Правильность скобочной структуры, prolog]]> http://habrahabr.ru/blogs/prolog/50693/ http://habrahabr.ru/blogs/prolog/50693/
bracket("]") --> "[".
bracket(")") --> "(".
bracket("}") --> "{".

brackets --> bracket(Close), brackets, Close, brackets.
brackets --> [].

check(BracesStr) :-
    phrase(brackets, BracesStr), !.

?- check("[[[]]][][[]][()]{}[]").
true.

?- check("[[[)]]][][[]][()]{}[]").
false.

P. S. Решение на вашем любимом ЯП приветствуется )]]> Fri, 30 Jan 2009 17:37:26 GMT xonix prolog <![CDATA[Prolog / Prolog, введение]]> http://habrahabr.ru/blogs/prolog/49399/ http://habrahabr.ru/blogs/prolog/49399/ http://habrahabr.ru/blogs/programming/47416/) показало, что тема пролога оказалась интересна сообществу.
Чтобы заинтересовать еще более читателя и вместе с тем облегчить ему начало работы с этим языком, я решил написать немного начальных данных о прологе.

Кратко основные особенности.
Читать дальше →
]]> Sat, 17 Jan 2009 18:20:15 GMT xonix prologintrorefalprogramminglogiclogic programmingdeclarative <![CDATA[Prolog / Немного о Prolog'е]]> http://habrahabr.ru/blogs/prolog/47416/ http://habrahabr.ru/blogs/prolog/47416/
Если честно, мне лень описывать синтаксис и особенности пролога, кому интересно, без труда найдут достаточное количество материала в интернете, благо язык довольно академичный. Скажу лишь, чем меня он заинтересовал. Дело в том, что пролог, по сути единственный язык, предлагающий качественно другой подход к программированию, чем хорошо известные императивный, ООП (который, по сути, тоже императивный, но нацелен на структурирование и модульность), функциональный. Можно назвать этот подход декларативно-логическим.
Не претендуя на точность терминологии, этот подход можно определить как такой, при котором программа представляет собой описанние теми или иными конструкциями языка программирования самого условия задачи. Роль ЯП при этом понять это описание, и сделать из него некоторый вывод, который окажется ни чем иным как правильным решением задачи.
Проиллюстрируем, что под этим подразумевается. Возьмем следующую задачу.

Читать дальше →
]]> Sat, 20 Dec 2008 20:47:43 GMT xonix declarativelogicprologrefallogic programmingprogramming <![CDATA[Персональные блоги / вот тебе бабушка и plan9, prolog и haskell.]]> http://habrahabr.ru/blogs/personal/7671/ http://habrahabr.ru/blogs/personal/7671/ Sat, 28 Apr 2007 07:09:03 GMT mikhanoid plan9prologhaskellпараллелизм