Programavimo būdas, kai programa grindžiama loginiais sąryšiais – faktais ir iš jų išplaukiančiomis išvadomis.
Loginį programavimą geriausiai iliustruoja prologo kalba.

Programavimas, kai programa grindžiama loginiais sąryšiais – faktais ir iš jų padarytomis išvadomis.

Programų kompiuteriams sudarymas pagal formalias sutartines taisykles.
Programuojami patys įvairiausi uždaviniai: ekonomikos, inžinerijos, matematikos, buhalterinės apskaitos, planavimo ir pan. Sudėtingi uždaviniai programuojami keliais etapais: parengiama užduotis, sudaromas (arba parenkamas) uždavinio sprendimo metodas (algoritmas), rašomas programos tekstas, derinamas (bandomas kompiuteriu), testuojamas, programa tobulinama.
Rengiant užduotį, tiksliai suformuluojamas uždavinys, kurį turės spręsti parašytoji programa, numatoma pradinių duomenų ir rezultatų pateikimo forma. Toliau sudaromas arba parenkamas uždavinio sprendimo algoritmas – tai pati svarbiausia dalis, nuo jos priklauso programos efektyvumas, rezultatų tikrumas.
Programos tekstas užrašomas programavimo kalba. Programos tikrinimas, jos klaidų šalinimas – ilgas ir sunkus etapas. Tuomet sudaromi kontrolinių duomenų rinkiniai ir jais testuojamos visos programos dalys.
Programavimu vadinama ir didelių kompiuterio programų sudarymas, ir papildomų, dalinių veiksmų (pavyzdžiui, makrokomandų) užrašymas formaliais sutartiniais žymenimis.
Programos pavyzdys (aukšto lygio Paskalio kalba):

program suma;
  var a, b, s: real;
begin
  read(a, b);
  s := a+b;
  write(s)
end.

Kintamasis, kuris įgyja tik vieną iš dviejų loginių reikšmių: arba „tiesa“ („true“), arba „netiesa“ („false“).

Loginis reiškinys, kuris rašomas po kurio nors programos sakinio² arba sakinių grupės ir kurio reikšmė yra „tiesa“ („true“) atlikus tą sakinį ar sakinių grupę.

Loginis reiškinys, kuris rašomas prieš kurį nors programos sakinį² arba sakinių grupę ir kurio reikšmė yra „tiesa“ („true“) prieš atliekant tą sakinį ar sakinių grupę.

Loginis reiškinys, kurio reikšmė lemia tam tikrų veiksmų atlikimą: jei reiškinio reikšmė yra „tiesa“ – atliekami vieni veiksmai, jei „netiesa“ – kiti.