Hvad er Prolog?
Prolog, der blev udtænkt i de tidlige 1970'ere, er sandsynligvis en kombination af ordets program og logik, et af de tidligste programmeringssprog til computere. Dels fordi det er meget simpelt kode, ved hjælp af første ordens logik og lidt beregning, er det stadig i populær brug. Det originale instruktionssæt er blevet betydeligt forstørret og udviklet til mange varianter, fordi det er særligt velegnet til processprog. Disse to primære attributter ved programmet giver behandlingen til applikationer såsom kunstig intelligens og automatiseret telekommunikation.
Prolog bruger formel, første ordens logik. Instruktionerne uploadet til en computer er faste; de har ikke fuzzy, computational vægtning. Som udtryk er sprogets syntaks et begrænset sæt regler, og semantikken defineres normalt af sæt som enkeltbeskrivelser, flere lister og strenge eller af et interval som numeriske sekvenser.
Sammen med nogle bedre kendte kodninger såsom HTML-sprog (Hypertext Markup Language) er Prolog i en klasse af software, der ofte kaldes deklarative programmeringssprog, der karakteristisk bruger den enkle sætning "X er lig med Y", defineret som et "udtryk." En computer er fortalte, hvad de skal gøre; det instrueres ikke om at beregne på egen hånd, hvordan man kommer dertil. Computeren får et sæt fakta med et "predikat" og relationer, defineret som en "klausul," hvorfra en inputforespørgsel skal give en sand kontra falsk outputkonklusion. Det udfører ikke en algoritme, men afleder snarere et simpelt svar ved at tilføje og trække eller bortfalde fra det kendte sæt af definitioner. Computing i Prolog bruges til at teste og bevise teorier og deres underliggende antagelser, fra avanceret matematik til biologi til filosofi.
En af de kognitive teorier om intelligens er, at der er en stor, men endelig leksikalisk opbevaring af information i hjernen, som hentes, behandles og fodres tilbage, hvilket resulterer i større kompleksitet eller enkelhed af informationen. Med øget hukommelseskapacitet og hurtig adgang er dette det dominerende paradigme, der har drevet datalogiens hellige gral - kunstig intelligens. Det, der er nøglen ifølge mange i området, er interface og sprog. Prolog-programmering kan bruges til at oprette GUI'er, den grafiske brugergrænseflade, der er skabt af Apple®, ved blot at definere visuelle symboler. Det kan også bruges til at læse, oversætte og skabe ansigtsudtryk.
Computational sprogvidenskab er væsentligt vanskeligere, og mens Prolog gennem årene har fremskredt for at inkorporere for eksempel de unikke grammatiske principper på nogle fremmede sprog, stiller mange forskere spørgsmålstegn ved, om det effektivt repræsenterer sprog. For begrænsede ekspertsystemer, f.eks. Computerstyret teknisk supporttelefonlinje til stemmegenkendelse, bruges Prolog-programmering til en vis grad af effektivitet. Det kan også integreres i logikssoftware med højere orden - kvantificering af sprog som C + eller java - men komprimering og portabilitet forbliver problemer, der varer ved dette datatunge programmeringssprog.