Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Delerue Nicolas

Titre : Bibliothèque Tangente. Num. 15. Programmer en logique : le Prolog. p. 66-69.

Editeur : Editions Pôle Paris, 2004 Collection : Bibliothèque Tangente Num. 15
Format : 17 cm x 24 cm, p. 66-69 ISBN : 2-84884-018-8 EAN : 9782848840185  ISSN : 2263-4908

Type : chapitre d'un ouvrage Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : lycée, 2de, 1ère, terminale, licence Age : 15, 16, 17, 18, 19

Classification : E34Logique. Acquisition des capacités de raisonnement logique. E35Logique. Acquisition des capacités de raisonnement logique. E38Logique. Acquisition des capacités de raisonnement logique. 

Résumé :

Les logiciens disposent d'un langage de programmation spécifique pour écrire des programmes proches des formulations qu'ils utilisent usuellement : le prolog. L'auteur de cet article présente ce langage qui repose sur la théorie des clauses de Horn.

Notes :
Cet article est publié sous la rubrique "Savoirs".
Il fait partie du dossier : Logique et informatique dans Bibliothèque Tangente n° 15 - La logique.
Il est également paru dans Tangente Hors-série n° 15 - Vol. 2. La logique.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 02/11/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN