user icon

Faysal

3073 mots 13 pages
Montre plus
La Programmation Logique : PROLOG
MASTER 1 TNSID
ISTV Université de Valenciennes et du Hainaut-Cambrésis

E. ADAM

Introduction
• 1971 : création de Prolog par A. Colmerauer et P. Roussel à Luminy, suite à des travaux sur la détection automatique • 1972, PROLOG I • 1975, fin premier manuel PROLOG I • 1977, premier compilateur PROLOG (Warren) • 1978, multiplication des compilateurs PROLOG • 1983, • machine abstraite (WAM) PROLOG (Warren) =>
– Quintus-Prolog, SB-Prolog, SWI-Prolog, GNU-Prolog, …

• PROLOG II -> Version commerciale • 1989, PROLOG III -> solveur permettant de résoudre des contraintes linéaires • 1996, PROLOG IV -> solveur, basé sur l'arithmétique des intervalles • travaux sur compilation, implantations parallèle, algorithmes d’unification par contrainte, …
E. ADAM – ISTV - UVHC

Terminologie de PROLOG
• Base de faits : ensemble de faits relatifs au problème traité, sous forme de clauses de Horn positives
– Rex est un epagneul : epagneul(rex)

• Base de règles : ensemble de faits relatifs au problème traité, sous forme de clauses de Horn stricte
– Un epagneul est un chien : epagneul(x) → chien(x)

• Question : demandée par l’utilisateur, sous forme de clause de Horn négative • Moteur d’inférences : moteur non-monotone, à chaînage arrière, à régime par tentatives. Opère sur faits et règles. Tente de prouver l'inconsistance des faits et de la négation de la question
E. ADAM – ISTV - UVHC

La syntaxe
• constantes :
– chaînes de caractères commençant par une minuscule – nombres : entiers ou flottants

• VARIABLES :
– chaînes de caractères commençant par une majuscule

• prédicats :
– chaînes de caractères commençant par une minuscule – Peut posséder des arguments de type constante, variable ou prédicat :
• pere(jerome, assia) ; pere(X, assia) ; non(pere(arnaud, assia))
E. ADAM – ISTV - UVHC

La syntaxe
• Listes :
– Suite d’objets séparés par des . et terminant par nil
• a.b.c.nil ≡ [a,b,c]

– Possibilités de

