Пролог, операторная запись и программирование на естественном языке

[raydac]

Часто идут темы насчет программирования на естественном языке, что сильно упрощало бы чтение и написание программ, вот Prolog (Edinburgh style)  мне и понравился в первую очередь такой возможностью которой на мой взгляд нет в других языках (был известный пример на FORTH с "нога ружье прострелить" но это немного не то) и которую программист может по

Comments

[fantaseour]

DSL на нем моделлить :) Хотя вроде как функциональщики хвастаются, что лучше всего DSL делать на фя.

[kouzdra]

На том же O'Caml можно просто расширять грамматику (при желании вставляя и собственные алгоритмы разбора). Другое дело, что это чуть ли не лучший пример того, почему эта фича имеет крайне ограниченную полезность - кажется единственный осмысленный пример ее использования - система автоматического доказательства Coq, где эта возможность использована для описания синтаксиса логических предложений и хинтов для вывода.

Еще препроцессор Clipper'a можно вспомнить - там с помощью макросов егойного препроцессора из вполне pascal-образного язычка с элементами функциональго (лямбда-выражения и функции высших порядков там были) делался привычный юзерам синтаксис dBase II

[kouzdra]

Почему-то вспомнился Кобол :)

[raydac]

забавно что для россиянина понятие естественного языка проблематичнее имхо... когда вспоминаю язык "Рапира" то вздрагиваю :)

[aivanov]

Оператор "если то иначе все" -)

[kouzdra]

Зависит от привычки - А68ЛГУ например имел русский вариант и допускал русские имена - пользовались и в общем - было скорее удобно, чем нет. Равно как и упомянутый АКИ был вполне удобен.

А русские версии Кобола и PL/I - это вообще песня :)

Но Кобол - пример языка, где идея действительно была реализована - программа там при желании (если не пользоваться более формальными конструкциями) выглядела практически как обычный текст - только радости с этого был 0.

Собственно, странно, что после кобольского опыта это все еще пытаются возрождать.

PS: Еще есть такой замечательный документ - "Пересмотренное сообщение об Алгол 68" - там формальные грамматики имеют вид текста на естественном языке (причем русская версия тоже есть). Смысла в том как-то немного.

[alll]

Ггггг. Я такие программульки на "естественном языке" видел ещё для четвёртого фортрана, что-то типа IF age GT 16 AND hours GT 11 GOTO gastronom.

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

[raydac]

ну на прологе получается несложно ввести оператор is с отношением и писать
earth is planet.
mars is planet.
и это более визуально читабельно чем is(earth, planet). скажем
причем можно задавать даже постфиксные операторы а не только префиксные и инфиксные

[vit_r]

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

[raydac]

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

[vit_r]

более высоких требований к квалификации программист

Это та причина, из-за которой большая часть хорошего гибнет.

[raydac]

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

[raydac]

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