Логикалык программалоо деген эмне?

Ментилүү программалоо — бул расмий логикага негизделген программалоо парадигмасы. Программа ишке киргизүү үчүн буйруктардын тизмеси эмес, фактылар жана эрежелер топтому катары сүрөттөлөт.

Негизги түшүнүктөр:

• Фактылар: чын деп саналган билдирүүлөр (мисалы, ата(ivan, pavel)).
• Эрежелер: фактылар арасындагы көзкарандылыктарды сүрөттөө (мисалы, бабо(X, Y) :- ата(X, Z), ата(Z, Y), бул "X, Yнин бабасы, эгер X Zнин атасы болсо жана Z Yнин атасы болсо" деп окулат.
• Суроолор: программага маалымат алуу үчүн берилген суроолор (мисалы, ?- бабо(ivan, ким?), "Ивандын небереси ким?").

Программаны ишке киргизүү процесси берилген фактылар жана эрежелер негизинде суроонун чындыктыгын далилдөөгө аракет кылуу менен жүргүзүлөт, бул үчүн чыгаруучу механизмдер (мисалы, резолюция) колдонулат.

Эң белгилүү логикалык программалоо тили — Prolog.

QAда колдонмолору:

• Талаптардын логикалык түрдө такталышы.
• Спецификацияларга негизделген автоматтык тесттерди түзүү.
• Жүйедеги чектөөлөр жана көзкарандылыктарды талдоо.
• Жүйөнүн мүнөздөмөлөрүн расмий текшерүү.

Prolog мисалы:

// Фактылар
ата(иван, павел).
ата(павел, ана).
ата(иван, мария).

// Эрежелер
бабо(X, Y) :- ата(X, Z), ата(Z, Y).

// Суроо
// ? - бабо(иван, ким?)
// Жооп: ким = ана.