en relation

  • Fafa
    532 mots | 3 pages

    MENU LITTÉRAIRE • APÉRO : « Je me penche et me mets à le secouer sans ménagement. Aucune réaction. Je mets une main tremblante devant sa bouche. Son nez merde! Je ne sens aucun souffle!….

    montre plus
  • Fezf
    1906 mots | 8 pages

    Antonin Vatinel Tc1-2 12 hommes en colère 12 hommes se réunissent pour juger le sort d'un petit enfant qui est soupçonne coupable d'un meurtre de son propre père Voici la description bref des différents juges : -juge n°1 : c'est le chef de la réunion, c'est lui qui donne la parole aux différents juges Entraineur de rugby dans un collège -juge n°2 :Pour lui, c'est la première fois qui assiste à un jugement et on constate qu'il manque d'expérience -juge n°3 : cet homme veut se venger de la société puisqu'il veut que l'enfant soit coupable mais en vain.... -juge n°4 : il est banquier et a souvent des marques avec ces lunettes -juge n°5 : il ne participe peu à tel point qu'il souhaite être dispense de donner son point de vue -juge n°6 : -Juge n°7 : C'est un vendeur de marmelade et souhaite que la reunion soit rapide puisqu'il veut voir un match de baseball -Juge n°8 : Il veut des explication et souhaite raisonner. Au début il est seul à dire non coupable, il s'appelle Henry FONDA. Il est architecte.….

    montre plus
  • Fabliaux
    426 mots | 2 pages

    Richard JoffreyFrançais 18/11/2010Rédaction Je vais vous compter une histoire vrai qui se transmet dans ma famille de génération en génération .C était un pêcheur qui partit avec son ami: c'était mon arrière arrière arrière arrière grand père pépé Roger .Leur navire était au port de Marseille ils le prirent et partirent en mer .Ils….

    montre plus
  • Ffreedom
    2130 mots | 9 pages

    Si ça ne tenait qu’à moi, ces monstres seraient déjà qu’un lointain souvenir… Edward (lui aussi en tenue de travaille, la même que celle de Marshall)avec calme : Monsieur Marshall, je sais qu’ils ont tués votre fille qui était hélas votre seule famille et, je comprend la haine que vous ressentez envers ces personnes mais ils n’étaient pas conscient de ce qu’ils faisaient, ils étaient sous l’emprise du virus. Après avoir extrait le virus sur le sujet, celui redevient calme et inoffensif. Pour qu’ils redeviennent complètement humains, il faut qu’ils ré-apprennent à vivre dans notre société.….

    montre plus
  • Fefe
    1263 mots | 6 pages

    Puis sa mère mourut, ses sœurs se dispersèrent, un fermier la recueillit, et l'employa toute petite à garder les vaches dans la campagne. » et est « chassée pour un vol de trente sols, qu'elle n'avait pas commis » (l.38) et est engagée dans une autre ferme comme fille de basse-cour. Ses patrons l’apprécient. Elle tombe amoureuse de Théodore, « un jeune homme d’apparence cossue » (l.43) à dix-huit ans (cf. « (elle avait alors dix-huit ans) », l.40) mais il se marie avec une autre : « Pour se garantir de la conscription, Théodore avait épousé une vieille femme très riche » (l.73-74).….

    montre plus
  • Farah
    2378 mots | 10 pages

    = A cos  ω02 − λ 2 t + ϕ  exp− λ.t A et ϕ deux constantes dépendant des conditions     initiales. 20π 1-c) ∆t = 10T = donne Ω = 5, 23.rad / s la pseudo période Ω x0 2m x0 = exp λ.∆t donne β = ln x1 ∆t x1 ( )….

    montre plus
  • Feefe
    462 mots | 2 pages

    C’est une ponction lombaire qui a permis le diagnostic. Tout a commencé par des troubles de la vision. J’avais près d’une poussée par an. Je suis en fauteuil roulant depuis 10 ans. Et une fois que l’on est assis dedans, on ne s’en relève jamais !….

    montre plus
  • Faylinawa
    708 mots | 3 pages

    en tout ou en partie de l’État ou d'une collectivité publique : -Régie industrielle ou commerciale -Établissement public industriel et commerciale-Entreprise nationalisée -Société d'économie mixte (participation publique majoritaire) | Tailles Différent critères Nombre de salarié Valeur ajoutée Chiffe d'affaire | Branches et Secteurs Classement des entreprises par branches,chacune d'elles sont constituées par l'ensemble des activités qui élaborent un produit donné . | Classification suivant la production principale de chaque entreprise en définissent ainsi un ensemble de secteurs chacun d'eux étant constitué par l'ensemble des entreprises ayant la même activité principale |….

    montre plus
  • Fafa
    1899 mots | 8 pages

    STOCKAGE DE L’ENERGIE 1. Pourquoi stocker de l’énergie ? Le stockage de l'énergie est l'action qui consiste à placer une quantité d'énergie en un lieu donné pour permettre son utilisation ultérieure : ► Véhicule électrique, besoin d’autonomie ► Habitation isolée alimentée en énergies renouvelables qui ne produisent quasiment jamais en quantité suffisante au moment où on en a besoin. Si produire de l'énergie est chose relativement facile, son stockage est en revanche la problématique à résoudre pour pouvoir l’utiliser facilement. En réalité, ce qu'on appelle couramment « production d'énergie » n'est pas, physiquement, de la production, mais de la transformation d’énergie primaire (charbon, eau stockée en hauteur, matière fissile ...)….

    montre plus
  • Foncia
    364 mots | 2 pages

    Foncia est une entreprise française d’administration de biens et de transaction immobilière. Avec 600 agences et 116 cabinets dans la France entière, la société serait, en 2008, le "plus grand administrateur de biens français"[1]. À la mi-2007, elle gérait ainsi 836.000 appartements en co-propriété et 190.000 en location[2]. Foncia est aussi présente sur le marché allemand, suisse et belge[3]. Sur son site Internet elle déclare 1 300 000 clients particuliers Sommaire [masquer] 1 Historique 2 Activités 3 Notes et références 4 Lien externe Historique[modifier]….

    montre plus
  • Faykadiri
    703 mots | 3 pages

    Constitution de la SA 1- Actionnaires : La SA doit comporter un nombre suffisant d’actionnaires lui permettant d’accomplir son objet et d’assurer sa gestion et son contrôle, sans que ce nombre soit inférieur à 5. Responsabilité des actionnaires : Les actionnaires ne supportent les pertes qu'à concurrence de leurs apports. 2- Le Capital : Divisé en actions négociables représentatives d'apports en numéraire ou en nature à l’exclusion de tout apport en industrie.….

    montre plus
  • Fzagfze
    978 mots | 4 pages

    Civ. 2ème, 4 novembre 2010 Faits : M.Z s’entrainait sur sa moto sur un circuit fermé. Lors de cet entrainement il a percuté la moto conduite par M.X. lequel a été blessé. Procédure : M.X a alors assigné MM.Y en justice mais aussi la société Bug’Moto & la société Suzuki France (qui avait construit la moto)….

    montre plus
  • Foncia
    384 mots | 2 pages

    FICHE D’EVALUATION DU STAGE EN ENTREPRISE INTERNSHIP ASSESSMENT ANNEE UNIVERSITAIRE / ACADEMIC YEAR : 20…. …… – 20…. …… STAGIAIRE / INTERN Partie à remplir par l’étudiant(e) et par l’enseignant correspondant du stage to be filled in by the student and the instructor supervising the internship : Mme / Mlle / M. Nom, Prénom de l’étudiant(e) /….

    montre plus
  • Fati
    41491 mots | 166 pages

    Analyse Financière comparative Introduction Générale ENCG AGADIR 8 Analyse Financière comparative La modernisation du cadre juridique de l’activité bancaire au Maroc est aujourd’hui au coeur de l’actualité financière de notre pays, puisque deux importants projets relatifs respectivement à la Loi Bancaire et aux Statuts de Bank Al-Maghrib seront incessamment présentés au Parlement et devraient être approuvés assez rapidement, il convient de souligner que le processus qui leur est relatif a été entamé dès les années 80 et a concerné aussi bien les banques et les organismes financiers spécialisés que les méthodes d’intervention de la banque centrale et les conditions de financement de l’économie. Les réformes introduites progressivement à partir des années 80 visaient à faire évoluer le système financier dans son ensemble pour accompagner une économie de plus en plus ouverte et ont été conduites dans le cadre d’un vaste programme d’ajustement structurel soutenu par le Fonds monétaire international et la Banque Mondiale. Ce programme visait à résorber les graves déséquilibres internes et externes résultant de la politique expansionniste des années 70 à travers l’assainissement des finances publiques, la libéralisation économique, notamment des prix et du commerce extérieur et l’introduction de profondes réformes sectorielles. Les réformes entamées au début des années 80 visaient déjà à moderniser le système financier marocain dans son ensemble en s’attaquant progressivement à ces handicaps et à son archaïsme, en vue de lui permettre de mieux remplir sa fonction de mobilisation des ressources et d’adapter ses structures et ses modes de fonctionnement aux exigences de l’ouverture internationale.….

    montre plus
  • Fdgea
    2531 mots | 11 pages

    http://www.etudes-litteraires.com/methode-dissertation.php http://www.devoir-de-philosophie.com/dissertation-comment-faire-dissertation-litteraire-154718.html http://altert.family.free.fr/fils/utopie.html http://www.studyrama.com/reussir-ses-etudes/exemples-de-sujets-et-corriges/exemple-de-dissertation-i-41135 Internet est le nouveau grand média convergent du xxie siècle Ces dernières années, le pessimisme des journalistes sur le futur de leur profession a pris un tour nouveau : leurs inquiétudes concernant l’arrivée des nouvelles technologies sont largement passées au second plan, derrière celles liées à la survie économique. Les nouveaux défis des journalistes La crise des industries de contenus (musique, presse, livre, télévision) se déroule au moment même où explosent le Web social et….

    montre plus