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 : Tangente Hors-série. Num. 15. Vol. 2. p. 14-16. Programmer en logique : le Prolog.

Editeur : Editions Pôle Paris, 2003
Format : A4, p. 14-16  ISSN : 1294-9949

Type : article de périodique ou revue 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 : A34Revues, article de revue A35Revues, article de revue A38Revues, article de revue 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 Tangente Hors-série n° 15 - Vol. 2. La logique.
Il est également paru dans l'ouvrage Bibliothèque Tangente n° 15 - 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