Kas ir loģiskā programmēšana?

Loģiskā programmēšana ir programmēšanas paradigma, kas balstīta uz formālo loģiku. Programma tiek raksturota kā faktu un noteikumu kopums, nevis kā instrukciju secība izpildei.

Galvenās koncepcijas:

• Fakti: apgalvojumi, kas uzskatāmi par patiesiem (piemēram, vecāks(ivan, pavel)).
• Noteikumi: faktu atkarību apraksts (piemēram, vecvecāks(X, Y) :- vecāks(X, Z), vecāks(Z, Y), kas lasāms kā "X ir Y vecvecāks, ja X ir Z vecāks un Z ir Y vecāks").
• Pieprasījumi: jautājumi programmā, lai iegūtu informāciju (piemēram, ?- vecvecāks(ivan, Kas?), "Kas ir Ivana mazbērns?").

Programmas izpildes process ir meklēt pierādījumu par pieprasījuma patiesumu, balstoties uz dotiem faktiem un noteikumiem, izmantojot secinājumu mehānismus (piemēram, rezolūciju).

Vispazīstamākā loģiskās programmēšanas valoda ir Prolog.

Pielietojumi QA:

• Prasību specifikācijas loģiskā formā.
• Automātiska testu ģenerēšana, balstoties uz specifikācijām.
• Ierobežojumu un atkarību analīze sistēmā.
• Sistēmas īpašību formāla pārbaude.

Prolog piemērs:

// Fakti
vecāks(ivan, pavel).
vecāks(pavel, anna).
vecāks(ivan, marija).

// Noteikumi
vecvecāks(X, Y) :- vecāks(X, Z), vecāks(Z, Y).

// Pieprasījums
// ? - vecvecāks(ivan, Kas?).
// Atbilde: Kas = anna.