Prolog

Website: Part 1 — www.iso.org/standard/21413.html Part 2 — www.iso.org/standard/20775.html

Proiectat de: Alain Colmerauer, Robert Kowalski

Prolog este un limbaj de programare logică asociat cu inteligența artificială și lingvistica de calcul.Prolog își are rădăcinile în logica de prim ordin, o logică formală și, spre deosebire de multe alte limbaje de programare, Prolog este destinat în primul rând ca un limbaj de programare declaratoare: logica programului este exprimată în cadrul programului este exprimat logica programului este exprimat pe programul exprimat În ceea ce privește relațiile, reprezentate ca fapte și reguli.

Un calcul este inițiat prin efectuarea unei interogări asupra acestor relații.

Limba a fost dezvoltată și implementată în Marsilia, Franța, în 1972 de Alain Colmerauer cu Philippe Roussel, bazată pe interpretarea procedurală a lui Robert Kowalski a clauzelor de corn la Universitatea din Edinburgh.Prolog a fost una dintre Primele limbaje de programare logică și rămâne cel mai popular astfel de limbă astăzi, cu mai multe implementări gratuite și comerciale disponibile.

Limbajul a fost utilizat pentru dovedirea teoremei, sisteme de expertiză, rescriere pe termen, sisteme de tip și planificare automată, precum și domeniul său de utilizare inițial prevăzut, procesarea limbajului natural.

Mediile Modern Prolog acceptă crearea de interfețe grafice de utilizator, precum și aplicații administrative și în rețea.

Prolog este potrivit pentru sarcini specifice care beneficiază de interogări logice bazate pe reguli, cum ar fi căutarea bazelor de date, sisteme de control vocal și șabloane de umplere.