Prolog

intelligence artificielle. On définit un ensemble de règles et on les applique aux données de la base, à l’aide d’un programme que l’on appelle un « moteur d’inférence ». Les SGBD qualifiés de déductifs utilisent à cet effet un dérivé du langage Prolog : Datalog. Les relations de parenté entre individus sont une bonne illustration de l’utilisation des bases de données déductives. Intuitivement, on peut appréhender le fonctionnement général de ces SGBD déductifs en considérant l’exemple suivant

şi despre „semnele textului” (s.n.) care dirijează Cititorul model în „plimbările inferenţiale” (s.n.). Numele trandafirului este, din perspectiva studiilor teoretice ale autorului, o demonstraţie pe viu a funcţionării textului narativ. Dacă prin „Prolog” romanul este plasat la „sfârşitul anului 1327, când împăratul Ludovic a coborât în Italia pentru a reface demnitatea sfântului imperiu roman”, epocă prezentată în detaliile ei în acest capitol introductiv „pentru a înţelege mai bine evenimentele

gestion des données (insertion, extraction,…) fonctionne selon la théorie mathématique du calcul dans la logique des prédicats. Il ne semble exister de SGBD commercial directement basé sur ce concept. Mais il est possible de considérer un programme Prolog (programmation en logique) comme une base de données car il intègre une description des données. Ce sont plutôt les logiciels de réseaux sémantiques qui sont concernés par cette approche (cf. logiciel AXON). • Le modèle objet : les données

-c monfichier.c avec : monfichier.c #include /* ou "bidule.h" */ ... 5 Voir le code assembleur Sur les systèmes unix utilisant l’environnement de développement de chez gnu, la plupart des langages de programmation compilés (C, C++, Pascal, Prolog) sont d’abord traduits en langage d’assemblage, on fait ensuite appel à l’outil assembleur pour produire le fichier objet. Par simple curiosité on peut voir le code assembleur produit pour le fichier suivant : testas.c int mafonction(double d) { return

a+1 1 0 xa ℓnxdx = 1 xa+1 xa ℓnx − dx a+1 0 a+1 0 1 xa 1 = − dx = − . (a + 1)2 0 a+1 1 269 Analyse, Alg`bre I et exercices corrig´s e e e-mail : Hitta2@hotmail.fr y Pour les mˆmes raisons que dans la premi`re question, on peut prologer ga par e e continuit´ en 0 en posant ga (0) = 0. Par ailleurs e xa ℓnx (1 + u)a ℓn(1 + u) 1 lim . = lim+ . = . + x + 1 x − 1 x→0 u→0 2+u u 2 On a pos´ x = 1 + u et ℓn(1 + u) ≃ u au voisinage de 0. Ainsi, on peut prolonger e 1 ga par continuit´

trouve dans la tombe souterraine. Le lieu symbolique de la tombe est évoqué à travers des deux citations littéraires, mais trouve également représentation à travers des décors du 268 « Seine Biografie schien schuldhaft beladen. » DAMMBECK Lutz, « Prolog », in Herakles Konzept, Berlin : Verlag der Kunst, s.d., p. 7. 143 Schwabe, Stefanie. Identité et mémoire : art contemporain en RDA et dans les nouveaux Länder à partir de 1971 : Lutz Dammbeck, Karla Sachse - 2012 film, comme un tumulus

programmes insérés parfois dans les pages Web, sont des fichiers qui sont compilés mais que l’on ne peut exécuter qu’à partir d’un navigateur Internet. Tableau 2.3 Typologie des langages les plus utilisés Langage ADA C C++ Cobol Fortran Java LISP Pascal Prolog Perl Domaine d’application principal Temps réel Programmation système Programmation système objet Gestion Calcul Programmation orientée Internet Intelligence artificielle Enseignement Intelligence artificielle Traitement de chaînes de caractères

(c’est-`-dire des structures e e e e a math´matiques minimales o` l’on puisse parler de variables, de constantes et de e u fonctions d’arit´ fix´e). C’est aussi le m´canisme d’´valuation de base des langages de e e e e programmation logique tels que Prolog. Pour aller plus loin 363 Typage des valeurs mutables Nous n’avons pas abord´ le typage des traits imp´ratifs de Caml. Si la compilae e tion des valeurs mutables et de l’affectation n’est pas un probl`me difficile, leur typage e polymorphe

circuits : elles possédaient notamment un garbage collector câblé dans ses circuits ainsi que des instructions machines supportant un typage déterminé à l’exécution. D'autres langages fonctionnels ont aussi eu droit à leurs processeurs dédiés : le prolog en est un bel exemple. Autre langage qui a eu l'honneur d'avoir ses propres processeurs dédiés : le FORTH, un des premiers langages à pile de haut niveau. Ce langage possède de nombreuses implémentations hardware et est un des rares langages de

circuits : elles possédaient notamment un garbage collector câblé dans ses circuits ainsi que des instructions machines supportant un typage déterminé à l’exécution. D'autres langages fonctionnels ont aussi eu droit à leurs processeurs dédiés : le prolog en est un bel exemple. Autre langage qui a eu l'honneur d'avoir ses propres processeurs dédiés : le FORTH, un des premiers langages à pile de haut niveau. Ce langage possède de nombreuses implémentations hardware et est un des rares langages de haut