loogikaprogrammeerimise
Loogikaprogrammeerimine, ehk loogiline programmeerimine, on programmeerimisparadigma, mis keskendub teadlikult loogiliste avaldiste ja reeglite määratlemisele ning nende kaudu programmeerimisele. Selle lähenemisviisi põhieesmärk on kirjeldada probleemi teadmiste ja loogiliste seoste kaudu, mitte üksnes samm-sammulise protseduurina. Loogikaprogrammeerimine võimaldab defineerida just need tingimused ja reeglid, mille alusel süsteem teeb järeldusi ja otsuseid.
Selle paradigma esindajaks on Prolog, mis võimaldab arendajatel luua teadmistebaase ja küsimustele vastata ning järeldusi teha
Loogikaprogrammeerimine sobib hästi ülesanneteks, kus vajalik on teadmiste esitlemine ja nende automaatne töötlemine, näiteks tehisintellekti rakendustes,
Kokkuvõttes on loogikaprogrammeerimine suunatud teadmiste formaliseerimisele ja automatiseeritud järelduste tegemisele, pakkudes tugevate teaduslike ja tehniliste alusplaatide