Просмотр кода страницы Prolog

{{архив}}

'''Prolog''' (''сокр. от французского PROgrammation en LOGique'') — декларативный язык логического программирования, состоящий из фактов и правил логического вывода чуть менее, чем полностью.

== История ==

Как известно, луноликие граждане страны Солнечного корня в ходе [[ВМВ]] огребли от пиндосов [[Шура Каретный|по пизде мешалкой]], но не сломались, а решили, что раз коварный враг победил, то он оказался умнее/хитрее/смелее. За ним надо понаблюдать, перенять его поведение и затем победить самому. Так новые поколения подданых Императора начали строить капитализм под руководством опытных самурайских полководцев. Вдобавок, Япония начала экспортировать всё, что делала, и пока Кетай чухался, захватила многие рынки, например, бытовой техники. Чего это стоило самим японцам, говорит следующий факт: посещая NY, многие японцы увозили с собой на родину не статуэтки Свободы и прочие сувениры, а японские же видаки, возвращая беглецов на родину. А разгадка одна: цена на внутреннем рынке была по-настоящему заградительной, чтобы не мешать захвату мира. Такой вот капитализм со вкусом васаби.

В 1970-80х появился новый вызов со стороны <del>[[Alita|URM]]</del> USA: босоногие хиппаны, при поддержке местного капитала, [[Apple|начали строить компьютеры]]. Причём, Америка выкидывала на помойку больше моделей (''Altair'', ''TRS'', ''RadioShack'', [[тысячи их]]), чем остальные страны, вместе взятые, ''создавали'', доставляя узкоглазым wannabe-повелителям мира неиллюзорные [[Butthurt|анальные колики]]. На борьбу под лозунгом: «Даёшь ЯПОНСКИЕ компьютеры пятого поколения!» были созваны все знамёна. (То, что компьютеры делили на поколения, уже многое говорит о [[Сказочный долбоёб|мудрости]] местных рогозиных). А стальным наконечником клина тысяч ниндзя компьютерной промышленности должен был стать тот самый '''Prolog''', одобренный для этой цели чуть ли не лично Императором.

Prolog предоставлял более-менее простой синтаксис для классификации фактов об окружающем мире. Предполагалось, что набив с его помощью достаточно большую [[All your base|базу]], можно получить [[ИИ|искусственного идиота]]. Казалось бы, что может пойти не так?

Эпичность последовавшего за этим фейла не описать набившим оскомину оборотом «[[Over 9000]]». Пока компьютеры Apple II и даже [[Спектрум]]ы покоряли мир, проторив дорожку для совсем уж чудовищной орды ПеКа, японский компьютерный нацпроект покорил разве что анусы своих создателей. Сказка ложь, да в ней намёк: из-под императорской палки компьютеры не построишь.

== В наши дни ==

Давно и безнадёжно мёртв.

После облома этого японского начинания интерес к языку со стороны практиков мгновенно угас, однако академические слоупоки ещё долго засирали им мозги студентоте при преподавании математической логики и лежащей в основе языка теории искусственного интеллекта. [[Студент]]ы этому были абсолютно не рады, олдфагам известен [[DOS]]-вирус «[[Гражданская оборона]]», целенаправленно поражающий Turbo Prolog и программы на нём.

Также фрагменты кода на Прологе были обнаружены в некой системной DLL от Windows NT4, код, предположительно, отвечал за привязку стека протоколов к сетевым картам.

