Ի՞նչ է տրամաբանական ծրագրավորումը։

Մտավոր ծրագրավորումը՝ դա ծրագրավորման մի պարադիգմ է, որը հիմնված է ֆորմալ տրամաբանության վրա։ Ծրագիրը նկարագրվում է որպես փաստերի և կանոնների հավաքածու, ոչ թե որպես հրահանգների հաջորդականություն։

Հիմնական հասկացությունները՝

• Փաստեր: Հավատարմամբ ընդունված հայտարարություններ (օրինակ՝ հայր(ivan, pavel))։
• Կանոններ: Փաստերի միջև կախվածությունների նկարագրություն (օրինակ՝ տատիկ(X, Y) :- հայր(X, Z), հայր(Z, Y), որը կարդում ենք՝ "X-ը Y-ի տատիկն է, եթե X-ը Z-ի հայրն է և Z-ը Y-ի հայրն է")։
• Հարցումներ: Ծրագրված հարցեր՝ տեղեկատվություն ստանալու համար (օրինակ՝ ?- տատիկ(ivan, Ով?), "Իվանի թոռը ո՞վ է")։

Ծրագրի կատարման գործընթացը հիմնված է հարցի ճշմարտության ապացույց որոնելու վրա՝ հիմնվելով տրված փաստերի և կանոնների վրա, օգտագործելով եզրակացության մեխանիզմներ (օրինակ՝ լուծում)։

Ամենահայտնի տրամաբանական ծրագրավորման լեզուն՝ Prolog-ն է։

Հայտառու կիրառություններ QA-ում՝

• պահանջների տրամաբանական ձևակերպում։
• ստանդարտների հիման վրա ավտոմատ թեստերի ստեղծում։
• համակարգում սահմանափակումների և կախվածությունների վերլուծություն։
• համակարգի հատկությունների ֆորմալ վավերացում։

Prolog-ի օրինակ՝

// Փաստեր
հայր(ivan, pavel)։
հայր(pavel, anna)։
հայր(ivan, maria)։

// Կանոններ
տատիկ(X, Y) :- հայր(X, Z), հայր(Z, Y)։

// Հարցում
// ? - տատիկ(ivan, Ով?)
// Պատասխան՝ Ով = anna։