Dator > hur man skapar en prolog lägga predikat

  • hur man skapar en prolog lägga predikat


  • Prolog innehåller en inbyggd predikat kallas " append " som lägger till två listor , men skriva din egen hjälper dig att få en förståelse för hur språket används matchning och enande för att utföra beräkningar .

    I ett rättegångsfel och tvingande programmeringsspråk (t. ex. C + + eller Java ) , skulle du skriva en algoritm som loopar över två listor och lägger ihop dem . I Prolog , du tvärtom , du skriver en uppsättning regler som definierar vad den slutliga listan ska se ut , och tolken gäller dessa regler för att beräkna resultatet .

    Liksom inbyggda " append " predikat , kommer du definiera en " appendLists " predikat som tar tre argument : den första listan , den andra listan , och resultatet av att lägga till första och andra listor tillsammans .

    i Prolog , tomma hakparenteser " [ ] " (utan citattecken ) betecknar den tomma listan och beteckningen " [ Första | Övriga ] "( utan citattecken ) representerar en lista vars första elementet är " . först " och vars övriga beståndsdelar är en lista som heter " Vila "

    Du behöver : .
    Prolog tolk


    1 .
    Definiera en regel för basen fallet med rekursion , där det anges att lägga någon lista till tomma listan resultaten i den ursprungliga listan. Skriv in följande regel i din Prolog tolk , utan den omgivande citationstecken och tryck på Enter . " . appendLists ([ ] , Lista , lista ) "
    2
    Definiera en regel för den rekursiva fall genom att skriva följande regel i din tolk , utan den omgivande citationstecken , och trycka på Enter : " appendLists ( [ Första | Rest1 ] , Lista , [ Första | Rest2 ] ) :-appendLists ( Rest1 , Lista , Rest2 ) . "Denna regel anger att ( läsa höger först) , om att lägga " Rest1 " och " Lista " resultat i " Rest2 " , då är det också sant att lägga " Head "följt av " Rest1 " och " Lista " resultat i " Head "följt av " Rest2 "
    3
    Testa dina förbrott med ett exempel: Skriv följande fråga till tolk , utan citationstecken och tryck på Enter :. . " appendLists ( [a , b ] , [ c , d ] , resultat) . " Tolken bör återgå den bifogade förteckningen av den obundna variabeln " Resultat " och skriv " Resultat=[a, b , c , d ] " .


Previous:Vilka är fördelarna med Java uppgradera ? Next:hur man utvecklar ett databasprogram





Relaterade artiklar


  • bläck refill kit instruktioner för Kodak 10 cylinderampuller
  • hur man bygger ett externt batteri för bärbar dator
  • hur du säkerhetskopierar en återhämtning enhet
  • hur du skannar en HP allt-i-ett
  • hur du aktiverar en Dell dubbla processorer
  • Inaktivera trådlösa tjänster på Lenovos bärbara datorer
  • hur du tar bort tangentbordet på en Toshiba M400 ez5031
  • hur man installerar asp.net
  • den snabbaste asus gaming laptops
  • Hur du använder flera bildskärmar samtidigt med SVGA dvi