Mantiqiy dasturlash nima?

Mantıksal programlash, rasmiy mantiqqa asoslangan dasturlash paradigmasidir. Dastur bajarish uchun buyruqlar ketma-ketligi sifatida emas, faktlar va qoidalar to'plami sifatida tavsiflanadi.

Asosiy tushunchalar:

• Faktlar: Haqiqiy deb hisoblangan bayonotlar (masalan, ota(ivan, pavel)).
• Qoidalar: Faktlar orasidagi bog'liqliklarni tavsiflaydi (masalan, bobosi(X, Y) :- ota(X, Z), ota(Z, Y), bu "X, Y ning bobosi, agar X Z ning otasi bo'lsa va Z Y ning otasi bo'lsa" deb o'qiladi).
• So'rovlar: Dasturdan ma'lumot olish uchun beriladigan savollar (masalan, ?- bobosi(ivan, Kim?), "Ivan ning nevarasi kim?").

Dastur bajarish jarayoni, berilgan faktlar va qoidalar asosida so'rovning to'g'riligini isbotlashga harakat qilish bilan bog'liq, bu uchun chiqarish mexanizmlari (masalan, rezolyutsiya) ishlatiladi.

Eng mashhur mantiqiy dasturlash tili Prolog hisoblanadi.

QA da qo'llanilishi:

• Talablar spetsifikatsiyalarini mantiqiy shaklda belgilash.
• Spetsifikatsiyalarga asoslangan avtomatik testlar yaratish.
• Tizimdagi cheklovlar va bog'liqliklarni tahlil qilish.
• Tizim xususiyatlarini rasmiy tekshirish.

Prolog misoli:

// Faktlar
ota(ivan, pavel).
ota(pavel, anna).
ota(ivan, maria).

// Qoidalar
bobosi(X, Y) :- ota(X, Z), ota(Z, Y).

// So'rov
// ? - bobosi(ivan, Kim?).
// Javob: Kim = anna.