PROLOG

langage de programmation (créé à Marseille en 1972 par Alain Colmerauer et Philippe Roussel) basé sur la logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More* du premier ordre. PROLOGlangage de programmation (créé à Marseille en 1972 par Alain Colmerauer et Philippe Roussel) basé sur la logique* du premier ordre. PROLOG est un langage déclaratif, c’est-à-dire que, idéalement, l’utilisateur n’a qu’à décrire le problème, sans se soucier de sa méthode de résolution (contrairement à... More est un langage déclaratif, c’est-à-dire que, idéalement, l’utilisateur n’a qu’à décrire le problème, sans se soucier de sa méthode de résolution (contrairement à la plupart des langages de programmation).