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]
| Prolog |
|---|
| Paradigma |
logisch programmeren, declaratieve taal, Modulair programmeren |
| Verschenen |
1973 (49 jaar) |
| Ontworpen door |
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 |
|
|
