В Викисловаре есть статья «Участник:ESSch/Пролог»

	Имеется викиучебник по теме «Участник:ESSch/Пролог»

Prolog

• Пар.:
  • лог +

Тип.: Комп./Инт.: У.п.данных: У.п.вычислений: Типы: Логическое программирование в ограничениях, CLP (Constraint Logic Programming): Стандарты: ISO [1]

ISO стандарт Пролога — ISO/IEC 13211-1 принятый в 1995 году, чья цель — нормализация многих, уже осуществлённых на практике, реализаций основного элемента Пролога.

Транслятор пролога выводит сообщение «Hello world» на запрос вывести на экран — write() — строку 'Hello world' и перейти на следующую строку — nl.

?- write('Hello world!'), nl.
Hello world!
true.

?-

Любое вычисление может быть выраженно декларацией как последовательность конкретных переходов. Как пример, оптимизация компилятора с помощью трёх переходов может быть осуществленно как отношение начальной программы и этими оптимизированными формами:

program_optimized(Prog0, Prog) :-
    optimization_pass_1(Prog0, Prog1),
    optimization_pass_2(Prog1, Prog2),
    optimization_pass_3(Prog2, Prog).

или эквиваелентоно в DCG нотации:

program_optimized --> optimization_pass_1, optimization_pass_2, optimization_pass_3.

Реализация алгоритма быстрой сортировки:

partition([], _, [], []).
partition([X|Xs], Pivot, Smalls, Bigs) :-
    (   X @< Pivot ->
        Smalls = [X|Rest],
        partition(Xs, Pivot, Rest, Bigs)
    ;   Bigs = [X|Rest],
        partition(Xs, Pivot, Smalls, Rest)
    ).
 
quicksort([])     --> [].
quicksort([X|Xs]) -->
    { partition(Xs, X, Smaller, Bigger) },
    quicksort(Smaller), [X], quicksort(Bigger).

Следующая программа на Прологе, используя динамическое программирование, находит самую длянную наиболее общую подпоследовательность из двух списков в течение полиномиального (англ.) времени.

:- dynamic(stored/1).
 
memo(Goal) :- ( stored(Goal) -> true ; Goal, assertz(stored(Goal)) ).
 
lcs([], _, []) :- !.
lcs(_, [], []) :- !.
lcs([X|Xs], [X|Ys], [X|Ls]) :- !, memo(lcs(Xs, Ys, Ls)).
lcs([X|Xs], [Y|Ys], Ls) :-
    memo(lcs([X|Xs], Ys, Ls1)), memo(lcs(Xs, [Y|Ys], Ls2)),
    length(Ls1, L1), length(Ls2, L2),
    (   L1 >= L2 -> Ls = Ls1 ; Ls = Ls2 ).

Пример запроса:

?- lcs([x,m,j,y,a,u,z], [m,z,j,a,w,x,u], Ls).
Ls = [m, j, a, u]

