Mi a Prolog nyelv?
A Prolog egy számítógépes programozási nyelv, amely a logikán alapul.A legtöbb számítógépes nyelv a probléma megoldásához szükséges lépéseken alapul.A prolog nyelv viszont deklaratív nyelv, amely jelzi az entitások közötti logikai kapcsolatokat.A probléma megoldásának módját a számítógép hagyja.A Prolog név a francia programozásból származik, azaz a programozási logika.:- Atya (P, R), őse (R, Q)
Atya (John, Jim).Atya (Jim, Jerry).
Atya (Jerry, Jason).Jason, Joshua).
A fenti program a truizmusokat jelzi.Ha f C atyja, akkor F a C őse.John Jim apja.Ha egy problémakérdés merül fel arról, hogy John-e Jeff őse, akkor a választ az alábbiak szerint:
?- ősök (John, Jeff).A program az összes őseket a következőképpen jeleníti meg:
?- Ancestor (A, Joshua)
a ' Jason
a ' jim
a ' John
Hogyan kell elvégezni az értékelést.Például, nem jelezte, hogy az idősebb embernél indul -e, és a fiatalabb ember felé halad -e, vagy fordítva.A részeket az alábbiak szerint cserélve:
ősök (p, q):- ősök (r, q), apa (p, r)hogy igaz legyen annak érdekében, hogy a bal oldal igaz legyen.A program végrehajtása során a Prolog számos valódi állításot készít, létrehozva egy tudásbázist.A fenti példában a tudásbázisnak nincs konkrét sorrendjében őse (John, Jim), őse (Jim, Jerry), őse (John, Jerry), őse (Jim, Jason), őse (John, Jason),stb.Ez a tudásbázis folytathatja az építkezést, amint a program végrehajtja, és hatékonyan kereshető a megoldások megszerzéséhez.A végrehajtás párhuzamos feldolgozást, egyidejű végrehajtást használhat több számítógépnél.
A prolog nyelvet számos területen használják.A természetes nyelvekre, például az angolra irányított rendszerekben indult;A természetes nyelv a mesterséges intelligencia egyik területe.A prolog nyelvet a szimbolikus matematikában is használják, beleértve az algebrát is.A tételek, a szakértői rendszerekben és a kontroll rendszerekben történő bizonyításához használják, sok más alkalmazás között.