Când oamenii vorbesc despre limbajul natural în calcul, se referă la un limbaj de programare care conține constructe și sintaxă care oglindește vorbirea umană normală. Scopul principal al oricărui limbaj natural este de a permite unui programator să folosească reguli și termeni lingvistici cu care este deja familiarizat pentru a comunica instrucțiuni acționabile către un computer. Datorită cerinței de claritate a utilizatorului final și de folosirea unui limbaj deja cunoscut și vorbit, limbajele naturale precum Programarea în logică (Prolog) sau Lisp tind să fie intrinsec mai complexe decât alte limbaje de programare, în funcție de abstracțiile de ordin superior sau simbolice. a ceea ce computerul poate înțelege și asupra acțiunii. Cu alte cuvinte, cu cât este mai ușor pentru utilizatorul final să creeze un program de calculator fără a fi nevoit să cunoască un limbaj procedural structurat sau orice altă limbă decât cea pe care o vorbește deja, cu atât mai complex trebuie să fie motorul programului în limbaj natural. pentru a sprijini libertatea de exprimare.
Limbile naturale conțin analizoare și baze de date. Bazele de date determină ce acțiune trebuie să efectueze computerul pe baza instrucțiunii, iar analizatorul determină în ce ordine trebuie executată sintaxa. De exemplu, dacă utilizatorul scrie „Adăugați doi și doi”, analizatorul trebuie să facă o distincție între substantiv și verb, să înțeleagă ce ar trebui să realizeze acțiunea verbului, să caute în baza de date un răspuns adecvat și apoi să producă o ieșire care să satisfacă instrucție. Dacă utilizatorul scrie „Adăugați doi la doi”, analizatorul trebuie să poată înțelege că „și” și „să” indică faptul că aceeași acțiune ar trebui să aibă loc și apoi să producă același rezultat.
Susținătorii programării în limbaj natural susțin că, deoarece limbajele naturale tind să fie de natură non-procedurală, programatorii începători pot produce programe semnificative și pot obține rezultate semnificative în intervale de timp mai scurte decât o fac atunci când este necesar pentru a crea algoritmi procedurali care conduc la aceleași rezultate. Cu programarea în limbaj natural, elevii învață să exprime o notație logică a faptelor. Programele Prolog constau dintr-o bază de date, relațiile dintre elementele bazei de date și toate condițiile limită care determină care răspunsuri sunt acceptabile.
Cercetările și publicațiile lui Noam Chomsky referitoare la teoria și utilizarea lingvistică includ explorări schematice ale structurii sintaxei a unei limbi. Parserii Prolog și Lisp se comportă în același mod, sortând logic instrucțiunea în componentele sale și evaluând acțiunea de întreprins ca rezultat al analizei. Majoritatea limbilor naturale sunt scrise pentru intrare și ieșire în engleză, deși sunt în curs de desfășurare multe eforturi pentru a sprijini localizarea pentru alte limbi.