Logikprogrammering
Logikprogrammering är att använda matematisk logik för att skriva datorprogram. Det finns specialiserade programmeringsspråk där användaren kan skriva in logiska påståenden direkt. Det förmodligen mest kända av dessa språk heter Prolog. Alonzo Church använde en form av logisk programmering i det som idag kallas lambda-kalkyl. Logisk programmering har också använts i LISP.
Programmen består av en uppsättning regler och fakta. I de flesta fall använder logisk programmering vad som kallas negation som misslyckande eller svag negation: Detta innebär att om det inte är möjligt att härleda en viss klausul p {\displaystyle p} 
från fakta och regler, kommer systemet att anta att dess negation är sann.
Frågor och svar
F: Vad är logisk programmering?
S: Logisk programmering är en metod för programmering som använder matematisk logik för att skriva datorprogram.
F: Vilka är några programmeringsspråk som använder logisk programmering?
S: Några programmeringsspråk som använder logisk programmering är Prolog och LISP.
F: Vilken roll spelar regler och fakta i logisk programmering?
S: Program i logisk programmering består av en uppsättning regler och fakta.
F: Vad är negation som misslyckande i logisk programmering?
S: Negation som misslyckande är ett begrepp inom logisk programmering som innebär att om det inte är möjligt att härleda en viss sats från fakta och regler, kommer systemet att anta att dess negation är sann.
F: Vad är svag negation i logisk programmering?
S: Svag negation är en annan term för negation som misslyckande, vilket är ett begrepp inom logisk programmering.
F: Vem använde en form av logisk programmering i lambdakalkyl?
S: Alonzo Church använde en form av logisk programmering i det som idag är känt som lambdakalkyl.
F: Vilket är det mest kända programmeringsspråket som tillåter användare att direkt ange logiska satser?
S: Prolog är förmodligen det mest kända programmeringsspråket som tillåter användare att direkt ange logiska satser.
