Логическо програмиране: Разлика между версии

:<samp> H if A₁ and … and A_n and not B₁ and … and not B_n.</samp>

където <samp>H</samp> и всички <samp>A_i</samp> и <samp>B_i</samp> са атомни формули. Отрицанието в негативните литерали <samp>not B_i</samp> обикновено се отнася като " [[отрицание като провал]] ", защото в повечето приложения, в които се имплементира, отрицателното условие <samp>not B_i</samp> демонстрира, че положителното условие <samp>B_i</samp> не успява да се задържи. Например:

canfly(X) :- bird(X), not abnormal(X).

abnormal(X) :- wounded(X).

bird(mary).

wounded(john).

Изобразяване на целта (твърдението) за намиране на нещо, което може да лети:

:- canfly(X).

Има две възможни решения, които решават първата подцел <samp>bird(X)</samp>, а именно <samp>X = john</samp> и <samp>X = mary</samp>. Втората подцел <samp>not abnormal(john)</samp> от първото възможно решение се проваля, тъй като <samp>wounded(john)</samp> успява и поради това <samp>abnormal(john)</samp> успява. Въпреки това втората подцел <samp>not abnormal(mary)</samp> на второто възможно решение успява, тъй като <samp>wounded(mary)</samp> се проваля, и затова <samp>abnormal(mary)</samp> се проваля. Ето защо, <samp>X = mary</samp> е единственото решение на първоначално поставената цел.

 

 

където <samp>Bi</samp> са произволни литерали (дефинирани или индуцирани и атомни или отрицателни). Например:

canfly(X) :- bird(X), normal(X).

false :- normal(X), wounded(X).

bird(mary).

wounded(john).

където предиката принципно е абдуктивен.

 

Решаването на проблеми се постига чрез извличане на хипотези, изразени по отношение на абдуктивните предикати. Тези проблеми могат да бъдат или наблюдения, които трябва да бъдат обяснени (както в [[класическата абдукция]]) или задачи, които да бъдат решени (както е в обикновената логика на програмиране). Например хипотезата <samp>normal(mary)</samp> обяснява наблюдението <samp>canfly(mary)</samp>. Освен това, същата хипотеза предполага, че единственото решение <samp>X = mary</samp> намира нещо, което може да лети:

:- canfly(X).

Абдуктивното логическо програмиране е било използвано за диагностики, за откриване на грешки, планиране, обработка на език и машинно обучение. Също така е използвано, за да интерпретира как отрицанието като провал е част от абдукцията.

 

=== Металогично програмиране ===

Тъй като математическа логика има традиция за разграничаване на [[обектен език]] и метаезик, логическото програмиране също позволява [[Metalevel programming|програмиране на мета ниво]]. Най-простата металогическа програма е така наречената „vanilla“ мета-интерпретатор:

solve(true).

solve((A,B)):- solve(A),solve(B).

solve(A):- clause(A,B),solve(B).

където вярно представлява празена връзка. <samp>(A,B)</samp> означава, че има клауза за обектно-ниво на форма <samp>A:-B</samp>. Металогичното програмиране позволява на представители от обектното и от мета нивото да бъдат комбинирани, като на естествен език. Той може да бъде използван за осъществяване на всяка логика, която следва заключителните правила.

 

 

Например, следната програма с конкурентна логика определя предикат <samp>shuffle(Left, Right, Merge)</samp>, който може да се използва, за да разбъркате два списъка <samp>Left</samp> и <samp>Right</samp>, комбинирайки ги в един списък <samp>Merge</samp>, който запазва подредбата на двата списъка <samp>Left</samp> and <samp>Right</samp>:

shuffle([], [], []).

shuffle(Left, Right, Merge) :-

Merge = [First | ShortMerge],

shuffle(Left, Rest, ShortMerge).

Тук, <samp>[]</samp> представлява празен списък, а <samp>[Head | Tail]</samp> представлява списък с първия елемент <samp>Head</samp> последван от списък <samp>Tail</samp>. Програмата може да се използва, например, за да разбъркате списъците <samp>[ace, queen, king]</samp> и <samp>[1, 4, 2]</samp>, като се позовава на клаузата за цел:

shuffle([ace, queen, king], [1, 4, 2], Merge).

Програмата ще генерира недетерминистично единично решение – например <samp>Merge = [ace, queen, 1, king, 4, 2]</samp>.