Hva er prologspråk?

Prolog er et dataprogrammeringsspråk som er basert på logikk.De fleste dataspråk er basert på trinnene som trengs for å løse et problem.Prolog -språket er derimot et deklarativt språk som indikerer de logiske sammenhengene mellom enheter.Måten å løse problemet overlates til datamaskinen.Navnet Prolog kommer fra den franske programmeringen en Logique, det vil si programmeringslogikk.

Følgende er et enkelt prolog-program:

Ancestor (F, C):- Far (F, C)
Ancestor (P, Q):- Far (P, R), stamfar (R, Q)
Far (John, Jim).
Far (Jim, Jerry).
Far (Jerry, Jason).
Far (Jerry, Jeff).
Far (Jason, Joshua).

Ovennevnte program indikerer truismer.Hvis F er far til C, er F en stamfar til C. Hvis P er far til en person R som er en stamfar til Q, er P P.John er far til Jim.Hvis det stilles et problemspørsmål om John er en stamfar til Jeff, får vi svaret ja som nedenfor:

?- Forfeder (John, Jeff).
Ja

Hvis forfedrene til Joshua er av interesse, så såProgrammet viser alle forfedrene på følgendeHvordan gjøre evalueringen.For eksempel indikerte det ikke om de skulle starte på den eldre personen og jobbe seg til den yngre personen eller omvendt.Også veksle delene som nedenfor:

Ancestor (P, Q):- Ancestor (R, Q), Far (P, R)

Det ville ikke utgjøre noen forskjell for programmet, ettersom begge disse delene på høyre side trengerFor å være sant for at venstre side skal være sant.

Prolog -språket fokuserer dermed på forholdene, og ikke på hvordan du skal løse problemet.Under utførelsen av program bygger Prolog opp en rekke sanne uttalelser, og skaper en kunnskapsbase.I eksemplet over ville kunnskapsbasen, i ingen spesiell rekkefølge, ha stamfar (John, Jim), stamfar (Jim, Jerry), Ancestor (John, Jerry), Ancestor (Jim, Jason), Ancestor (John, Jason),og så videre.Denne kunnskapsbasen kan fortsette å bygge opp når programmet utfører, og kan søkes effektivt for å få løsninger.Utførelsen kan bruke parallell prosessering, samtidig utførelse av flere datamaskiner.

Prolog -språket brukes på en rekke områder.Det startet i systemer rettet mot naturlige språk som engelsk;Naturlig språk er et av områdene med kunstig intelligens.Prolog -språket brukes også i symbolsk matematikk, inkludert algebra.Det brukes til å bevise teoremer, i ekspertsystemer og i kontrollsystemer, blant mange andre applikasjoner.