Pour les articles homonymes, voir Prolog (homonymie). Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en
Prolog 1.22.0 ou supérieur (experimental) CxProlog 0.98.1 ou supérieur ECLiPSe 6.1#143 ou supérieur GNUProlog 1.4.5 ou supérieur JIProlog 4.1.7.1 ou supérieur
savannah.gnu.org (consulté le 10 novembre 2020). (en) « GNUProlog for Java », sur www.gnu.org (consulté le 10 novembre 2020). (en) « gperf », sur www.gnu.org
libre ». La plupart des programmes cités ici sont disponibles sous licence GNU GPL ou BSD. Le système d’exploitation (SE, en anglais Operating System ou