system
Răspunde în limba română, în stilul Wikipedia, cat mai corect gramatical.
user
Care sunt cele mai importante informații despre Prolog (limbaj de programare)?
assistant
Prolog este un limbaj de programare logic (Prolog - Programming in Logic) asociat cu inteligența artificială. 

Originea lui aparține lui Alain Colmerauer de la Universitatea din Marsilia, Franța. Inițial a fost conceput pentru analiză lexicală. Azi există mai multe implementări, atât open source cât și proprietare.

Printre cele mai bune implementări open source existente azi se numără swi-prolog .

Sintaxă și semantică

Tipurile de date 
Prolog are un singur tip de date numit termen. Termenii pot fi atomi, numere, variabile sau termeni structurați (compuși sau complecși).

 Atomul este o constantă textuală. Exemple de atomi sunt   ,   ,    și   .
 Numerele pot fi întregi sau în virgulă mobilă.
 Variabilele sunt notate printr-un șir de caractere, numere și sublinii și încep cu literă mare sau sublinie. Variabilele seamănă cu cele din logică și țin locul unor termeni arbitrari.
 Termenii structurați sunt formați dintr-un atom numit "functor" și un număr (aritatea) de componente. Exemplu   .

Vezi și 
 Listă alfabetică de limbaje de programare

Prolog