Co je prolog jazyk?

Prolog je počítačový programovací jazyk, který je založen na logice.Většina počítačových jazyků je založena na krocích potřebných k vyřešení problému.Na druhé straně jazyk prolog je deklarativní jazyk, který naznačuje logické vztahy mezi entitami.Způsob, jak problém vyřešit, je ponechán na počítači.Jméno Prolog pochází z francouzského programování en logique, tj. Programovací logika.

Následuje jednoduchý Prolog Program:

Ancestor (F, C):- Otec (F, C)
Předek (P, Q):- Otec (P, R), předchůdce (R, Q)
otec (John, Jim).
otec (Jim, Jerry).
otec (Jerry, Jason).
Otec (Jeff).
Otec (Jason, Joshua).

Výše uvedený program naznačuje truismus.Pokud F je otcem C, pak je f předchůdcem C. Pokud P je otcem nějaké osoby R, který je předchůdcem Q, pak P je předchůdce Q. Poté je uvedeno několik skutečných faktů, jako napříkladJohn je otcem Jim.Pokud je tedy položena otázka problémové otázky o tom, zda je John předchůdcem Jeffa, dostaneme odpověď ano, jak je uvedeno níže:

?- předchůdce (John, Jeff).
Ano

Pokud jsou předci Joshua zajímavíProgram zobrazuje všechny předky takto:

?- Ancestor (A, Joshua)
A ' Jason
A ' Jerry
A ' Jim
A ' John

Všimněte si, že v obou výše uvedených instancích to neřekljak provést hodnocení.Například to nenaznačovalo, zda začít u starší osoby a pracovat na mladší osobě nebo naopak.Rovněž zaměňování částí, jak je uvedeno níže:

Ancestor (P, Q):- Ancestor (R, Q), Otec (P, R)

Nebylo by to pro program nijak rozdíly, protože obě tyto části na pravé straně by potřebovalyAby to byla pravdivá, aby byla pravdivá levá strana.Během provádění programu Prolog vybuduje řadu skutečných prohlášení a vytvoří znalostní základnu.Ve výše uvedeném příkladu by znalostní základna v žádném konkrétním pořadí neměla předchůdce (John, Jim), předchůdce (Jim, Jerry), předchůdce (John, Jerry), předchůdce (Jim, Jason), předchůdce (John, Jason),a tak dále.Tato znalostní základna může pokračovat v budování, jak se program provádí, a lze ji efektivně prohledat, aby získal řešení.Provedení může používat paralelní zpracování, současné provádění více počítačů.

Prolog jazyk se používá v řadě oblastí.Začalo to v systémech zaměřených na přirozené jazyky, jako je angličtina;Přirozený jazyk je jednou z oblastí umělé inteligence.Jazyk prolog se také používá v symbolické matematice, včetně algebry.Používá se při prokazování věty, v odborných systémech a v kontrolních systémech, mezi mnoha dalšími aplikacemi.