Хабрахабр: Метки / refal http://habrahabr.ru/rss/tag/refal/ ru editor@habrahabr.ru habrahabr.ru Fri, 10 Feb 2012 23:54:18 GMT http://habrahabr.ru/ http://habrahabr.ru/i/logo.gif Хабрахабр <![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[Ненормальное программирование / Three Futamura Projections и не только]]> http://habrahabr.ru/blogs/crazydev/47418/ http://habrahabr.ru/blogs/crazydev/47418/  
 

1. Сразу к коду


-- функция, которая возводит x в степень y (неотрицательную)
power x y =
    case y of
        0 → 1
        1 → x
        _ → x * (power x (y - 1))


Читать дальше →
]]> Sat, 20 Dec 2008 22:09:25 GMT alex_blank computationpartial evaluationfutamurasupercompilationrefalsuperohaskellfpprolog <![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