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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Foncia
    315 mots | 2 pages

    L’administration et la gestion de copropriété. Je réalise mon stage de 2eme année de DUT Gestion des Entreprises et Administrations dans l’entreprise FONCIA CARRERE TIXADOR. Les métiers principaux de Foncia sont la gérance pour le compte de propriétaires, syndic de copropriété, loueur, ainsi qu’agent immobilier pour l’achat et la vente.….

    montre plus
  • Fadoua
    691 mots | 3 pages

    Il est encore trop tôt pour savoir si ce déménagement est bénéfique, mais le travail ne manque pas. Leurs principaux clients sont la mairie de Perpignan, la Communauté d’Agglomération de Perpignan, Intermarché, Calvet verre, la de 30 000 € en 2005, qui existe depuis Juillet 1996, les associés sont Cyrille Sabatier et sa partenaire Nathalie Civale, leur chiffre d’affaire annuel est de 480 000€. Leur premier studio était un garage aménagé, ils se sont ensuite installés dans leur propre maison, à Argelès. Depuis le 1er novembre 2005, leurs studios se trouvent à Technosud Perpignan, un pôle technologique en pleine croissance et qui accueille de nombreuses entreprises jeunes et dynamiques telles….

    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
  • Fayfay
    1313 mots | 6 pages

    Le transport aérien au Maroc, un outil stratégique de développement touristique : 11 juin 2006 (mis à jour le 17 janvier 2011) - Transports et sécurité routière Avec un objectif de 10 millions de touristes en 2010, le Maroc relève un défi majeur : devenir un acteur incontournable du tourisme méditerranéen. La croissance enregistrée en 2005 : +15% de touristes illustre déjà les premiers effets des mesures prises pour atteindre cet objectif.….

    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