Logikus megoldás a problémára a Prolog nyelv - természetesen projekt
Előszó - a nyelv és a rendszer logikai programozás alapján a nyelv állítmány matematikai logika Horn kikötés, amely egy részhalmaza elsőrendű logika predikátumok.
Alapfogalmak Prolog tények, következtetési szabályok és lekérdezések, így írja le a tudásbázis, a következtetési eljárás és a 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 igaz és hamis válaszokat. 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. Ennek deklaratív programozási nyelv, Prolog program veszi a probléma leírását 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.
Prolog a legnépszerűbb nyelv logikai programozás hosszú történelmi fejlődés, egy hatalmas közösség és elegendő mennyiségű minőségi irodalom, ellentétben például a Lisp programozási nyelv. Prolog problémák megoldását igénylő logikai következtetések, a legtöbb tömören, mint bármelyik strukturált nyelvet. A megoldás rövidebb és könnyebb megérteni, annál könnyebb megérteni árnyalatok, hogy sokkal fontosabb, ha dolgozik egy csapat programozó.
Egyes rejtvények ismert ősidők óta. Az eredeti logikai rejtvények falain található az egyiptomi piramisok, az ókori görög kéziratok és más történelmi emlékek. A fénykorát a középkori történelem a rejtvényeket lehet tekinteni a végén a IX században. Rising oktatási szintek csökkenését és a vallási intolerancia a tudományok vezettek, hogy növelje a rajongók száma logikai feladatokat. Ebben az időben, ott is volt az első könyv rejtvények Európában - gyűjteménye ír pedagógus Alcuin célokat a fejlesztési egy fiatal elme.
A következő lendület fejlődésének rejtvények volt a találmány 1974-ben a magyar Rubik Ernő híres kocka. Rubik-kocka mára nem csak egy játék, hanem a kutatás tárgyát matematikusok és mérnökök. Azóta a világ minden tájáról rendszeresen tartanak versenyeket nagysebességű szerelvény kocka. A modern ipar rohamosan fejlődik feladványok. Folyamatosan a piacon, új játékokat, és a design kiadványok célja, hogy tartsa az emberi értelem jó formában, fejleszteni a logika, laterális gondolkodás, hogy a vonat, és javítsák a szellemi szintre, mint egészre.
Egyes távoli föld Knights mindig igazat mond, és soha nem hazudik, de a hazugok mindig csak hazudott, és soha nem mondott igazat. És most jön a legérdekesebb feladat, ünnepélyesen kijelentette király.
A Mr. Anthony jelen volt egyszer a bíróság. Heard esetén kémkedés vádjával. A dokkoló ült a három A, B és C, amelyhez képest az elején a találkozó is ismert volt, csak az, hogy az egyikük egy lovag, a másik pedig egy hazug, a harmadik pedig egy kém.
A bíró megkérdezte az alperest: Ön egy kém? És a válasz monosyllables ( „igen” vagy „nem”). Ezután a bíró megkérdezte az alperest K: Igaz, amit az A? Az adott szó választ ( „igen” vagy „nem”), ami után a bíró, rámutatva, hogy az alperesek egyike, azt mondta: Te nem vagy kém, a szabadlábra, és légy szabad! Ő szívesen hagyta el a termet. A bíró ezután megkérdezte az egyik a másik kettő a dokk, ha a szomszédja kém. Azt válaszolta monosyllables ( „igen” vagy „nem”), amely után a bíró teljes bizonyossággal megállapítani, aki kém volt.
Miközben még mindig nem tudja eldönteni, hogy ki a kém, a király azt mondta, hogy Alice, több adatra van szükség.
Hallgassa meg, hogy mi történt ezután.
Anthony mondta a folyamat az e