Title: Logikprogrammering Logik
1Logikprogrammering Logik är användbar som
programmeringsspråk!
- Logikprogrammering används ofta för att hantera
språk. Även i språkhantering behövs backtracking
många ord har flera betydelser, så val uppstår.
Översätt "the old man".Lätt, det blir "den gamla
mannen".
- Att programmera är att tänka logiskt, oavsett i
vilket språk man programmerar. Men i
logik-programmering används själva logiken som
grunden i språket. Idén är att ett dator-program
säger två saker vad är uppgiften (uppgiftens
logik), och hur ska datorn lösa den (styrning).
De flesta programmerings-språk betonar
styrningen programmet är en rad kommando. Men
ett logiskt program är en beskrivning av
uppgiften. -
-
Men om hela meningen är "The old man the boat,
då stämmer inte ditt första val, och du måste
välja om "Gamlingarna bemannar båten."
Det är till exempel mycket enklare att beskriva
vad en lösning för ett pussel är, än att beskriva
hur den hittas. I stället får datorn själv söka
efter en lösning.
Kursen har flera infallsvinklar att
programmera, teorin (logiken) bakom, hur datorn
hanterar programmet, och inte minst användningar
som språkhantering, lösa pussel, och att
programmera datorn att spela strategispel.
Att lösa ett pussel är som att hitta din väg i
ett labyrintdu måste gissa en väg utan att veta
att den är rätt. Ibland kör du fast, och då går
du tillbaka till det senaste valet, och börjar om
där.
Förkunskaper Programmering, datastrukturer,
logik. Kursmål En bredare syn på programmering.
En utökning av ditt urval av programmeringsmetoder
.
Denna strategi (backtracking) är inbyggt i
logikprogrammeringen, vilket gör det lätt att
skriva program med ett sådant beteende.