Hvad er Prolog?
udtænkt i de tidlige 1970'ere er Prolog, sandsynligvis en kombination af Words -programmet og logikken, et af de tidligste computerprogrammeringssprog. Til dels fordi det er meget enkel kode ved hjælp af første ordens logik og lidt beregning, er den stadig i populær brug. Det originale instruktionssæt er blevet betydeligt udvidet og udviklet til mange varianter, fordi det er særligt velegnet til at behandle sprog. Disse to primære egenskaber ved programmet giver behandlingen af applikationer såsom kunstig intelligens og automatiseret telekommunikation.
Prolog bruger formel, første ordenslogik. Instruktionerne, der er uploadet til en computer, er faste; De har ikke uklar, beregningsvægtning. I udtrykket er sprogens syntaks et endeligt sæt regler, og semantikken defineres, normalt af sæt, såsom enkeltbeskrivelser, flere lister og strenge eller af et interval som numeriske sekvenser.
Sammen med nogle bedre kendte kodning, såsom HyperText Markup Language (HTML), er Prolog i en klasse software, der ofte kaldes deklarative programmeringssprog, der karakteristisk bruger den enkle udsagn “X er lig med y”, defineret som et ”udtryk.” En computer får at vide, hvad de skal gøre; Det instrueres ikke på 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 ægte kontra falsk output -konklusion. Det udfører ikke en algoritme, men henter snarere et simpelt svar ved at tilføje og trække eller negere fra dets kendte sæt definitioner. Beregning 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 leksikalsk butik med information i hjernen, der hentes, behandles ogfodret tilbage, hvilket resulterer i større kompleksitet eller enkelhed af informationen. Med stigende hukommelseskapacitet og hurtig adgang er dette det dominerende paradigme, der har drevet Computer Science's Holy Grail - kunstig intelligens. Det, der er nøglen ifølge mange i marken, er interface og sprog. Prolog -programmering kan bruges til at skabe GUI'er, den grafiske brugergrænseflade, der er banebrydende af Apple®, ved blot at definere visuelle symboler. Det kan også bruges til at læse, oversætte og skabe ansigtsudtryk.
Computational Linguistics er væsentligt vanskeligere, og selvom Prolog er kommet frem gennem årene til at indarbejde for eksempel de unikke grammatiske principper for nogle fremmedsprog, sætter mange forskere spørgsmålstegn ved, om det effektivt repræsenterer sprog. For begrænsede ekspertsystemer, såsom computeriseret stemmegenkendelse teknisk supporttelefonlinjer, bruges Prolog-programmering til en vis grad af effektivitet. Det kan også integreres i højere orden logik blødWare-Kvantificering af sprog som C+ eller Java-men komprimering og portabilitet er stadig problemer, der holder ud for dette datakrævende programmeringssprog.