Vitajte na [www.pocitac.win] Pripojiť k domovskej stránke Obľúbené stránky
Použitie Prológ zahŕňa písanie sériu vyhlásenie vymedzujúce znalosti v určitej obmedzenej oblasti a potom klásť otázky týkajúce sa tejto oblasti . Prológ automaticky prehľadá vyhlásenie a príde so všetkými možnými odpoveďami , ktoré sú v súlade s radom príkazov . Ak je vyhlásenie sú definície a gramatické pravidlá , Prológ môže trvať kandidáta vetu a rozhodnúť , či je platný trest , pokiaľ ide o definície a pravidlá jazyka . Mierne sofistikovanejšie program by vrátiť preklad vety , pokiaľ je platný .
Automatické dokazovanie
databázy výkazov sa skladá z matematických vzťahov namiesto gramatické tie môžete vrhať vetu ako otázku a systém Prológ odpovie " áno " alebo " nie " v závislosti na tom , či veta je v súlade s databázy faktov a pravidiel . Zobrazenie vyhlásenie je v súlade s súbor pravidiel a faktov je rovnaký ako testovanie navrhovanej matematický alebo logický teorém vidieť , že je platný . Prológ chápe ani matematiku , ani logiku - je to len chápe konzistenciu
Data Mining
Prolog , podľa svojej povahy , nastaví databáze .. Kvôli spôsobu , akým Prológ výrazy obsahovať premenné , môže otázka o databáze vrátiť požadovanej hodnoty . Napríklad dotaz " Bigger_than_a_breadbox ( X ) " vráti " nie" , ak sa nič v databáze , je väčšia než Breadbox . Ak je niečo , Prológ vráti " áno " , rovnako ako zoznam všetkých vecí v databáze , ktoré spôsobili " zápas . " K dispozícii bude zoznam ako : . X = Godzilla , X = Empire State Building , X = Volkswagen , a tak ďalej , v závislosti na obsahu databázy
Robotics
Roboti musí neustále pýtať sami seba rovnakú otázku : " Čo mám robiť teraz " Databázy , ktorá sa používa pre odpoveď na túto otázku pochádza z troch zdrojov : z čidiel , pamäť a príkazov z ľudí . Otázkou zostáva rovnaká , ale databáza , ktorá sa používa na zodpovedanie otázky sa neustále mení . Jednou z výhod použitia prológ s robotom je , že niekoľko Prologs môže bežať súčasne na rovnakej databáze . Oči môžete spustiť jednu prológ , zatiaľ čo nohy spustiť ďalšie prológ bez zásahu , pretože ani zmeny v databáze .