PROLOG
PROLOG
  CONCEPT
    langage de programmation
      Prolog est l'un des principaux langages de programmation logique.
        acronyme de PROgrammation en LOGique.
        créé par Alain Colmerauer et Philippe Roussel vers 1972.
    quoi
      Prolog est basé sur le calcul des prédicats du premier ordre ; cependant il est restreint dans sa version initiale à n'accepter que les clauses de Horn (les versions modernes de Prolog acceptent des prédicats plus complexes, notamment avec le traitement de la négation par l'échec). L'exécution d'un programme Prolog est effectivement une application du théorème prouvant par résolution du premier ordre. Les concepts fondamentaux sont l'unification, la récursivité et le retour sur trace. L'algorithme de résolution de Prolog est basé sur une extension de la SLD-résolution.
        et la programmation par contraintes dans les dernières versions ?
    usages
      Prolog est utilisé en intelligence artificielle et dans le traitement linguistique par ordinateur (principalement langues naturelles). Ses règles de syntaxe et sa sémantique sont simples et considérées comme claires (un des objectifs poursuivis était de procurer un outil aux linguistes ignorant l'informatique). Les premiers résultats obtenus avec Prolog suscitèrent quelque temps, dans les années 1980, des recherches sur une cinquième génération, matérielle et logicielle, d'ordinateurs (nommée Cinquième génération japonaise en raison de l'engagement important du MITI sur le projet).
        L'effort engagé fut important, les retombées plus modestes, Prolog restant un langage parmi d'autres dans la panoplie du programmeur.
  MISE EN OEUVRE
    principes de programmation
    DOCUMENTATION
  BIBLIOGRAPHIE
    wikipedia
      FR
    misc
      articles scientifiques
        Scholar : prolog
      prolog sites
        http://cse.csusb.edu/dick/samples/prolog.www.sites.html
    PROLOG.xmind
    exemples de programmes
    **complete**
  PROLOG.htm