Hva er Prolog?

Utfattet på begynnelsen av 1970 -tallet, er Prolog, mest sannsynlig en kombinasjon av ordprogrammet og logikken, et av de tidligste dataprogrammeringsspråkene. Delvis fordi det er veldig enkel kode, ved å bruke førsteordens logikk og lite beregning, er den fremdeles i populær bruk. Det originale instruksjonssettet har blitt betydelig forstørret og utviklet til mange varianter fordi det er spesielt godt egnet til å behandle språk. Disse to primære attributtene til programmet gir behandlingen for applikasjoner som kunstig intelligens og automatisert telekommunikasjon.

Prolog bruker formell, førsteordens logikk. Instruksjonene som er lastet opp til en datamaskin er faste; De har ikke uklar, beregningsvekt. I uttrykk er språkets syntaks et begrenset sett med regler, og semantikken er definert, vanligvis av sett som enkeltbeskrivelser, flere lister og strenger, eller av et område som numeriske sekvenser.

Sammen med noe bedre kjent koding som Hypertext Markup Language (HTML), er Prolog i en klasse av programvare som ofte kalles deklarative programmeringsspråk, som karakteristisk bruker den enkle uttalelsen "X tilsvarer y", definert som et "begrep." En datamaskin blir fortalt hva du skal gjøre; Det blir ikke instruert om å beregne på egen hånd hvordan du kommer dit. Datamaskinen får et sett med fakta med et "predikat" og relasjoner, definert som en "klausul", hvorfra en inndata skal gi en ekte kontra falsk utgangskonklusjon. Den utfører ikke en algoritme, men henter heller et enkelt svar ved å legge til og trekke fra, eller negere, fra det kjente definisjonen. Beregning i prolog brukes til å teste og bevise teorier og deres underliggende forutsetninger, fra avansert matematikk til biologi til filosofi.

En av de kognitive teoriene om intelligens er at det er en stor, men begrenset leksikalsk informasjonsbutikk i hjernen som blir hentet, behandlet ogmatet tilbake, noe som resulterte i større kompleksitet eller enkelhet i informasjonen. Med økende minnekapasitet og rask tilgang, er dette det dominerende paradigmet som har drevet datavitenskapens hellige gral - kunstig intelligens. Det som er nøkkelen i henhold til mange i feltet er grensesnitt og språk. Prolog -programmering kan brukes til å lage GUI -er, det grafiske brukergrensesnittet som er pioner av Apple®, ved ganske enkelt å definere visuelle symboler. Den kan også brukes til å lese, oversette og lage ansiktsuttrykk.

Computational Linguistics er vesentlig vanskeligere, og selv om Prolog har avansert gjennom årene for å innlemme for eksempel de unike grammatiske prinsippene for noen fremmedspråk, stiller mange forskere spørsmål om det effektivt representerer språk. For begrensede ekspertsystemer, for eksempel datastyrt stemmegjenkjenning teknisk supporttelefonlinjer, brukes Prolog-programmering til en viss grad av effektivitet. Det kan også integreres i høye ordens logikkmykWare-Kvantifisering av språk som C+ eller Java-men komprimering og portabilitet er fortsatt problemer som holder ut for dette dataintensive programmeringsspråket.