. "\u03BBProlog ou lambda Prolog est un langage de programmation logique d\u00E9riv\u00E9 de Prolog. \u03BBProlog est une double extension de Prolog, dans un premier temps, en rajoutant les \u03BB-termes et dans un second temps avec l'ajout de nouveaux connecteurs tels que l'implication et le quantificateur universel.Lambda Prolog introduit \u00E9galement la notion de type simple."@fr . . . . . . . "994"^^ . . . . "4921634"^^ . . . "\u03BBProlog ou lambda Prolog est un langage de programmation logique d\u00E9riv\u00E9 de Prolog. \u03BBProlog est une double extension de Prolog, dans un premier temps, en rajoutant les \u03BB-termes et dans un second temps avec l'ajout de nouveaux connecteurs tels que l'implication et le quantificateur universel.Lambda Prolog introduit \u00E9galement la notion de type simple."@fr . . "\u039BProlog"@en . "Lambda Prolog"@fr . . . "187987696"^^ . . . . . . . .