• 
  

  typer av horn klausuler i Prolog

  
  

Prolog ( Programmering i Logic ) utvecklades i Frankrike för att skapa naturligt språk översättare . Det var perfekt i Skottland för att skriva automatisk bevisverktyg för matematik och logik . Det kom till internationell uppmärksamhet när det valdes för den japanska " femte generationen " projekt . Prolog programmen består av en noga ordnad lista av regler ( skrivet som horn klausuler ) . Användaren ställer en fråga och svaren programmet-i form av reglerna . Det är en anmärkningsvärt bra paradigm .

Standard Horn klausuler

Horn klausuler uppfanns 1951 av den amerikanske matematikern Alfred Horn . I hans ord är ett horn klausul " en disjunktion av litteraler som har högst en positiv bokstavligt . " En typisk horn klausul ser ut så här : ( inte A) eller ( inte B ) eller C. Den positiva bokstavliga är C , både A och B är " negativa ". Om horn klausul har exakt en positiv bokstavlig-som Prolog horn klausuler gör-det kallas en bestämd horn klausul . Horn klausuler är oftast skrivna på ett förenklat men motsvarande format . Den disjunktiva uttalande ( inte A) eller ( inte B ) eller C är logiskt ekvivalent till meddelandet (A och B ) innebär C. Detta förenklas till : A , B-: C ( där "--:" representerar innebörden pilen) . Den enklaste horn klausul är ett enda positivt bokstavliga ( där det inte finns någon pil )-detta är samma för både horn klausuler och Prolog

Prolog Horn klausuler

Prolog regler se ut horn klausuler , utom . pilen pekar åt andra hållet . Grammatiken regeln att en mening består av en nominalfras och en verbfras är skrivet S :-NP , VP . De regler kan också innehålla uttalande att en nominalfras består av en artikel och ett substantiv , skriven NP :-A, N. Om det finns en annan regel som säger att en nominalfras är ett substantiv i plural , kan det skrivas NP :-PN . När alla regler är på plats , kan användaren skicka en " mening " till programmet och programmet kommer att försöka matcha " meningen " med reglerna . Prolog arbetar baklänges genom regler-om frågan matcher ingående ( positiva bokstavlig ) av en regel , föregångarna ( negativa litteraler ) blivit den nya frågor . Om alla frågor till slut stämmer med fakta , är " meningen " en giltig mening . Detta matchningsprocessen fungerar för matematik , logik och andra regelbaserade system så bra som det fungerar för grammatik

Klipp avsnitt

Det finns tre typer av horn klausuler som används i Prolog : den ( ingen pil ) faktapåstående regeln ( med en pil , en positiv bokstavligt och minst en negativ bokstavligt ) och cut . Skär klausuler innehåller " ! " symbol . När Prolog tolken ser skära symbolen (uttalas " bang " ) , tar bort det övriga regler som har samma positiva bokstavlig som regel som innehåller bang . Detta kan ha flera effekter på program-den representerar vissa negativa resultat kan man undvika eller hantera smidigt med misslyckanden , eller det kan helt enkelt eliminera en del av sökandet utrymme och påskynda programmet.

Previous：nothing Next：hur man gör tunnbröd på en George Foreman

Relaterade artiklar