Back Prolog AN برولوغ Arabic Prolog AST Proloq dili Azerbaijani Prolog BAT-SMG Пралог (мова праграмавання) Byelorussian Пролог (език за програмиране) Bulgarian Prolog Catalan Prolog (programovací jazyk) Czech Prolog (programmeringssprog) Danish
| Prolog | ||||
|---|---|---|---|---|
| Paradigma | logisch programmeren, declaratieve taal, Modulair programmeren | |||
| Verschenen | 1973 (50 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 | |||
| ||||
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.