Logisk programmering
Logisk programmering er at bruge matematisk logik til at skrive computerprogrammer. Der findes specialiserede programmeringssprog, hvor brugeren kan indtaste logiske udsagn direkte. Det mest kendte af disse sprog hedder sandsynligvis Prolog. Alonzo Church brugte en form for logisk programmering i det, der i dag er kendt som lambda calculus. Logisk programmering er også blevet anvendt i LISP.
Programmer består af et sæt regler og fakta. I de fleste tilfælde bruger logisk programmering det, der kaldes negation som fejl eller svag negation: Det betyder, at hvis det ikke er muligt at udlede en klausul p {\displaystyle p} 
af fakta og regler, vil systemet antage, at dens negation er sand.
Spørgsmål og svar
Q: Hvad er logisk programmering?
A: Logisk programmering er en tilgang til programmering, der bruger matematisk logik til at skrive computerprogrammer.
Q: Hvad er nogle programmeringssprog, der bruger logisk programmering?
A: Nogle programmeringssprog, der bruger logisk programmering, inkluderer Prolog og LISP.
Q: Hvilken rolle spiller regler og fakta i logisk programmering?
A: Programmer i logisk programmering består af et sæt regler og fakta.
Q: Hvad er negation som fiasko i logisk programmering?
A: Negation som fiasko er et begreb i logisk programmering, hvor systemet, hvis det ikke er muligt at udlede en bestemt sætning fra fakta og regler, antager, at negationen er sand.
Q: Hvad er svag negation i logisk programmering?
Svag negation er et andet udtryk for negation som fiasko, som er et begreb inden for logisk programmering.
Q: Hvem brugte en form for logisk programmering i lambda calculus?
A: Alonzo Church brugte en form for logisk programmering i det, der i dag er kendt som lambda calculus.
Q: Hvilket er det mest kendte programmeringssprog, der giver brugerne mulighed for direkte at indtaste logiske udsagn?
A: Prolog er nok det mest kendte programmeringssprog, der giver brugerne mulighed for direkte at indtaste logiske udsagn.
