PrologEdit

Programmeringsspråket Prolog ble utviklet i 1972 av Alain Colmerauer. Det oppsto fra et samarbeid Mellom Colmerauer I Marseille og Robert Kowalski I Edinburgh. Colmerauer jobbet med naturlig språkforståelse, ved hjelp av logikk for å representere semantikk og bruke oppløsning for å svare på spørsmål. I løpet av sommeren 1971 oppdaget Colmerauer Og Kowalski at den klausale formen for logikk kunne brukes til å representere formelle grammatikker, og at løsningsteoremprovers kunne brukes til parsing. De observerte at noen teoremprovers, som hyper-resolution, oppfører seg som bottom-up-parsere og andre, som SL-resolution (1971), oppfører seg som top-down-parsere.det var sommeren 1972 At Kowalski, igjen i Samarbeid Med Colmerauer, utviklet den prosessuelle tolkningen av implikasjoner. Denne doble deklarative / prosessuelle tolkningen ble senere formalisert i Prolog-notasjonen

H: – B1,…, Bn.

som kan leses (og brukes) både deklarativt og prosedyremessig. Det ble også klart at slike klausuler kan være begrenset til bestemte klausuler eller Horn klausuler, Hvor H, B1,…, Bn er alle atompredikatlogiske formler, og AT SL-oppløsning kan begrenses (og generaliseres) TIL LUSH eller SLD-oppløsning. Kowalskis prosedyretolkning og LUSH ble beskrevet i et memo fra 1973, utgitt i 1974.Colmerauer, Med Philippe Roussel, brukte denne doble tolkningen av klausuler som grunnlag For Prolog, som ble implementert sommeren og høsten 1972. Det første Prolog-programmet, også skrevet i 1972 og implementert I Marseille, var et fransk spørsmålssvarssystem. Bruken Av Prolog som et praktisk programmeringsspråk ble gitt stor fart ved utviklingen Av en kompilator Av David Warren I Edinburgh i 1977. Eksperimenter viste At Edinburgh Prolog kunne konkurrere med prosesseringshastigheten til andre symbolske programmeringsspråk som Lisp. Edinburgh Prolog ble de facto standard og sterkt påvirket definisjonen AV ISO standard Prolog.

abductive logic programmingEdit

Abductive logic programming er en utvidelse av normal Logikk Programmering som gjør at noen predikater, erklært som abducible predikater, å være «åpen» eller udefinert. En klausul i et bortførende logisk program har formen:

H: – B1,…, Bn, A1,…, An. Hvor H Er en atomformel som ikke er abducible, er Alle Bi bokstavelige hvis predikater ikke er abducible, Og Ai er atomformler hvis predikater er abducible. De abducible predikatene kan begrenses av integritetsbegrensninger, som kan ha formen: false: – L1,…, Ln. Hvor Li er vilkårlig bokstav (definert eller abducible, og atomic eller negated). For eksempel:

canfly(X) :- bird(X), normal(X).false :- normal(X), wounded(X).bird(john).bird(mary).wounded(john).

hvor predikatet normal er abducible.

Problemløsning oppnås ved å utlede hypoteser uttrykt i form av abducible predikater som løsninger på problemer som skal løses. Disse problemene kan enten være observasjoner som må forklares (som i klassisk abduktiv resonnement) eller mål som skal løses (som i normal logisk programmering). For eksempel forklarer hypotesen normal (mary) observasjonen canfly (mary). Videre innebærer den samme hypotesen Den eneste løsningen X = mary av målet om å finne noe som kan fly:

:- canfly(X).

Abduktiv logisk programmering har blitt brukt til feildiagnose, planlegging, naturlig språkbehandling og maskinlæring. Det har også blitt brukt til å tolke Negasjon Som Fiasko som en form for bortførende resonnement.

metalogic programmingEdit

fordi matematisk logikk har en lang tradisjon for å skille mellom objektspråk og metalspråk, tillater logisk programmering også metalevel programmering. Det enkleste metalogiske programmet er den såkalte «vanilla» meta-tolken:

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

hvor true representerer en tom sammenheng, og klausul (A,b) betyr at det er en objektnivåklausul i formA:-b.

Metalogisk programmering tillater objektnivå – og metalevel-representasjoner å bli kombinert, som i naturlig språk. Den kan også brukes til å implementere noen logikk som er angitt som slutnings regler. Metalogic brukes i logisk programmering for å implementere metaprogrammer, som manipulerer andre programmer, databaser, kunnskapsbaser eller aksiomatiske teorier som data.

Begrensning logikk programmingEdit

Begrensning logikk programmering kombinerer Horn klausul logikk programmering med begrensning løse. Det utvider Hornklausuler ved å tillate noen predikater, erklært som begrensningspredikater, å forekomme som bokstavelige i klausulenes kropp. Et begrensningslogikkprogram er et sett med klausuler i skjemaet:

H: – C1,…, Cn ◊ B1,…, Bn.

Hvor H og Alle Bi er atomformler, Og Ci er begrensninger. Deklarativt leses slike klausuler som vanlige logiske implikasjoner:

h hvis C1 og … og Cn Og B1 og … Og Bn. mens predikatene i klausulenes hoder er definert av begrensningslogikkprogrammet, er predikatene i begrensningene forhåndsdefinert av en domenespesifikk modellteoretisk struktur eller teori.

Prosedyremessig løses delmål hvis predikater defineres av programmet ved målreduksjon, som i vanlig logisk programmering, men begrensninger kontrolleres for satisfiability av en domenespesifikk begrensning-løser, som implementerer semantikken til begrensningspredikatene. Et innledende problem løses ved å redusere det til en tilfredsstillende sammenheng av begrensninger.

følgende begrensningslogikkprogram representerer en toy temporal database av johns historie som lærer:

teaches(john, hardware, T) :- 1990 ≤ T, T < 1999.teaches(john, software, T) :- 1999 ≤ T, T < 2005.teaches(john, logic, T) :- 2005 ≤ T, T ≤ 2012.rank(john, instructor, T) :- 1990 ≤ T, T < 2010.rank(john, professor, T) :- 2010 ≤ T, T < 2014.

her ≤ og < er begrensningspredikater, med deres vanlige tilsiktede semantikk. Følgende målklausul spør databasen for å finne ut når john både lærte logikk og var professor:

: – lærer(john, logic, T), rang(john, professor, T).

løsningen er 2010 ≤ T, t ≤ 2012.Begrensningslogikkprogrammering har blitt brukt til å løse problemer innen områder som sivilingeniør, maskinteknikk, digital kretsbekreftelse, automatisert tidsplanlegging, flytrafikkontroll og økonomi. Det er nært knyttet til abductive logikk programmering.

Samtidig logikkprogrammeringrediger

shuffle(, , ).shuffle(Left, Right, Merge) :- Left = | Merge = , shuffle(Rest, Right, ShortMerge).shuffle(Left, Right, Merge) :- Right = | Merge = , shuffle(Left, Rest, ShortMerge).

shuffle(, , Merge).