Здравствуйте, kaa.python, Вы писали:

KP>20 лет назад у меня был какой-то курс в универе где мы использовали Prolog. Тогда мне язык показался занятным, но практического применения ему так и не было видно и я про него как-то и забыл. А сейчас, в конце года, все "языкозамерялки" выпускают годовые обзоры и Prolog фигурирует фактически во всех них и сильно не на последних места, где-то рядом с Haskell, Elixir, OCaml, D и другими коммерчески используемыми, пусть и не мэйнстримовыми языками.

Интересно, чем и как меряли.

KP>Соответственно я подумал, если за 20 лет Prolog так и не сдох, что странно как мне кажется, то наверное его где-то используют в коммерческой разработке? Или это всё это ощущение живого языка вызвано использованием его в университетах для обучения? Может кто-то его использует сейчас в коммерческой разработке? А для каких задач?

Ну вот например в Windows NT 4, пишут, использовали его для генерации внутренней конфигурации сетевых интерфейсов.

В Gerrit на нём пишутся правила определения, какие оценки необходимы для ревью, чтобы его допустить в целевые ветки — можно изменять стандартные правила (уровни оценок, выделенные права/обязанности лидов, дополнительные ключи оценок и всё такое). Я эту штуку однажды настраивал, в принципе понимая Prolog, и чуть не поседел: разобраться, когда какая свёртка правила будет выполнена, оказалось нетривиально. На прошлой работе вообще этим не заморочились и всё свалили на Jenkins: если для конкретной репы нет тестов, он автоматически назначает Verified:+1.

Коллега рассказывал про использование Prolog для... обсчётов траекторий космических аппаратов — выбирался наиболее ценный путь среди обсчитанных, собирая их по кусочкам. Сейчас уже не помню названия конкретного аппарата.

В общем, их есть. Но направление специфическое.

Здравствуйте, kaa.python, Вы писали:

KP>20 лет назад у меня был какой-то курс в универе где мы использовали Prolog. Тогда мне язык показался занятным, но практического применения ему так и не было видно и я про него как-то и забыл. А сейчас, в конце года, все "языкозамерялки" выпускают годовые обзоры и Prolog фигурирует фактически во всех них и сильно не на последних места, где-то рядом с Haskell, Elixir, OCaml, D и другими коммерчески используемыми, пусть и не мэйнстримовыми языками.

Интересно, чем и как меряли.

KP>Соответственно я подумал, если за 20 лет Prolog так и не сдох, что странно как мне кажется, то наверное его где-то используют в коммерческой разработке? Или это всё это ощущение живого языка вызвано использованием его в университетах для обучения? Может кто-то его использует сейчас в коммерческой разработке? А для каких задач?

Ну вот например в Windows NT 4, пишут, использовали его для генерации внутренней конфигурации сетевых интерфейсов.

В Gerrit на нём пишутся правила определения, какие оценки необходимы для ревью, чтобы его допустить в целевые ветки — можно изменять стандартные правила (уровни оценок, выделенные права/обязанности лидов, дополнительные ключи оценок и всё такое). Я эту штуку однажды настраивал, в принципе понимая Prolog, и чуть не поседел: разобраться, когда какая свёртка правила будет выполнена, оказалось нетривиально. На прошлой работе вообще этим не заморочились и всё свалили на Jenkins: если для конкретной репы нет тестов, он автоматически назначает Verified:+1.

Коллега рассказывал про использование Prolog для... обсчётов траекторий космических аппаратов — выбирался наиболее ценный путь среди обсчитанных, собирая их по кусочкам. Сейчас уже не помню названия конкретного аппарата.

В общем, их есть. Но направление специфическое.