Prolog er et kraftig nytt programmeringsspråk med applikasjoner på forkant av vitenskapelig forskning. Den ble utviklet i Frankrike av forskere interessert i å automatisk maskin oversettelse mellom naturlige språk . Det ble deretter raffinert i Skottland av matematikere interessert i dataprogrammer som automatisk bevise matematiske teoremer . Det ble senere valgt av den japanske for femtegenerasjons Artificial Intelligence Prosjekt offisielle språk . Natural Language Translation

hjelp Prolog innebærer å skrive en rekke utsagn som beskriver kunnskap i en viss begrenset område og deretter stille spørsmål om dette domenet . Prolog søker automatisk gjennom uttalelser og kommer opp med alle mulige svar som er i tråd med rekken av uttalelser. Om uttalelsene definisjoner og grammatiske regler , kan Prolog ta en kandidat setning og avgjøre om det er en gyldig setning i form av definisjoner og regler for språket. En litt mer avansert program vil returnere en oversettelse av straffen dersom den er gyldig .
Automatic Theorem Proving
p Hvis databasen av utsagn består av matematiske sammenhenger i stedet for grammatisk de, kan du kaste et teorem som et spørsmål og Prolog systemet vil svare med et "ja" eller "nei" avhengig av om teoremet er konsistent med databasen av fakta og regler . Viser en uttalelse er i samsvar med et sett av regler og fakta er det samme som å teste en foreslått matematiske eller logiske teoremet til å se den er gyldig . Prolog forstår verken matematikk eller logikk - . Det bare forstår konsistens
Data Mining

Prolog, etter sin art , setter opp en database . På grunn av måten Prolog uttrykk inneholder variabler , kan et spørsmål om databasen returnere ønskede verdier . For eksempel : Spørsmålet " Bigger_than_a_breadbox ( X)" vil returnere et "nei" hvis ingenting i databasen er større enn en brødboksen . Hvis noe er , vil Prolog tilbake "ja" , samt en liste over alle tingene i databasen som forårsaket en "match ". Det vil være en liste som: . X = Godzilla , X = The Empire State Building , X = A Volkswagen og så videre , avhengig av innholdet i databasen
Robotics

Robots må hele tiden spørre seg selv det samme spørsmålet: "Hva gjør jeg nå ? " Databasen som brukes til å besvare dette spørsmålet kommer fra tre kilder: de sensorer , minne og kommandoer fra mennesker . Spørsmålet forblir den samme , men databasen som brukes til å svare på spørsmålet stadig endres . En av fordelene ved å bruke prologparsar med en robot , er at flere prologs kan kjøres samtidig på den samme databasen. Øynene kan kjøre en prolog mens beina kjøre et annet prolog uten forstyrrelser , som verken endrer databasen .