Author Description

Prolog est un langage de programmation tout à fait original. «Prolog» est l'abréviation de «Programmation logique», et le lien qu'il entretient avec la logique est ce qui lui donne sa spécificité. Au coeur de Prolog, réside une idée surprenante: ne pas dire à l'ordinateur ce qu'il doit faire, mais lui décrire des situations, et lui faire faire des calculs en lui posant des questions. Prolog déduira alors logiquement de nouveaux faits concernant les situations, et donnera en réponse ses déductions. Pourquoi apprendre Prolog? Tout d'abord, l'aspect «dis-moi quel est ton problème au lieu de me dire comment le résoudre» de son approche en fait un langage de très haut niveau, adapté aux applications riches en connaissances comme l'intelligence artificielle, la linguistique informatique, ou le web sémantique. En étudiant Prolog, on arrive à une meilleure compréhension de la façon dont des tâches sophistiquées peuvent être effectuées informatiquement. De plus, Prolog demande un état d'esprit différent: il nous apprend à penser déclarativement au lieu de procéduralement. Acquérir cette façon de réfléchir et apprendre à apprécier les liens entre la logique et la programmation font de l'apprentissage de Prolog à la fois un challenge et une récompense. Prolog tout de suite! est une traduction de Learn Prolog Now!). Gratuitement accessible en ligne depuis 2001 (www.learnprolognow.org), le texte anglais est devenu l'une des introductions à la programmation en Prolog les plus populaires, grâce à sa clarté et son approche résolument concrète. Il est très largement utilisé comme manuel dans les universités du monde entier, et encore plus largement comme support d'auto-formation. College publications est fier de proposer la traduction française de ce classique du web. Préparée avec soin, et grâce aux remarques des lecteurs de la version anglaise, cette traduction ne présente que les implantations de Prolog compatibles avec la norme ISO. Elle présente aussi le système de modules de