Loogiline programmeerimine
Loogiline programmeerimine on matemaatilise loogika kasutamine arvutiprogrammide kirjutamiseks. On olemas spetsiaalsed programmeerimiskeeled, kus kasutaja saab otse sisestada loogilisi avaldusi. Tõenäoliselt on neist keeltest kõige tuntum keel, mida nimetatakse Prologiks. Alonzo Church kasutas loogilise programmeerimise vormi, mida tänapäeval nimetatakse lambdaarvutuseks. Loogilist programmeerimist on kasutatud ka LISPis.
Programmid koosnevad reeglite ja faktide kogumist. Enamasti kasutatakse loogilises programmeerimises nn eitamist kui ebaõnnestumist või nõrka eitamist: See tähendab, et kui faktidest ja reeglitest ei ole võimalik tuletada mõnda lauset p {\displaystyle p}
, eeldab süsteem, et selle eitus on tõene.
Küsimused ja vastused
K: Mis on loogiline programmeerimine?
V: Loogiline programmeerimine on programmeerimise käsitlusviis, mis kasutab matemaatilist loogikat arvutiprogrammide kirjutamiseks.
K: Millised on mõned programmeerimiskeeled, mis kasutavad loogilist programmeerimist?
V: Mõned programmeerimiskeeled, mis kasutavad loogilist programmeerimist, on näiteks Prolog ja LISP.
K: Milline on reeglite ja faktide roll loogilises programmeerimises?
V: Programmid loogilises programmeerimises koosnevad reeglite ja faktide kogumist.
K: Mis on eitus kui ebaõnnestumine loogilises programmeerimises?
V: Negatsioon kui ebaõnnestumine on loogilises programmeerimises mõiste, mille puhul, kui faktidest ja reeglitest ei ole võimalik tuletada mingit kindlat lauset, eeldab süsteem, et selle eitus on tõene.
K: Mis on nõrk eitus loogilises programmeerimises?
V: Nõrk eitus on teine termin eitusele kui ebaõnnestumisele, mis on mõiste loogilises programmeerimises.
K: Kes kasutas loogilise programmeerimise vormi lambda-kalkuluses?
V: Alonzo Church kasutas loogilise programmeerimise vormi, mida tänapäeval tuntakse lambda-arvutusena.
K: Milline on tuntuim programmeerimiskeel, mis võimaldab kasutajatel otse sisestada loogilisi avaldisi?
V: Prolog on ilmselt kõige tuntum programmeerimiskeel, mis võimaldab kasutajatel otse loogilisi avaldisi sisestada.
