Fondements de la programmation logique PDF Download

Author: John Wylie Lloyd
Publisher:
ISBN: 9782212081794
Category :
Languages : fr
Pages : 219

View

Book Description

Author: Jean-Paul Tremblay
Publisher:
ISBN:
Category : Algorithms
Languages : fr
Pages : 520

View

Book Description

Author: François Fages
Publisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183

View

Book Description

Author: Christopher John Hogger
Publisher: Elsevier Masson
ISBN: 9782225810091
Category : Logic programming
Languages : fr
Pages : 284

View

Book Description

Author: Yves Arden
Publisher: Routledge
ISBN: 1134831633
Category : Reference
Languages : en
Pages : 866

View

Book Description
The French-English volume of this highly acclaimed set consists of some 100,000 keywords in both French and English, drawn from the whole range of modern applied science and technical terminology. Covers over 70 subject areas, from engineering and chemistry to packaging, transportation, data processing and much more.

Author: Gérard Ferrand
Publisher:
ISBN: 9782726106815
Category :
Languages : en
Pages : 55

View

Book Description

Author: Yves Arden
Publisher: Psychology Press
ISBN: 0415112257
Category : English language
Languages : en
Pages : 866

View

Book Description
The French-English volume of this highly acclaimed set consists of some 100,000 keywords in both French and English, drawn from the whole range of modern applied science and technical terminology. Covers over 70 subject areas, from engineering and chemistry to packaging, transportation, data processing and much more.

Author: MACAIRE.. NGOMO
Publisher:
ISBN:
Category :
Languages : fr
Pages : 325

View

Book Description
CETTE THESE PREND PLACE DANS UN PROJET INTERNE DE REALISATION DE LANGAGES A VOCATION MULTIPLE, INTEGRANT PLUSIEURS STYLES DE PROGRAMMATION ET ADAPTES AU PLUS PRES A NOS BESOINS EN MATIERE DE CONCEPTION ET PROGRAMMATION DES APPLICATIONS. DANS CELLE-CI, NOUS ETUDIONS LES POSSIBILITES DE COMBINER LES ASPECTS DE DEUX PARADIGMES DE PROGRAMMATION : LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. CES DERNIERES ANNEES, CES DEUX PARADIGMES DE PROGRAMMATION ONT SUSCITE UN INTERET DE PLUS EN PLUS GRAND PARCE QU'ILS OFFRENT BEAUCOUP D'AVANTAGES SUR LES METHODES TRADITIONNELLES DE PROGRAMMATION. DANS CETTE THESE, NOUS PROPOSONS UN NOUVEAU MODELE POUR INTEGRER CES DEUX PARADIGMES DE PROGRAMMATION, EN METTANT EN AVANT L'ASPECT DECLARATIF DE LA PROGRAMMATION LOGIQUE. SUR LA BASE DE CE MODELE, NOUS DEVELOPPONS UN NOUVEAU LANGAGE NOMME OO-PROLOG (OBJECT-ORIENTED PROLOG). CE LANGAGE INTEGRE DE MANIERE COHERENTE LES GRANDS MECANISMES DE LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. IL EST BASE SUR DELPHIAPROLOG ET CONCU SUIVANT LE MODELE METACLASSE/CLASSE/INSTANCE INSPIRE DU MODELE OBJVLISP. L'HERITAGE EST DYNAMIQUE ET MULTIPLE, AVEC UNE SEMANTIQUE NON MONOTONE. UNE NOUVELLE METHODE DE RESOLUTION DES CONFLITS EST PROPOSEE. ELLE EST BASEE SUR LA RESOLUTION NON-DETERMINISTE. UN MECANISME DE VERSIONS D'OBJETS EST PROPOSE PERMETTANT DE CONSTRUIRE L'HISTOIRE D'UN OBJET PAR UNIFICATION ET DE LA DEFAIRE PAR RETOUR ARRIERE. CE MECANISME REPOSE SUR L'UTILISATION DES STRUCTURES DE DONNEES INCOMPLETES. L'APERCU D'UNE STRUCTURE INCOMPLETE PEUT S'UTILISER POUR PERMETTRE L'ENTREE DE NOUVELLES INFORMATIONS MOYENNANT L'UNIFICATION ET DONC DE PREVOIR L'AVENIR. LA LECTURE DECLARATIVE DES PROGRAMMES UTILISANT CES STRUCTURES EST IMMEDIATE. DE FACON OPERATOIRE, CES PROGRAMMES SE COMPRENNENT EN TERMES DE CONSTRUCTION D'UNE STRUCTURE PAR INCREMENTATION. UN SCHEMA D'EXTENSION DE L'UNIFICATION EST PROPOSE, PRENANT EN COMPTE LE CONCEPT D'IDENTIFICATEUR D'OBJET.