Дух Пролога, однако, жив и поныне, многие до сих пор надеются получить [[ИИ]] без построения теории естественного интеллекта ([[:w:GPT-3#Угрозы, риски, критика|результаты]] пока недалеко ушли от японских).

== Примеры кода ==

Классика жанра:

<source lang="prolog">
helloworld:- write('Hello World!').
</source>

После чего этот скрипт загружается в интерпретатор и выполняется запрос:
<source>
?- helloworld.
Hello World!
true. 

?- 
</source>

Чуть более сложный пример:

<source lang="prolog">
% это факты: PHP, Java и Visual Basic являются быдлокодерскими языками
быдлокодерский_язык(php).
быдлокодерский_язык(java).
быдлокодерский_язык(visual_basic).

% это тоже факты: Вася - программист на похапе, Петя - на асме, 
% Раджеш - на Visual Basic, Джон - на С и Адольф - на Brainfuck 
программист(вася, php).
программист(петя, assembler).
программист(раджеш, visual_basic).
программист(джон, pure_c).
программист(адольф, brainfuck).

% а это - правило вывода - "быдлокодер - это программист на быдлокодерском языке"
быдлокодер(Некто):- программист(Некто, Язык), быдлокодерский_язык(Язык).
</source>

Если пользователь хочет узнать из этих данных, кто же таки является быдлокодером, то он должен ввести запрос:
<source>
?- быдлокодер(А).
  A = вася;
  A = раджеш;
false.

?-
</source>

false в конце означает, что других быдлокодеров найти не удалось.

Ограниченные возможности применения и отсутствие [[Свистелки и перделки|всяких новомодных фич]] привело к тому, что сейчас Prolog [[не нужен|практически никем не используется]]. Но [http://www.visual-prolog.com/ некоторые] все же пытаются.

{{borq|ххх: Пролог это пиздец.<br />
ууу: Вот кодишь ты на нормальном языке, все более или менее кодится, ок, норм. Кодишь на прологе — и блять словно ты накурился. Ты, вроде бы, тоже кодишь, но этой какой-то ад и пиздец невообразимый, где запах можно описать стулом, а время — фиолетовое.|Бездна}}

Впрочем, сегодня примерно те же конструкции используются в запросах к [[СУБД]] на языке SQL.

Еще более сложный пример. Уровень – Иван Братко:
<source lang="prolog">
nocheck(_, [], _).
nocheck(Y, [Y1 | Rest], N) :-
    Y =\= Y1,
    abs(Y1-Y) =\= N,
    N1 is N + 1,
    nocheck(Y, Rest, N1).
 
 
legal([], _).
legal([Y | Rest], NumList) :-
    legal(Rest, NumList),
    member(Y, NumList),
    nocheck(Y, Rest, 1).
 
 
n_queens(N, L) :-
    natural_number(N),
    numlist(1, N, NumList),
    permutation(NumList, L),
    legal(L, NumList).
 
 
natural_number(1).
natural_number(N) :- 
    M is N - 1, 
    natural_number(M).
</source>

– генерирует решение/я для задачи N-Queens.

== Warning! ==
Студент, запомни: твой научник тоже был романтичным студентом, и ему тоже не давали покоя «инновационные технологии» своего времени. Возможно, некоторые из них он полюбил на всю жизнь. На пике популярности Prolog позиционировался как универсальный silver bullet, после которого никаких других языков не нужно, чем заразил умы многих. Если профессор пытается загипнотизировать тебя бородой на написание диплома на Прологе — беги! Вполне вероятно, что у него тяжелая травма на этой почве, и каждый год он выбирает жертву, которая будет пытаться смыть его позор и [[Butthurt|доказать всем]]. Тебя ждёт неминуемый [[FAIL]] с необходимостью переписать весь код за два дня до защиты, его ждёт новая жертва. По словам приезжих членов комиссии из default city, прецеденты всё ещё случаются по всей стране.

== Галерея ==
<gallery>
Файл:656565.png|
Файл:Prolog005.jpg|
Файл:0262193388.01.LZZZZZZZ.jpg|
</gallery>

== См. также ==
* [[Lisp]]

== Ссылки ==
* http://www.swi-prolog.org/
* [http://www.lix.polytechnique.fr/~dale/lProlog/ Разновидность λProlog] — устранены некоторые критические недостатки ванильного пролога, однако, как всегда, выявлен ещё один недостаток — [[Фатальный недостаток|фатальный]].
* [http://old-dos.ru/index.php?page=files&mode=files&do=show&id=883] — в полной комплектации Turbo Prolog 1.0 в примерах была программа (EXAMPL42.PRO), бесконечно генерирующая тебе, дорогой кодер, в уши чистейший электронный [[Риветхэд|индастриалЪ]], для желающих попробывать ссылка вначале.


{{stub}}
{{Шаблон:Языки программирования}}

[[en.w:Prolog]]