Loģiskā programmēšana
Loģiskā programmēšana ir matemātiskās loģikas izmantošana datorprogrammu rakstīšanai. Pastāv specializētas programmēšanas valodas, kurās lietotājs var tieši ievadīt loģiskos apgalvojumus. Iespējams, ka pazīstamākā no šīm valodām ir Prolog. Alonzo Čērčs izmantoja loģiskās programmēšanas veidu, ko šodien pazīst kā lambda kalkulu. Loģiskā programmēšana ir izmantota arī LISP.
Programmas sastāv no noteikumu un faktu kopuma. Vairumā gadījumu loģiskajā programmēšanā izmanto tā saukto noliegumu kā neveiksmes vai vāju noliegumu: Tas nozīmē, ka, ja no 
faktiem un noteikumiem nav iespējams iegūt kādu klauzulu p, sistēma pieņems, ka tās noliegums ir patiess.
