Tartalomjegyzék:
Meghatározás - Mit jelent a Prolog?
Programming en Logique (Programozás logikában) vagy a Prolog egy magas szintű programozási nyelv, amelynek gyökerei az elsőrendű logika vagy az elsőrendű predikátumszámítás. A nyelvet az 1970-es évek elején a franciaországi Marseille-ben fejlesztették ki egy csoport, Alain Colmerauer vezetésével. Ez az egyik első logikai programozási nyelv, és továbbra is népszerű. Ez egy programozási nyelv, amelyet általában a számítógépes nyelvészethez és a mesterséges intelligenciához társítanak, és szakértői rendszerekben, a tétel bizonyításában és a minták illesztésében használják a természetes nyelvi elemző fákat és a természetes nyelv feldolgozását.
A Techopedia magyarázza Prolog-t
Az első Prolog-rendszert 1972-ben fejlesztette ki Colmerauer és Philippe Roussel együtt, és Robert Kowalski által a Horn záradékok eljárási értelmezésén alapult. Ezt részben motiválta az a vágy is, hogy a logika deklaratív tudás-reprezentációs nyelvként való használatát összehangolják a tudás eljárási reprezentációjával. A Prolog-ot szándékosan fejlesztették ki a természetes nyelvfeldolgozáshoz - a számítógépes és az emberi (természetes) nyelv kölcsönhatásokkal foglalkozva.
A Prolog különbözik a többi programozási nyelvtől, mivel deklaratív, nem pedig a parancsok sorozata. Ezt néha szabály-alapú vagy deklaratív nyelvnek hívják, mivel az objektumok tulajdonságai közötti viszonyokban fejeződik ki, tényekként és szabályokként bemutatva. A kiszámítást egy ilyen lekérdezés lekérdezésével indítják el.
Az alkalmazások tartalmazzák:
- Gépi tanulás
- Robot tervezés
- Automatizált érvelés
- Problémamegoldás
- Intelligens adatbázis-visszakeresés
- A természetes nyelv megértése
- Specifikációs nyelv
