Typy Horn doložky v Prolog

Prológ ( programovanie v logike ) , bol vyvinutý vo Francúzsku pre vytvorenie prirodzeného jazyka prekladateľa . To bola zdokonalená v Škótsku pre písanie automatických dokazovaciu pre matematiku a logiku . Stalo sa medzinárodnej pozornosti , keď bol vybraný pre japonský projekt " piatej generácie " . Programy Prológ sa skladá zo starostlivo usporiadaného zoznamu pravidiel ( písomné i ustanovenia rohov ) . Používateľ položí otázku a odpovede programu - z hľadiska pravidiel . Jedná sa o mimoriadne užitočný vzor . Štandardné Horn Kapitoly

ustanovenia Horn boli vynájdené v roku 1951 americký matematik Alfred Horn . Podľa jeho slov , klauzula roh je " disjunkcia literálny , ktoré majú nanajvýš jeden pozitívny literál . " Ustanovenia o typický roh vyzerá takto : " . Negatívne " ( nie ) , alebo ( nie B ) , alebo C. pozitívny literál je C , A aj B sú Ak klauzula roh má práve jeden pozitívny literál - ako ustanovenia Prológ roh robiť - je to tzv doložka o definitívnej roh . Ustanovenia Horn sú zvyčajne písaný v zjednodušenej , ale rovnocenné formáte . Disjunktívny vyhlásenie ( nie ) alebo ( nie B ) alebo C je logicky ekvivalentná príkazu ( A a B ) znamená C. To je zjednodušený na : A , B - C ( v ktorom " - " predstavuje šípka implikácie ) . Doložka Najjednoduchšie roh je jediná pozitívna literál ( v ktorom nie je šípka ) - . To je rovnaké pre obe rohov doložiek a Prológ
prológu Horn Ustanovenia
< pravidlá p > Prológ vyzerať ustanovenia rohov , s výnimkou šípka iným spôsobom . Pravidlo gramatiky , že veta sa skladá zo menné frázy a slovesá vety je napísaný S : - NP , VP . Sada pravidiel môže obsahovať aj výrok , že vzťahujú údaje frázy sa skladá z predmetu a podstatné meno , písomné NP : - , N. Ak existuje ďalšie pravidlo o tom , že vzťahujú údaje frázy je množné podstatné meno , to mohlo byť napísané NP : - PN . Keď sú všetky pravidlá sú na mieste , môže používateľ odoslať " vetu " do programu a program sa bude snažiť , aby zodpovedala " vetu " pravidiel . Prológ pracuje dozadu prostredníctvom pravidiel - v prípade , že otázka zodpovedá uzavretie ( pozitívny literál ) z pravidla , že predchodcovia ( negatívna literály ) sa stanú nové otázky . Ak sú všetky otázky , nakoniec sa vyrovnal so skutočnosťou , " veta " je platný veta . Tento zodpovedajúce proces funguje pre matematiku , logiku a ďalšie systémy založené na pravidlách , rovnako ako to funguje na gramatiku .
Cut Clausa

Existujú tri typy z rohov ustanovení , ktoré sa používajú v Prolog : ( bez šípky ) výkaz o skutočnosti , pravidlo ( s šípkou , jeden pozitívny literál a aspoň jeden negatívny literál ) a rezané . Ustanovenia Cut obsahovať " ! " symbol . Keď tlmočník Prológ vidí symbol rezu ( vyslovuje sa " bang " ) , odstráni zostávajúce pravidlá, ktoré majú rovnaký pozitívny literál ako pravidlo , ktoré obsahuje muziky . To môže mať niekoľko vplyv na programoch - to môže predstavovať určité negatívne výsledky , je možné sa vyhnúť , alebo riešiť hladko s poruchami , alebo môže jednoducho odstrániť časť hľadaného miesta a urýchliť program
< br . >

• Predchádzajúca strana: Ako vypočítať pracovné dni v SQL 
• Ďalšia strana: Ako napísať program , ktorý zobrazuje študent ID číslo