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 5^thgenerá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.