Prolog

Pour les articles homonymes, voir Prolog (homonymie). Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en...

premier portage de Prolog sur micro-ordinateur. En 1977, D. Warren développa à Édimbourg un compilateur Prolog, qui apporta à Prolog la performance qui...

même nom. Sur les autres projets Wikimedia : Prolog, sur le Wiktionnaire Prolog peut désigner : Prolog, un village de Bosnie-Herzégovine situé dans la...

possède pas un typage fort, comme une grande partie des langages scripts ; le Prolog, comme tous les langages de programmation fonctionnelle, ne permet pas qu'une...

déclarative, on décrit le quoi, c’est-à-dire le problème. Par exemple, le langage Prolog est déclaratif car il décrit un problème et des comportements (sous forme...

Concurrent Prolog d'Ehud Shapiro. Il crée ensuite Prolog III puis, s’intéressant de plus en plus à la programmation par contraintes, Prolog IV (1996) et...

correspondants. λProlog ou lambda Prolog est un langage de programmation logique dérivé de Prolog. λProlog est une double extension de Prolog, dans un premier...

questions difficiles pour ELIZA (mais faciles pour une application écrite en PROLOG) : « Peut-on manger demain avec un ami décédé l’année dernière et pourquoi ...

dans les années 1970 et 80, un des langages de choix (comme le langage Prolog) pour la recherche en intelligence artificielle. Les langages Lisp sont...

ligne. Il existe également des implémentations non prises en charge en Prolog, C++, C# et plusieurs autres langages. (en) « Artificial Intelligence: A...