Prolog
|
Paradigma
|
logisch programmeren, declaratieve taal, Modulair programmeren
|
Verschenen
|
1973 (51 jaar)
|
Ontwerper
|
Alain Colmerauer, Robert Kowalski, Philippe Roussel
|
Implementaties
|
SICStus Prolog, SWI-Prolog, YAP, GNU Prolog, Visual Prolog en anderen
|
Dialecten
|
ISO Prolog
|
Invloed op
|
Mercury, Oz, Erlang
|
Besturingssysteem
|
Multiplatform
|
Bestandsextensies
|
pl, pro, P
|
|
Prolog (uit het Frans "programmation en logique", "programmeren met logica") is een logische programmeertaal. De taal is gebaseerd op predicatenlogica en heeft een sterk declaratief karakter. In plaats van de stappen die tot de oplossing van een probleem leiden, worden de voorwaarden waaraan de oplossing moet voldoen in logische termen beschreven. Vandaar dat Prolog een (grotendeels) declaratieve taal is.[1]
- ↑ Pereira, Fernando C. N., Stuart M. Shieber (2002 (1987)). Prolog and Natural-Language Analysis. Microtome, pp. 35. Gearchiveerd op 10 april 2021.