რა არის ლოგიკური პროგრამირება?

მენტიკური პროგრამირება — ეს არის პროგრამირების პარადიგმა, რომელიც დაფუძნებულია ფორმალურ ლოგიკაზე. პროგრამა აღწერილია ფაქტებისა და წესების სახით, არა როგორც ინსტრუქციების მიმდევრობა.

ძირითადი კონცეფციები:

• ფაქტები: განცხადებები, რომლებიც მიიჩნევა ჭეშმარიტად (მაგალითად, მშობელი(ივანი, პავლე)).
• წესები: ფაქტებს შორის დამოკიდებულებების აღწერა (მაგალითად, ბებია(X, Y) :- მშობელი(X, Z), მშობელი(Z, Y), რაც წაიკითხება როგორც "X არის Y-ის ბებია, თუ X არის Z-ის მშობელი და Z არის Y-ის მშობელი").
• საკითხები: პროგრამას დასმული კითხვები ინფორმაციის მისაღებად (მაგალითად, ?- ბებია(ივანი, ვინ?), "ვინ არის ივანის შვილიშვილი?").

პროგრამის შესრულების პროცესი ეფუძნება დადასტურების ძიებას, რომელიც ეფუძნება მოცემულ ფაქტებს და წესებს, გამოყენებით დასკვნის მექანიზმებს (მაგალითად, განჭვრეტა).

ყველაზე ცნობილი ლოგიკური პროგრამირების ენაა Prolog.

QA-ში გამოყენებები:

• მოთხოვნების ლოგიკური ფორმით განსაზღვრა.
• სპეციფიკაციების საფუძველზე ავტომატური ტესტების გენერირება.
• სისტემაში შეზღუდვების და დამოკიდებულებების ანალიზი.
• სისტემის თვისებების ფორმალური გადამოწმება.

Prolog-ის მაგალითი:

// ფაქტები
მშობელი(ივანი, პავლე).
მშობელი(პავლე, ანა).
მშობელი(ივანი, მარია).

// წესები
ბებია(X, Y) :- მშობელი(X, Z), მშობელი(Z, Y).

// კითხვა
// ? - ბებია(ივანი, ვინ?)
// პასუხი: ვინ = ანა.