Hvad er logisk programmering?

Logisk programmering er en type computerprogrammering, hvor programmøren skal give computerinstruktionerne om, hvordan man træffer beslutninger ved hjælp af matematisk logik, såsom brugen af en matematisk algoritme.Computerprogrammer består af kode, der fortæller computeren, hvad de skal gøre.Til sidst vil computeren dog løbe ind i et tilfælde, hvor den skal tage en beslutning om, hvordan man går videre, og uden nogen information om, hvordan man gør dette, kunne den ikke afslutte sin aktuelle funktion.Logikprogrammering omhandler disse typer beslutninger og giver instruktioner til computeren, så det kan tage en logisk beslutning om, hvordan man bedst kan reagere på en bestemt situation.For at logisk programmering til at arbejde skal, at programmøren, der skriver koden, skal sikre, at hendes udsagn giver mening og er sandt, er der således logiske, og et computerprogram, der er kendt som en sætningsproduktion, kræves for at tage beslutninger baseret på de udsagn, det møder i programmererneKode.

En sætningsproduktion henviser til et computerprogram, der er designet til at løse matematiske udsagn kendt som sætninger.Sætninger er udsagn, der viser sig at være rigtige baseret på tidligere udsagn.I logisk programmering fungerer sætningen sammen med de udsagn, der er oprettet af computerprogrammøren for at nå ud til konklusioner.For eksempel, hvis koden angiver, at A er lig med B og B er lig med C, vil sætningsproduktionen gøre den logiske konklusion, at A skal være lig med C. Denne proces er anderledes end programmereren, der blot fortæller computeren iKode, at a er lig med C, fordi computerprogrammet skal drage denne konklusion ved hjælp af sætningen og de programmerere originale udsagn i koden. I teorien, for at logisk programmering skal arbejde, behøver programmeringen kun at sikre, at hendes udsagn erKorrekt, og skaberen af sætningen skal sikre, at programmet kan læse udsagn og træffe de mest effektive beslutninger baseret på dem.Evnen til at tage en effektiv beslutning omtales som en computer, der fungerer logisk.I virkeligheden overlapper de to arbejdsområder, og de, der udfører logisk programmering, er ofte nødt til at ændre og manipulere koden baseret på, hvordan sætningen af sætningen fungerer for at opnå de resultater, de ønsker.Bare det at sætte nøjagtige udsagn om, hvordan man træffer en bestemt beslutning, er muligvis ikke nok til at få computeren til at udføre den rigtige funktion, og programmereren bliver nødt til at teste hendes kode og foretage justeringer i overensstemmelse hermed.

For logisk programmering kan det også arbejdeer afhængig af bagud ræsonnement.I baglæns ræsonnement kommer programmet til konklusioner ved at se på et sæt data og arbejde fra generelle kendte udsagn for at nå frem til mere avancerede konklusioner.Programmet ved muligvis, at to informationsstykker er rigtige, og det vil udlede, at da disse to informationsstykker er sandt, betyder det, at et tredje stykke information også er sandt.Den fortsætter denne proces, indtil den når en logisk konklusion baseret på de oplysninger, der er givet.På grund af den måde, det fungerer på, er logisk programmering bygget på erklærende repræsentationssprog, hvilket betyder, at programmet fortæller computeren, hvad det skal gøre, men overlader det op til sætningen for at bestemme den mest logiske eller effektive måde at udføre den anmodede procedure på.