Press "Enter" to skip to content

PROLOG

langage 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 à la plupart des langages de programmation).