Mi az a Prolog
- A Prolog a logikai programozást jelenti. A logikai programozási paradigmában a prolog nyelv a legszélesebb körben elérhető. A Prolog egy deklaratív nyelv, ami azt jelenti, hogy egy program tényeken és szabályokon alapuló adatokból áll (logikai kapcsolat), nem pedig a megoldás megtalálásának módját. A logikai kapcsolat azokat a kapcsolatokat írja le, amelyek az adott alkalmazásra érvényesek.
- A megoldás megszerzéséhez a felhasználó egy kérdést tesz fel, nem pedig egy programot futtat. Amikor a felhasználó feltesz egy kérdést, akkor a válasz meghatározásához a futásidejű rendszer a tények és szabályok adatbázisában keres.
- Az első Prolog a „Marseille Prolog” volt, amely Colmerauer munkáján alapul. A negyedik generációs programozási nyelv fő példája a prolog volt. Támogatja a deklaratív programozási paradigmát.
- 1981-ben egy japán számítógépes projekt 5thgenerációt jelentették be. Ezt követően a Prolog-ot fejlesztői nyelvként fogadták el. Ebben az oktatóanyagban a program a „Standard” Edinburgh Prologban íródott. A PrologII család prologjai a másik típusú prologok, amelyek a Marseille Prolog leszármazottai.
- A Prolog jellemzői 'logikai változók', ami azt jelenti, hogy egységes adatstruktúraként viselkednek, a bizonyítások keresésére szolgáló visszalépési stratégia, mintaillesztési lehetőség, matematikai változó, valamint a bemeneti és kimeneti adatok felcserélhetők.
- A válasz kikövetkeztetéséhez több mód is lesz. Ebben az esetben a futásidejű rendszer más megoldást fog kérni. Másik megoldás létrehozásához használja a visszalépési stratégiát. A Prolog egy gyengén tipizált nyelv statikus hatókör-szabályokkal és dinamikus típusellenőrzéssel.
- A Prolog egy deklaratív nyelv, ami azt jelenti, hogy meg tudjuk határozni, hogy milyen problémát szeretnénk megoldani, nem pedig azt, hogyan oldjuk meg.
- A Prolog-ot bizonyos területeken használják, mint például az adatbázisok, a természetes nyelvi feldolgozás, a mesterséges intelligencia, de bizonyos területeken, például numerikus algoritmusokban vagy példánygrafikákban, meglehetősen haszontalan.
- A mesterséges intelligencia alkalmazásokban a prologot használják. A mesterséges intelligencia alkalmazások lehetnek automatizált érvelési rendszerek, természetes nyelvi interfészek és szakértői rendszerek. A szakértői rendszer egy interfész motorból és egy tényadatbázisból áll. A prolog futásidejű rendszere egy interfész motor szolgáltatását biztosítja.
- Az alapvető logikai programozási környezetnek nincsenek szó szerinti értékei. A nagybetűs azonosítók és egyéb azonosítók változókat jelölnek. A kisbetűkkel kezdődő azonosítók adatértékeket jelölnek. A Prolog alapelemei típus nélküliek. A prolog legtöbb megvalósítása egész számmal, karakterekkel és műveletekkel bővült. A prolog mechanizmusa leírja a sorokat és listákat.
- A funkcionális programozási nyelvnek és a prolognak van néhány hasonlósága, mint például a Hugs. A logikai program relációdefinícióból áll. A funkcionális programozási nyelv a függvénydefiníciók sorozatából áll. Mind a logikai programozás, mind a funkcionális programozás nagymértékben támaszkodik a rekurzív definíciókra.
A Prolog alkalmazásai
A prolog alkalmazásai a következők:
- Specifikáció nyelve
- Robot tervezés
- Természetes nyelvértés
- Gépi tanulás
- Problémamegoldás
- Intelligens adatbázis visszakeresés
- Szakértői rendszer
- Automatizált érvelés
Előfeltétel
Mielőtt megtanulná a Prologot,
Közönség
Prolog oktatóanyagunk kezdőknek és profiknak készült.
singleton design minta java
Problémák
Biztosítjuk, hogy ebben a Prolog oktatóanyagban nem talál problémát. De ha bármilyen hiba van, kérjük, adja meg a problémát egy kapcsolatfelvételi űrlapon.