loogikaprogrammeerimine
Loogikaprogrammeerimine on deklaratiivne programmeerimisparadigma, mille keskmes on faktide, reeglite ja päringute kirjeldamine ning lahenduste leidmine loogilise inferentsi abil. Programm kirjeldab maailma seisukohti, mitte käitumisjärjestust; arvuti otsib, millised faktid ja reeglid annavad vastused esitatud päringutele.
Faktid kirjeldavad maailma tõeseid lauseid. Reeglid kirjeldavad, kuidas uut teadmist saab olemasolevatest faktidest tuletada. Päring on
Kõige tuntum loogikaprogrammeerimise keel on Prolog. Prologi programmid koosnevad faktidest ja reeglitest ning päringud viivad lahenduste
Lisaks Prologile on loogikaprogrammeerimine arenenud mitmes suunas. Constraint Logic Programming (CLP) lisab piirangu- ja otsingupõhise lähenemise,
Ajalugu: loogikaprogrammeerimise varane töö sai alguse 1970ndate lõpust ja 1980ndate algusest. Prolog loodi 1972–1973 Alain Colmerauer