Prolog (programozási nyelv) - az
Alapfogalmak Prolog tények, következtetési szabályok és lekérdezések, így írja le a tudásbázist. következtetés eljárások és döntéshozatal.
A tények által leírt Prolog logikai predikátumok konkrét értékeket. Szabályok Prolog van írva formájában következtetési szabályok a logikus következtetést, és a listát a logikai feltételek.
Egy különleges szerepet a tolmács a Prologue játszani konkrét kéréseket a tudásbázist, amely logikai programozási rendszer generál válaszok „igaz” és „hamis”. Generalizált lekérdezések változókat paraméterként a rendszer létrehozott Prolog megjeleníti konkrét adatokkal alátámasztani az igazság az általános információk és következtetési szabályokat.
A tények tudásbázisok Prolog képviseli specifikus információk (tudás). Általános információk és ismeretek Prolog sor következtetési szabályok (meghatározások) és egy sor következtetési szabályok (definíciók) a konkrét tények és általános tájékoztatót.
A nyelvtörténet utal, hogy a 1970-es. [1] A deklaratív programozási nyelv. Prologue érzékeli a program leírását a probléma, vagy tudásbázisok, és ő teszi a logikus következtetés, valamint a keresési problémamegoldás, egy kereső, hogy visszatérjen, és egyesítés.
Érdekes a Prolog fel és halt meg többször, a lelkesedés váltotta merev elutasítás. Legmagasabb emelték érdeklődés a Prolog nyelv, mint a nyelv a jövőben, a fejlesztés során az ötödik generációs számítógépek a japán nemzeti program a 1980-as, amikor a fejlesztők remélik, hogy segítségével a Prologue lesz megfogalmazni új elvek, amelyek létrejöttéhez vezet számítógépek magasabb a szintű intelligencia.
Prolog 1980-ben szerepel a több szovjet egyetemi és iskolai tankönyvek a tanulmány a számítógép-tudomány elemeit a matematikai logika, az elvek a logikai programozás és a design tudásbázisok és szakértői rendszerek modellek. Ebből a célból az orosz nyelvű tanítás Prolog tolmácsok hajtották végre az IBM PC és a szám a szovjet iskola számítógépek.
A Prolog leírt tények formájában elsőrendű logika konkrét értékeket. Következtetési szabályok által leírt logikai predikátumok meghatározásával következtetési szabályok, mint állítmány listáját tudásbázisok és adatfeldolgozási eljárásokat.
Jelenleg a Prologue, többszöri pesszimista előrejelzések, folyamatosan fejlődik a különböző országok és magában foglalja az új technológiák és koncepciók, valamint az imperatív programozási paradigma. Különösen egy olyan területe, nyelvi fejlődés (többek között Oroszországban) végrehajtja a koncepció az intelligens ágensek.
Cross-platform
Prolog végrehajtják gyakorlatilag minden ismert operációs rendszerek és platformok (beleértve a Java és a .NET). A szám az operációs rendszerek mainframe operációs rendszer. Az egész család Unix. Windows-t. OS mobil platformokon.
építészet
Az alapelv az, egyenértékűségét nyelv és a programot bemutató adatok (deklaratív), így jóváhagyása nyelven egyaránt feljegyzések, mint az adatbázist, és hogy milyen szabályok maguknál kezelési módszerek. A kombináció a tulajdonságok vezet az a tény, hogy a Prolog rendszer ismerete (az adatok és szabályok) halmozódott fel. Ezért a Prolog rendszer tekinthető a természeti környezet a tudás felhalmozása és a képzés a hallgatók és iskolások az elvek a logikai programozás.
Prolog program leírja a kapcsolatot meg lehet határozni a javaslatokat. Mint bármely más nyelven orientált szimbolikus számítások. kínál sorakoznak a feltételeket, amelyek viszont vannak osztva tartalmaz, a változók száma és szerkezetek. Atom felvett kisbetűvel vagy idézőjelbe amikor felvételre is szükség van nagybetűvel.
A változók kerülnek rögzítésre a nagybetűs eltérő változókat procedurális nyelvek, akkor nem kapcsolódik egy meghatározott memória cella, hanem közelebb a matematikai változó.
A szerkezeteket képviselnek feltételek sokaságát zárójelben, beleértve egyéb szerkezetek. A szerkezet jelöli a neve (funktorhoz), amely úgy van elhelyezve, mielőtt a zárójelben.
Tovább tervezés egy lista, amelynek elemeit szögletes zárójelek között. A listák alapján Prolog kapcsolódnak listákat.
A tiszta Prolog kínál korlátozott Horn kikötés
és olvasni kezdte: Cím TRUE ha igazi test. szabály test utalásokat tartalmaz predikátumok, amelyek az úgynevezett szabály célokat. Beágyazott predikátumok / 2. ami azt jelenti, az üzemeltető két érv, amely meghatározza a célra, és a összefüggésben / 2 meghatározza diszjunkcióját.
Javaslatok egy üres test úgynevezett tényeket. Példa tény:
ez felel meg a szabályt:
Prologue bírálta elsősorban hiányos deklaratív jellegű. A programokat hoztak létre egy teljesen deklaratív stílus szinte lehetetlen, arra van szükség, hogy vegye igénybe eljárási vétel, ami megugrott összetettsége létrehozása és hibakeresés programok, valamint a nem megfelelően kontrollált részeredmények. [2] Egy másik, gyakran kritizálták jellemzője a nyelv hiánya gépelés. A nyelv, meghatározott sorrendben a bejárás megoldások mélyreható és szabványosított szereplők, így beavatkozni ebbe a folyamatba (például nyírás az üzemeltető vagy a fióktelep -.>), És nem teszik lehetővé, hogy a program összevessünk részt megoldást találni több processzor vagy hálózati csomópontok.
jegyzetek
Lásd, amit a „Prologue (programozási nyelv)” más szótárak:
Prológus (programozási nyelv) - Prológus (Prolog programozó a logika, a programozás logika), egy programozási nyelv (. Cm programozási nyelvek), a magas szintű deklaratív típusú, amelynek célja, hogy olyan rendszereket fejlesszenek és mesterséges intelligencia programok Arra utal, hogy a ... ... kollégiumi szótár
Prolog programozás - logikai programozási nyelv, amelyen a program: logikai állítások alkotnak adatbázist; és a következtetési szabályok az új állítások ismert. Az angol :. Prolog nyelvű Lásd még: A deklaratív programozási nyelvek ... ... Pénzügyi szótár
Programozási nyelv - a programozási nyelv egy formális jele nyilvántartó rendszer számítógépes programok. A programozási nyelv határoz meg a lexikai, szintaktikai és szemantikai szabályok, amelyek meghatározzák a megjelenését a program és ... ... Wikipedia
Dylan programozási nyelv - Dylan dinamikus objektum-orientált programozási nyelv, amelynek célja a gyors fejlődés a programok célja elsősorban az erőfeszítéseket a többszörös öröklődés, polimorfizmus, és még sok egyéb. Nyelv általános célú, ... ... Wikipedia
- Prolog (programozási nyelv). Jesse Russell. Ez a könyv lesz összhangban a rendelését Technology Print-on-Demand technológiát. High Quality Content Wikipedia cikket! Prologue (francia Programmation en Logique.) - a nyelv és a rendszer ... Tovább Vásárlás 1125 rubelt
- A relációs Prolog és annak alkalmazása. J .. Malpas. Leírt relációs nyelvet Prolog programozási tekinthető programozási módszertan és az egyedi alkalmazások. Tartalmaz számos jól megválasztott példákkal illusztrálva ... Bővebben Vásárlás 270 rubelt
- Alapjai programozás Prolog. Az előadások során. PA Schreiner. A könyv foglalkozik a tanulmány a legnépszerűbb nyelv mesterséges intelligencia Prologue. Ez a nyelv, a maga idejében, rakták Japánban keretében az ötödik generációs számítógép projekt is, amelyet azonban nem ... Bővebben Vásárlás 228 UAH (Ukrajna esetében)