Prolog

Conţinut

Definiție - Ce înseamnă Prolog?
O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.
Techopedia explică Prolog

Definiție - Ce înseamnă Prolog?

Programation en Logique (Programare în logică) sau Prolog este un limbaj de programare la nivel înalt care își are rădăcinile în logica de prim ordin sau în calculul predicatului de prim ordin. Limba a fost concepută la Marsilia, Franța la începutul anilor '70 de un grup condus de Alain Colmerauer. Este unul dintre primele limbaje de programare logică și rămâne popular astăzi. Este un limbaj de programare asociat frecvent lingvisticii computaționale și inteligenței artificiale și este utilizat în sisteme de experți, dovedirea teoremei și potrivirea modelelor pe arbori de analiză a limbajului natural și procesarea limbajului natural.

O introducere în Microsoft Azure și Microsoft Cloud | În acest ghid, veți afla despre ce este vorba despre cloud computing și despre cum Microsoft Azure vă poate ajuta să migrați și să conduceți afacerea din cloud.

Techopedia explică Prolog

Primul sistem Prolog a fost dezvoltat în 1972 de Colmerauer împreună cu Philippe Roussel și s-a bazat pe interpretarea procedurală a lui Robert Kowalski a clauzelor Horn. De asemenea, a fost motivată parțial de dorința de a reconcilia utilizarea logicii ca limbaj de reprezentare a cunoștințelor declarative cu reprezentarea procedurală a cunoașterii. Prologul a fost dezvoltat în mod intenționat pentru procesarea limbajului natural - în ceea ce privește interacțiunile dintre computer și limbajul uman (natural).

Prologul diferă de alte limbaje de programare, deoarece este declarativ și nu secvențe de comenzi. Este uneori numit limbaj bazat pe reguli sau declarativ, deoarece este exprimat în termeni de relații între proprietățile obiectelor, prezentate ca fapte și reguli. Un calcul este inițiat prin executarea unei interogări asupra acestor relații.

Aplicațiile includ: