Sadržaj:
Definicija - Što znači Prolog?
Programiranje Logique (Programiranje u logici) ili Prolog je programski jezik visoke razine koji ima svoje korijene u logici prvog reda ili predikatnom računu. Jezik je osmislila u Marseillesu u Francuskoj početkom sedamdesetih skupina koja je vodila Alain Colmerauer. Jedan je od prvih programskih jezika logike i danas je popularan. To je programski jezik koji se obično povezuje s računarskom lingvistikom i umjetnom inteligencijom, a koristi se u stručnim sustavima, dokazivanju teorema i podudaranju uzoraka preko prirodnih jezičnih raščlanjivanja i obradi prirodnog jezika.
Tehopedija objašnjava Prolog
Prvi sustav Prolog razvio je 1972. Colmerauer zajedno s Philippeom Rousselom, a temeljio se na proceduralnoj interpretaciji Rogovih klauzula Roberta Kowalskog. To je dijelom motivirano željom da se logika kao jezik deklarativnog predstavljanja uskladi s proceduralnim predstavljanjem znanja. Prolog je namjerno razvijen za obradu prirodnih jezika - bavio se računalnim i ljudskim (prirodnim) jezičnim interakcijama.
Prolog se razlikuje od ostalih programskih jezika jer je deklarativni, a ne nizovi naredbi. Ponekad se naziva jezikom koji se temelji na pravilima ili deklarativnim jer se izražava odnosima između svojstava objekata, predstavljenim kao činjenice i pravila. Računanje se pokreće pokretanjem upita o tim odnosima.
Prijave uključuju:
- Strojno učenje
- Planiranje robota
- Automatsko zaključivanje
- Rješavanje problema
- Inteligentno pretraživanje baze podataka
- Prirodno razumijevanje jezika
- Jezik specifikacije