Author: ABDENBI.. DRISSI TALBI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 238

View

Book Description
CETTE THESE PROPOSE UN CADRE DE PROGRAMMATION HYBRIDE FONDE SUR LA PROGRAMMATION LOGIQUE (PL) ET LA PROGRAMMATION ORIENTEE OBJET (POO), ET ETENDU PAR LA RESOLUTION DES CONTRAINTES LINEAIRES EN NOMBRES NATURELS. LE LANGAGE LOP ASSOCIE A CE CADRE OFFRE UNE PROGRAMMATION POUVANT ETRE STATIQUE OU DYNAMIQUE, DECLARATIVE OU PROCEDURALE. LE SYSTEME PROPOSE SE COMPOSE D'UNE HIERARCHIE A TROIS NIVEAUX DE PROGRAMMATION PERMETTANT UNE FUSION PROGRESSIVE ET NON LIMITATIVE DE LA PL ET DE LA POO. CHACUN DE CES NIVEAUX PRIVILEGIE UNE FACETTE DU MARIAGE DE CES DEUX PARADIGMES. LE NIVEAU DE BASE, APPELE NPO, PROPOSE UNE PROGRAMMATION PAR OBJETS LOGIQUES STATIQUES. IL PRESERVE LES AVANTAGES DE LA PROGRAMMATION EN PROLOG PUR, TOUT EN AMELIORANT LA STRUCTURATION DES PROGRAMMES. LE SECOND NIVEAU, APPELE NP1, EST UNE EXTENSION DE NPO PAR DES ASPECTS DYNAMIQUES DE LA POO ADAPTES A L'ESPRIT DE LA PROGRAMMATION DECLARATIVE. NP1 PROPOSE UNE PROGRAMMATION A LA FOIS DYNAMIQUE ET DECLARATIVE PAR OBJETS LOGIQUES MULTI-ETATS ET PAR METHODES LOGIQUES MULTI-DEFINITIONS. LE DERNIER NIVEAU, APPELE NP2, INTEGRE DES MECANISMES DE PROGRAMMATION QUI SORTENT DU CADRE DECLARATIF FIXE AU NIVEAU NP1. D'UNE PART, IL COMPLETE NP1 PAR DES MECANISMES DE CONTROLE, NECESSAIRE A LA REALISATION D'UN GRAND NOMBRE D'APPLICATIONS. D'AUTRE PART, IL INTEGRE UN NOUVEAU MODELE DE SIMULATION DISCRETE ORIENTEE PROCESSUS, OU LES CALCULS TEMPORELS ET LA GESTION DES PROCESSUS SONT EFFECTUES PAR UN SOLVEUR DE CONTRAINTES. LE LANGAGE LOP ET SON INTERPRETEUR SONT ENTIEREMENT CONCUS PAR OBJETS ET IMPLANTES EN CLOS.

Author: Philippe Codognet
Publisher: Hermes Science Publications
ISBN: 9782746202559
Category :
Languages : en
Pages : 303

View

Book Description
Les nouveaux outils informatiques nés des recherches de ces trois dernières décennies autour de la programmation logique apportent de nouvelles solutions pour résoudre de nombreux problèmes complexes. Ainsi, la programmation par contraintes, qui découle de la programmation logique, des techniques de satisfaction de contraintes en intelligence artificielle (CSP) et de la recherche opérationnelle, connaît depuis plusieurs années un succès industriel croissant et une diffusion de plus en plus grande. Il est certain que la décennie qui commence ne fera que confirmer ce développement. Programmation en logique avec contraintes est le recueil des contributions sélectionnées et présentées aux dixièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC'2001). Les thèmes principaux abordés cette année concernent les problèmes de satisfaction de contraintes, la programmation avec contraintes, la logique, les agents intelligents et les environnements de programmation.