% фигура( Конструктор, Методы)
фигура(                                                  %объект прямоугольник:
  прямоугольник( Высота, Ширина),                        %"конструктор"   
  [(площадь( Площадь) :- Площадь is Высота * Ширина),                 %методы        
   (вывести :- write( 'Площадь прямоугольника равна '),   
               write( Площадь)
   )]
).
фигура(                                                  %объект квадрат
  квадрат( Сторона),                                     %"конструктор"
  [(вывести :- write( 'Площадь квадрата равна '),        %методы
               write( Сторона)
   )]
).
фигура(
  круг( Диаметр),
  [(вывести :- write( 'Площадь круга равна '),
               write( Площадь)
   )]
).
фигура(
  квадрат_вырезанный_круг( Сторона),
  [(вывести :- write( 'Площадь фигуры: квадрата без вписанного крука равна '),
               write( Площадь)
   )]
).
% наследования методов от объекта родителя к объекту наследнику, то есть соответсвенно Площадь() от Прямоугольник к Квадрат
наследование( квадрат( Сторона), прямоугольник( Сторона, Сторона)).
наследование( круг( Диаметр), (Сторона is Диаметр * Sqrt(0.25 * pi)), квадрат(Сторона)). % S(кр)=pi*R*R=0.25pi*D*D=L*L  ->  L=D*Sqrt(0.25pi)
наследование( круг( Радиус), (Высота is Диаметр * Sqrt(0.25 * pi)), прямоугольник( Высота, Высота)).
вызов_методов( 
  квадрат_вырезанный_круг(Сторона), 
  send( квадрат( Сторона), площадь( Площадь_квадрата)), 
  send( круг( Сторона), площадь( Площадь_круга), 
  (площадь( Площадь) :- Площадь is Площадь_квадрата - Площаль_круга) ).

На данном примере выдны применение трёх парадигм ООП:

• Наследование:
  • Простое наследование видно в передачи метода площадь( Порщадь) от объекта фигура( прямоугольник(_), _) к объекту фигура( квадрат(_), _):
    • Запрос: ?- send( квадрат(5), площадь( Площадь)).
    • Конструктор квадрат(5) найден в объекте фигура(). Поиск метода площадь( Площадь) в этоме объекте завершилось неудачей.
    • Конструктор квадрат(5) найден в методе наследование(). Поиск конструктора прямоугольник(5, 5).
    • Конструктор прямоугольник(5, 5) найден в методе фигура(). Поиск метода площадь( Площадь) в прямоугольник(5) завершилось инициализацией площадь(25).
    • Результат: Площадь = 25
  • Множественное наследование объектом фигура( круг(_), _) осуществляется аналогично простому, за исключением препроцессора, в котором осуществляется выбор основной ветви наследования.
• Инкапсуляцию видна в сокрытии реализации методов (например, Метод1) в фигура( Конструктор, [ Метод1|_]), хотя результат его работы доступен и через наследование и через прямое обращение (например, в вызов_методов() ).
• Полиморфизм виден в перегрузке объекта фигура( Объект, Методы).

• F-logic (англ.) расширения языка Пролог с помощью фреймов/объектов представлений знаний, язык описания онтологий. Язык обладает свойсвами, среди прочих, равные и сложне объекты, наследование, полиморфизм, инкапсуляция, запрос методов. Язык устанавливает то же отношение с объектно-ориентированным программированием, что и язык реляционных быз данных — с классическим исчислением предикатов. F-logic основывается на языках:
  • FLORA-2 — расширение F-logic с помощью HiLog и добалением логики.
  • FLORID — язык, основанный на C++.
  • Web Services Modeling Language (WSML).
  • Semantic Web Services Language (SWSL).
  • Ссыки: Михаил Кифер, Георг Лясен, Джеймс Ву. Логические основы объектно-ориентированных и основанных на ферймах языков. (англ.) = Logical Foundations of Object-Oriented and Frame-Based Languages. — 1995. — P. 104.
• OW Prolog (англ.) расширение языка Пролог, создан для того, чтобы предоставить графику и интерфейс, отсутсвующий в Прологе. Реализован в стандарте Prolog (англ.). OW Пролог создан Or Weis в 2003 году, он предоставляет графический интерфейс для Пролога, а также динамические переменные; и полная поддержка Английского, Еврейского и других языков.

KL0 (англ. kernel-language version 0 – ядро-язык версии 0) — последовательный язык логического программирования, наряду с KL1 и KL2, основанный на языке Пролог, но по сути мало чем от него отличатся. Разработан для применения в проекте компьютеров пятого поколения.

Типы данных:

• Символы
• Целые числа фиксированно длины (поддреж. апартно)
• Действительные числа
• Строки - вектора чисел (защищено обработчиком исключений) и в виде битовых полей (например для символов ASCII).
• Другие

Унаследова у Пролога:

• более гибкую структуру управления;
• многопроцессовость;
• операции с побочным эффектом;
• машинно-ориентированные операции.

Не перенял у Пролога:

• средства управления базой данных;
• средства управления таблицей имён.

• KL1
• Пролог

• Обзор языков логического программирования.

Ориентированны на фреймы. Smalltalk Парадигма, связанная с языками такого типа состоит в том, что решение задач может мыслиться, как манипулирование с понятиями, обобщающими объекты, с помощью которых описываются предметные области

Язык программирования ShapeUp. ShapeUp - ещё один язык логического программирования, в основу которого положен Пролог, расширенный средствами сопоставления строк. В ShapeUp образцы строк рассматриваются так же, как и термы Пролога, и их сопоставление возложено на процесс унификацию. Таким образом, программы на ShapeUp значительно проще, чем аналогичные программы на Прологе, их легче писать и понимать. Сокращается значительно и размер программ. Прологу присущи недетерминированность и сопоставление с образцом. Эти свойства очень полезны для разработки систем обработки информационных знаний. �� таким система можно отнести системы понимания естественного языка и другие системы интеллектуальной обработки текстов. Для подобных приложений очень важна операция сопоставления строк. Однако механизм сопоставления с образцом в таком виде, как он существует в Прологе, недостаточен для сопоставления строк. Причина заключена в “терм-терм” механизме сопоставления. ShapeUp – попытка разработать более практический, свободный от присущего Прологу недостатка инструмент программирования. Характерной чертой ShapeUp, отличающей его от традиционных Пролог-систем, является выполняемая при унификации функция сопоставления строк. В ShapeUp включено несколько операторов сопоставления строк. Язык позволяет конструировать образцы строк, представляемые как термы Пролога. Образцы могут унифицироваться с различными строковыми объектами: расширена унификация для выполнения сопоставления строк. В результате ShapeUp-программы проще и имеют более прозрачную семантику, их легче писать.

Kernel Language 1 (KL1) — эксперементальный И-распараллелиной версия языка KL0, разработанная для проекта компьютеров пятого поколения. KL1 — вариант распараллелиной версии языка языка Пролог.

:- module main.   
main :- not(1, X), io:outstream([print(X), nl]).
not(In, Out):- In = 0 | Out = 1.
not(In, Out):- In = 1 | Out = 0.

Быстрая сортировка

:- module quicksort.
qsort([Pivot|Xs], Ys0, Ys2) :- part(Xs,Pivot, Small, Large),
                               qsort(Small, Ys0, [Pivot|Ys1]),
                               qsort(Large, Ys1, Ys2).
qsort([],         Ys0, Ys1) :- Ys0 = Ys1.
 
part([X|Xs],Pivot,Small,Large) :- Pivot< X | Large=[X|L1], part(Xs,Pivot,Small,L1).
part([X|Xs],Pivot,Small,Large) :- Pivot>=X | Small=[X|S1], part(Xs,Pivot,S1,Large).
part([],    _,    Small,Large) :-            Small=[], Large=[].

Распределение цели Pragma 　　　　　          Goal@node(Node)
Указание преоритета цели Pragma            Goal@priority(Priority)
Указание преоритета цели в раздели Pragma  alternatively.

:- module cyclic.
:- public distribute/1.
distribute(N):- true |
                current_node(_,PEs),  %Возращает номер узла
                fork(N,PEs,0).          %Запуск узла n процесса

fork(0,PEs,PE):- true | true.
otherwise.
fork(N,PEs,PE):- PeNo:=PE mod PEs |
                spawn@node(PeNo),     %Начало узла для поддержания процесса
                NextPE:=PE+1,
                N1:=N-1,
                fork(N1,PEs,NextPE).

execute(Goal, ControlStream, ResultStream, Tag)

• Дизъюнкт Хорна

• ассациация: последние изменения 1999 году. (англ.)

KL-ONE — хорошо известное представление знаний

Strand — язык распараллеленного программирования высокого уровня, использующий синтаксис, схдный с языком Пролог.

Искуственный интелект

merge([A|Xs],Ys,Zs0) :- true | Zs0:=[A|Zs], merge(Xs,Ys,Zs).
merge(Xs,[A|Ys],Zs0) :- true | Zs0:=[A|Zs], merge(Xs,Ys,Zs).
merge([],Ys,Zs) :- true | Zs:=Ys.
merge(Xs,[],Zs) :- true | Zs:=Xs.

Грамматика, построенная на определенных предложениях или сокр. DC-грамматика (англ. Definite clause grammar или DCG) — способ выражения грамматических взаимосвязей, а также естественных или формальных языков, в логическом программировании используется в таких языках, как Пролог. DC-грамматики обычно ассациируются с Прологом, но такие подобные ему языки, как Меркурий, тоже ключают их. Они называются грамматикой определённого предложения, поскольку, они представляют грамматику определённую как представление определённые предикаты в логике первого порядка.

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

Определённые предложения DC-грамматик могут считаться набором аксиомами, где достоверность такова, что предложений могут считаться теоремами следующими от этих актсиом. Эти приемущества получают для того, чтобы опознавательный и синтаксический анализ выражений в языке был общим материалом проверки утверждений, таким как утверждения в языке логического программирования.

Роберт Антони Ковальски (англ. Robert Anthony Kowalski) -- американский логик Был студентом Чикагского университета, Бриджпортского университета (бакалавр математики, 1963 год), Стэнфордский университет(магистр по математики, 1966 год), Варшавский университет и Эдинбургский университет(докторская степень по компьютерным наукам, 1970 год) Аспирант в Единбургском университете (1970-1975) и заместитель ? руководителя по Компьютерной логике в Имперском колледже ? 1982. С 1999 года -- заслуженный преподаватель по компьютерной логике депортамента по компьютерным исчислениям в Имперском колледже. ?Имперском колледже. bg:Робърт Ковалски cs:Robert Kowalski en:Robert Kowalski ru:Роберт Ковальки

sentence --> noun_phrase, verb_phrase.
noun_phrase --> det, noun.
verb_phrase --> verb, noun_phrase.
det --> [the].
det --> [a].
noun --> [cat].
noun --> [bat].
verb --> [eats].

• Контекстно-свободная грамматика
• Контекстная грамматика
• Пролог
• Иерархия Хомского
• en:Phrase structure grammar
• Обработка естественного языка

• Definite Clause Grammars

en:Definite clause grammar pt:Gramática de cláusulas definidas