6 avr 2011 · 3 Le chapitre syntaxe décrit précisement la syntaxe d'une variable Le nom de fichier doit être un atome dans l'implantation actuelle de Prolog IV Comme mod 3 n 3 nidentifier 1 nint 1 nlist 1 nleaf 1 not 1 nprime 1 ntree 1
Dans les deux premiers chapitres nous avons introduit la relativité restreinte comme On consid`ere un mod`ele d'atome dans lequel chaque électron est lié `a
6 avr 2011 · 3 Le chapitre syntaxe décrit précisement la syntaxe d'une variable Le nom de fichier doit être un atome dans l'implantation actuelle de Prolog IV Comme mod 3 n 3 nidentifier 1 nint 1 nlist 1 nleaf 1 not 1 nprime 1 ntree 1
[PDF] Chapitre 11a #8211 La charge électrique
[PDF] CHAPITRE IV : La charge électrique et la loi de Coulomb - IIHE
[PDF] CHAPITRE IV : La charge électrique et la loi de Coulomb - IIHE
[PDF] Chapitre 11a #8211 La charge électrique
[PDF] Calcul du temps de charge d 'un condensateur - Gecifnet
[PDF] Présentation de la ressource : Une animation permettant de faire
[PDF] Charge et décharge du condensateur - BAPP - ULB
[PDF] Chapitre 3 Etude de la charge et la décharge d 'un condensateur
[PDF] Charge et décharge d 'un condensateur Bobine - L 'UTES
[PDF] Corrigé du DM : EXERCICE 1 - Etude d 'un supercondensateur 1
[PDF] Chapitre 3 Etude de la charge et la décharge d 'un condensateur
[PDF] Fiches d 'exploitation des stations d 'épuration - Epnac
[PDF] caractéristiques techniques et équipements citroën c4 picasso
[PDF] caractéristiques techniques et équipements citroën c4 picasso
[PDF] CHAPITRE IV : La charge électrique et la loi de Coulomb - IIHE
/0.,.)*(0+1&)( -4>D8<=;B8>6?>BD
<;5A8BDA+>C8A>8C4D@A;>C8=@B#!"! H/0.,.)*(0+1&)( '?>C46C$4BB?6;4C;?>%@A?Aociation Prolog HERITAGE LEMANUELDE PROLOGIV Tutoriel Conceptsdebase Primitives PrologISO Syntaxe Environnement PrologIA ParcTechnolo giquedeLuminy-Case919 13288Marseillec edex09-FRANCE Aociation Prolog HERITAGE PROLOGIVestu nproduitd elasoc iétéPrologIA,conçuen coopér ation étroiteavecl'équipeProgrammationparContraintesduLIM, leLabora- toired'Informat iquedeMarseillequiassociel'Universitédela Médit erranée, l'UniversitédeProvenceetleCentreNat ionald elaRechercheScientifique dansl'URA1789. Ontpartic ipéàsaréalisationFrédéricB ENHAMOU,Pa scalBOUVIER,Al ain COLMERAUER,He nriGARRETA,Je an-LucMASSAT,Gu yAlainNARBONI, NEGHEM,Er icVÉTILLARD,av ecl'aidedeBr unoGILLETA,Ro bertPASERO etJian yangZHOU. Sondével oppementabénéficiéd'étudesmenéesdanslec adr ededeuxprojets ESPRIT:le projet derechercheACCLAIM7195,portantsur laprogrammation concurrenteparcontraintes,etlepr ojetPRINCE5246,portantsur l'environ- nementetlapartieco ntrain tesd' unPrologàcaractère industrieletfinancier. PrologIAn'offreaucunegar antie,expresseoutaci te,concernantcema nuel oulel ogicie lquiyestdécrit,sesquali tés,sespe rfo rmancesou sacapacitéà satisfaireàquelqueapplication que cesoit. PrologIAnepourraêtretenu eresp onsabledespréjudic esdirectsou indirects, dequel quenaturequecesoit,résultantd'uneimperfectionda nslep rogramme oulema nuel,m êmesielleaétéaviséed elapossibili téqued etelspréjud ice s seprod uisent.Enparticulier,ellenepourr aencou riraucuneresponsabilité dufait desdonnéesmé morisées ouexploitées,ycompris pourlescoûtsde récupérationoudereproductiondecesdo nnées . L'acheteuratoutefoisdroitàlag ara ntielégaledanslescasetdans lamesure seulementoùlagarantielégale estap plicab lenonobstanttouteexclus ionou limitation. Cemanu eletlelogicielqu'i ldécri tsont protégésparlesdroitsd'au teur.Au êtrecopiésou adaptés,entoutoue nparti e,sansleconsentementécr itde PrologIA,saufdanslecadred' uneutilisat ionnormaleou pourfa ireunecopie desau vegarde.Cesexceptionsn'autorisen tcependan tpaslaconfectionde copiesàl'intention d'u ntiers,quecesoitounonpourlesvend re. PrologIVestunemarq uedépo séedePro logIA. Pourtoutesqu estionsconcernant cemanueletcelogiciel,contac tez: PrologIA ParcTechnol ogiquedeLuminy-Case919 13288Marseille cedex09-FRANCE Tél:33912686 36 Fax:33914196 37 E-mail:prologia@prologianet.univ-mrs.fr ii Aociation Prolog HERITAGE Tabledesmatiè res Introduction1 1T utorieletSurvoldePrologI V11 1.1Uneses sionprolo gsousPrologIV....... ........11 1.2D'aut resexemples,avecdescontr aintes!...........14 1.3L'env ironnementdeprogrammation... ... ... ... ..4 2 1.4DePro logIII àPrologIV......... ........ ... 50 2Le sBasesdeP rologIV61 2.1Introd uction... ... ... ... ... ... .. ... ... .61 2.2Syntax eetsémantique....... ...... ........65 2.3Lastru cture debase... .. ... ... ... ... ... .70 2.4Axioma tisationde... ... .. ... ... ... ... ..7 9 2.5Struct uresenrichies................ .......92 2.6Exemp lesdeprogrammesenPrologI V.... ........97 3Re lationsPrologIV111 3.1Intro duction... ... ... ... ... ... ... .. ... .11 1 3.2Listea lphabétique.... ....................117 4Pr édicatsprédéfinisPrologIV213 4.1Prélim inaires..........................213 4.2Liste alphabétique... .....................219 5Pr édicatsprédéfinisISO251 5.1Introd uction... ... ... ... ... ... .. ... ... .25 1 5.2Préala bles......................... ... 258 5.3Liste alphabétique... .....................271 i Aociation Prolog HERITAGE 6Sy ntaxedePrologIV339 6.1Mini- glossaire..........................339 6.2Lesmod esd'util isationdeProlog IV... ... .. ... ... 340 6.3Lalogi quedan sProlog............. ........340 6.4Lesob jetsdulan gage............. ...... ...341 6.5Lectur ederèglesetderequête s..... ............347 7La syntax ecomplètedePrologISO 353 7.1Notat ions...................... ... ... 353 7.2Textes etdonnéesProlog... ... ... ... ... ... .. 354 7.3Termes ................. ... ... ... ... .3 56 7.4Unités lexicales........ .................363 7.5Carac tèresduprocesseur............ ...... ..371 7.6Tabled escodesdescara ctères... .............. 373 7.7Lexiqu e................... ... ... ... .37 3 8En vironnement375 8.1Lesop tionsdela ncement............. ...... .375 8.2Interr uptionutilisateur... ... ... ... ... ... .. .37 6 8.3Compi lationdesrègles................. ....377 8.4Ledébo gueurP rologIV... ... ... ... ... ... ..3 78 9L' environnementgraphiquedePrologIV389 9.1Lancem entdePrologIV............. ...... .389 9.2Configu rationinitiale... ... ... ... ... ... .. ..3 90 9.3Lepan neaupr incipal............. .........390 9.4Lacons olePro logIV............... .......391 9.5LaCon soleTc l/Tk................. ......393 9.6LesEdi teurs.... ....................... 393 9.7LeDéb ogueur ... ... ... ... ... ... ... ... .. 396 9.8Dialog ues.... ... ... ... ... ... .. ... ... .39 8 9.9Clavie retsouris........... ...... ........400 9.10Informa tionsdiverses...................... 401 9.11Primiti vesgraphiques................ ......402 9.12Quelque sProblèmesetlimitations. ..............404 ii Aociation Prolog HERITAGE Introduction Généralités LAPR OGRAMMATIONLOGIQUEAVECCONTRAINTES,au jourd'huiun domainescientifiqueàpa rtentière,matérialiselaconvergen ced edeuxten- dancesmajeuresdans larechercheeninformatiq uedecesderni èresdé cen- nies. Laprem ière,enamont,concernelesou cicons tantdefaireévoluer lelangage Prolog,inventéparAlai nColmeraueràMarseilleautoutdé butdesannées70 . Cetteévolutionn aturelles'estorientéeverslaconceptionetlaréalisationd'un systèmededéveloppementdeplusenpl usouvert,depl usenplusefficaceet deplus enplustourné versla conceptiond 'applicationsréell es.Cequenou s appelonsiciapplicationré elleregr oupetouttypededéveloppementdesti néà résoudreunouplusieurspro blème sphysi quesdansunenvironnementéco no- miquecomplexe. Autrementdit,ilnes'agitpas seulementd'expérimenter,il s'agitdeproduire, queces oitdesapplicationsutilisée squotidie nneme ntdans l'entreprise,desrésultatsderecherchepe rformants ,ouencoreunenseigne- mentadaptéàd enouvellesexigence sp rofess ionnelles.L'undescheminsde cetteévolution estceluidescontraintes,qui ontpermis d'enrichirconsi déra- blementlelangageenred éfiniss antsonprincipemêmede foncti onnement. Cetterévolution nes'esttoutefoispasfaiteenunj our.La définitiondePro - logII,aud ébutdesan nées80 comportaitdéjà lesidéesm ajeuresetlamachi- neriethéorique quiallaitplustarddonnernaissanceaux langagesdeprogram - mationparcontraint es.Laseco ndeinnovationmarquantedevraattendrelafin deces mêmesanné es80etvoirl'avè nementd'untraitem entdes problè mes numériques,notamment,en accordaveclaphilosophiegénéraledu langage,à savoirsadéclarativ itéets oncaractèrerelationnel. Laseco ndetendancementionné eplushautestdiamétraleme ntopposée.Il s'agiteneffet,non pasd'a méliorerlelangage Prologpou rlerendre plus adaptéaudéveloppem entd'a pplicationsindustrielles,maisdemontre rque cesapplic ations,souventdéjàexpriméesentermesdec ontraintes,onttout àga gnerdeladéclarati vité,d ucarac tèrerelationneletdunon-déterminisme inhérentàProlog.Pourper met treàPrologd'êtreeffic acedansceten viron- nement,uneévolutiones tsouhait able,etcetteévolutionsetrou veconver ger verslesprinc ipesd'amé liorationducoeurmêmedulanga gequenousavons mentionnésplushaut. 1 Aociation Prolog HERITAGE 2Introduction Lerésu ltatpratiquedecesréflexio nss'esttraduitàlafindesa nnées8 0parle développementdelangagesdeprogrammation sparcontraintesparmilesquels PrologIIIetd'autr eslangage sontdé montrélespotentialitésd uconceptdans lemon deindustriel. PrologIVn'estpourtantpasunenouv elle version deProlog III.Ce précédent langages'estamélioréa ufildutemps,son environnementdeprogramma tion s'estenrichi,l esplates-formesmatériell esetlogi ciellessurlesquellesilest disponiblesesontdiversifiées,maislec oeurdulangage estrestéinchangéde- puissonlance ment,en19 89.PrologIVestlerésultatàlafo isdesr echerches enamon tquisesontpours uiviesdep uislo rs,etdesbeso insfondamentaux desutilis ateurstelsqu'ilssontapparusaufildut emps.Enfin,un eautreétape fondamentaledansl'utilisationindust rielledesla ngagesdérivésdePrologat- vientd'êtrepubl iée. Pourtoutesce sraisons,lafamill edesProlo gmarseillaissedevaitdon cde s'enrichird'unnouveaumembre,mai sàl 'imagedeses prédécesseurs,celui- cisede vaitde réuniruncertainnombred equalitésindispensables:efficacité dusyst ème,rigueurthéoriqueetno uveautédesconcepts. L'efficacitédusystèmeestunecondit ioncru cialeàlaréussited'unl angage, maisaussiàla réussitedetousl es langag esconstruitsautourdeProlog.Ce lle- ciesta ssuréeenP rologIVgrâceàuncompi lateur optimiséetàl'util isatio n deréso lveursdecontraintesextrêmemen tperfo rmantsquenousprésenterons plusendétai ldansl asuitedecedocumen t. Contrairementàquelquesidéesreçues,ilse rai tillusoiredecroirequela ri- gueurthéoriques erésumeàunsoucid'esthétiqu e.Lesl angagesdeprogram- mationparcontraint estelsque PrologIV,parunevolontéconstanted 'amélio- rationdeleurpuissa nced'e xpressionet deleursperformancesdevienn ent complexesdansleurconceptio n.L'uniquega rantiequel' exécutiondespro- grammescalculelesrésu ltatsattendus(etparfoisdesrés ultatstoutsimplement amontdudévelopp ement. Danscecontexte,lanotiondeformalismes'int er-quotesdbs_dbs4.pdfusesText_8
×
if you Get
No preview available Click on (Next PDF)
Next PDF
[PDF] Relativité et électromagnétisme - Département de Physique de l