Məntiqi proqramlaşdırma –Bu proqramlaşdırmanın ən çox inkişaf etmiş və yayılmış dili PROLOG –dur. Məntiqi proqramlaşdırma dilləri, xüsusən PROLOG, süni intellekt sistemlərində geniş tətbiq olunur. Məntiqi proqramlaşdırmanın əsas anlayışı nisbətdir. Proqram obyekt və məqsəd arasındakı nisbətin təyinindən təşkil olunur. Proqramın yerinə yetirilməsi istifadə olunan dilin semantikasına uyğun quraşdırılmış qaydalar əsasında məntiqi düsturların ümumi qiymətləndirilməsi kimi şərh olunur. Məntiqi proqramlaşdırmada yalnız alqoritmə əsaslana faktların spesifik xüsusiyyətlərini göstərmək lazımdır. Burada yerinə yetirilməsi tələb olunan addımlar ardıcıllığını təyin etmək lazım deyil.
Məntiqi proqramlaşdırma aşağıdakılara görə xarakterizə olunur:
yüksək səviyyə;
simvol hesabatına istiqamətlənmə;
tərsinə ( inversiv) hesablama imkanı,
məntiqi natamamlığın mümkünlüyü, çünki proqramda müəyyən məntiqi münasibətləri əks etdirmək, həmçinin bütün nəticələrin düzgün alınması mümkün deyil.
Məntiqi proqram prinsipcə çox da böyük olmayan sürətə malikdir. Belə ki, hesablama əvvəlki addıma qayıtmaq şərti ilə axtarış, sınaq və səhvlər üsulu ilə həyata keçirilir.
