SlideShare une entreprise Scribd logo
1  sur  1
Télécharger pour lire hors ligne
CERTYOU, 37 rue des Mathurins, 75008 PARIS - SAS au capital de 10 000 Euros
Tél : 01 42 93 52 72 - Fax : 01 70 72 02 72 - contact@certyou.com - www.certyou.com
RCS de Paris n° 804 509 461- TVA intracommunautaire FR03 804509461 - APE 8559A
Déclaration d’activité enregistrée sous le N° 11 75 52524 75 auprès du préfet de région d’Ile-de-France
Prolog
Formation Informatique / Développement logiciel / Programmation fonctionnelle et logique
OBJECTIFS
• Maîtriser la programmation logique avec Prolog
• Savoir l'associer avec un autre langage
PUBLIC
Tous
PRE-REQUIS
• Connaissance de la programmation
PROGRAMME
Introduction
Présentation du langage et utilités
Manipulations d'un environnement
Bases du langage
Création de faits
Requêtes à propos de ces faits
Types disponibles
Règles
Prolog avancé
Listes
Unification
Opérateurs
Coupure
Prolog dans la vie reelle
Inclusion dans le C et le C++
Les sockets
Prolog client web
Prolog serveur web
A retenir
Durée : 4 jours soit 28h.
Réf. PROLO
Dates des sessions
Cette
formation est
également
proposée en
formule
INTRA-ENTREPRISE.
Inclus dans cette formation
Coaching Après-COURS
Pendant 30 jours, votre formateur
sera disponible pour vous aider.
CERTyou s'engage dans la réalisation
de vos objectifs.
Votre garantie 100%
SATISFACTION
Notre engagement 100% satisfaction
vous garantit la plus grande qualité
de formation.

Contenu connexe

Tendances

Jee024 formation-jee-7-applications-web
Jee024 formation-jee-7-applications-webJee024 formation-jee-7-applications-web
Jee024 formation-jee-7-applications-web
CERTyou Formation
 
Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...
Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...
Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...
CERTyou Formation
 
Goini formation-go-les-bases
Goini formation-go-les-basesGoini formation-go-les-bases
Goini formation-go-les-bases
CERTyou Formation
 
Jboad formation-jboss-administration
Jboad formation-jboss-administrationJboad formation-jboss-administration
Jboad formation-jboss-administration
CERTyou Formation
 
Ip6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiements
Ip6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiementsIp6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiements
Ip6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiements
CERTyou Formation
 
Ora02 formation-oracle-avec-php-zend-core
Ora02 formation-oracle-avec-php-zend-coreOra02 formation-oracle-avec-php-zend-core
Ora02 formation-oracle-avec-php-zend-core
CERTyou Formation
 
Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...
Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...
Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...
CERTyou Formation
 
Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...
Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...
Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...
CERTyou Formation
 
Flada formation-flash-avance-travailler-avec-des-donnees-externes-et-php
Flada formation-flash-avance-travailler-avec-des-donnees-externes-et-phpFlada formation-flash-avance-travailler-avec-des-donnees-externes-et-php
Flada formation-flash-avance-travailler-avec-des-donnees-externes-et-php
CERTyou Formation
 
Qos formation-mettre-en-oeuvre-la-qos-cisco
Qos formation-mettre-en-oeuvre-la-qos-ciscoQos formation-mettre-en-oeuvre-la-qos-cisco
Qos formation-mettre-en-oeuvre-la-qos-cisco
CERTyou Formation
 
Nuxut formation-nuxeo-platform-utilisation
Nuxut formation-nuxeo-platform-utilisationNuxut formation-nuxeo-platform-utilisation
Nuxut formation-nuxeo-platform-utilisation
CERTyou Formation
 
Zop03 formation-zope-les-bases
Zop03 formation-zope-les-basesZop03 formation-zope-les-bases
Zop03 formation-zope-les-bases
CERTyou Formation
 
Ux071 formation-securiser-les-serveurs-linux
Ux071 formation-securiser-les-serveurs-linuxUx071 formation-securiser-les-serveurs-linux
Ux071 formation-securiser-les-serveurs-linux
CERTyou Formation
 
Flexi formation-flex-les-bases
Flexi formation-flex-les-basesFlexi formation-flex-les-bases
Flexi formation-flex-les-bases
CERTyou Formation
 
Pytin formation-python-les-bases
Pytin formation-python-les-basesPytin formation-python-les-bases
Pytin formation-python-les-bases
CERTyou Formation
 
Fogia formation-fog-deploiement-d-images-perfectionnement
Fogia formation-fog-deploiement-d-images-perfectionnementFogia formation-fog-deploiement-d-images-perfectionnement
Fogia formation-fog-deploiement-d-images-perfectionnement
CERTyou Formation
 
Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...
Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...
Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...
CERTyou Formation
 

Tendances (20)

Jee024 formation-jee-7-applications-web
Jee024 formation-jee-7-applications-webJee024 formation-jee-7-applications-web
Jee024 formation-jee-7-applications-web
 
Php11 formation-php-et-xml
Php11 formation-php-et-xmlPhp11 formation-php-et-xml
Php11 formation-php-et-xml
 
Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...
Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...
Spcore formation-mettre-en-oeuvre-des-services-reseaux-cisco-next-generation-...
 
Objec formation-objective-c
Objec formation-objective-cObjec formation-objective-c
Objec formation-objective-c
 
Goini formation-go-les-bases
Goini formation-go-les-basesGoini formation-go-les-bases
Goini formation-go-les-bases
 
Jboad formation-jboss-administration
Jboad formation-jboss-administrationJboad formation-jboss-administration
Jboad formation-jboss-administration
 
Ip6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiements
Ip6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiementsIp6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiements
Ip6 fd formation-les-fondamentaux-d-ipv6-concepts-et-deploiements
 
Ora02 formation-oracle-avec-php-zend-core
Ora02 formation-oracle-avec-php-zend-coreOra02 formation-oracle-avec-php-zend-core
Ora02 formation-oracle-avec-php-zend-core
 
Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...
Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...
Spngn2 formation-construire-les-reseaux-cisco-next-generation-pour-les-servic...
 
Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...
Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...
Spedge formation-mettre-en-oeuvre-des-services-reseaux-avances-cisco-next-gen...
 
Flada formation-flash-avance-travailler-avec-des-donnees-externes-et-php
Flada formation-flash-avance-travailler-avec-des-donnees-externes-et-phpFlada formation-flash-avance-travailler-avec-des-donnees-externes-et-php
Flada formation-flash-avance-travailler-avec-des-donnees-externes-et-php
 
Qos formation-mettre-en-oeuvre-la-qos-cisco
Qos formation-mettre-en-oeuvre-la-qos-ciscoQos formation-mettre-en-oeuvre-la-qos-cisco
Qos formation-mettre-en-oeuvre-la-qos-cisco
 
Nuxut formation-nuxeo-platform-utilisation
Nuxut formation-nuxeo-platform-utilisationNuxut formation-nuxeo-platform-utilisation
Nuxut formation-nuxeo-platform-utilisation
 
Zop03 formation-zope-les-bases
Zop03 formation-zope-les-basesZop03 formation-zope-les-bases
Zop03 formation-zope-les-bases
 
Ux071 formation-securiser-les-serveurs-linux
Ux071 formation-securiser-les-serveurs-linuxUx071 formation-securiser-les-serveurs-linux
Ux071 formation-securiser-les-serveurs-linux
 
Flexi formation-flex-les-bases
Flexi formation-flex-les-basesFlexi formation-flex-les-bases
Flexi formation-flex-les-bases
 
Pytin formation-python-les-bases
Pytin formation-python-les-basesPytin formation-python-les-bases
Pytin formation-python-les-bases
 
Fogia formation-fog-deploiement-d-images-perfectionnement
Fogia formation-fog-deploiement-d-images-perfectionnementFogia formation-fog-deploiement-d-images-perfectionnement
Fogia formation-fog-deploiement-d-images-perfectionnement
 
Dinit formation-d-les-bases
Dinit formation-d-les-basesDinit formation-d-les-bases
Dinit formation-d-les-bases
 
Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...
Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...
Cyjava formation-java-programmation-maitriser-les-fondamentaux-de-la-programm...
 

Similaire à Prolo formation-prolog

Druin formation-drupal-pour-les-developpeurs-les-bases
Druin formation-drupal-pour-les-developpeurs-les-basesDruin formation-drupal-pour-les-developpeurs-les-bases
Druin formation-drupal-pour-les-developpeurs-les-bases
CERTyou Formation
 
Portl formation-portlets-jsr168-jsr286
Portl formation-portlets-jsr168-jsr286Portl formation-portlets-jsr168-jsr286
Portl formation-portlets-jsr168-jsr286
CERTyou Formation
 
Msqpt formation-mysql-et-postgresql
Msqpt formation-mysql-et-postgresqlMsqpt formation-mysql-et-postgresql
Msqpt formation-mysql-et-postgresql
CERTyou Formation
 
Cyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-java
Cyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-javaCyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-java
Cyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-java
CERTyou Formation
 
Cyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmation
Cyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmationCyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmation
Cyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmation
CERTyou Formation
 
Jbu8 formation-jbuilder-8-et-9
Jbu8 formation-jbuilder-8-et-9Jbu8 formation-jbuilder-8-et-9
Jbu8 formation-jbuilder-8-et-9
CERTyou Formation
 
Jee025 formation-jee-et-google-apps-engine
Jee025 formation-jee-et-google-apps-engineJee025 formation-jee-et-google-apps-engine
Jee025 formation-jee-et-google-apps-engine
CERTyou Formation
 
Prosh formation-programmation-shell
Prosh formation-programmation-shellProsh formation-programmation-shell
Prosh formation-programmation-shell
CERTyou Formation
 
Prosh formation-programmation-shell-linux
Prosh formation-programmation-shell-linuxProsh formation-programmation-shell-linux
Prosh formation-programmation-shell-linux
CERTyou Formation
 
Indjs formation-automatiser-indesign-avec-le-javascript
Indjs formation-automatiser-indesign-avec-le-javascriptIndjs formation-automatiser-indesign-avec-le-javascript
Indjs formation-automatiser-indesign-avec-le-javascript
CERTyou Formation
 
Opgad formation-opengroupware-pour-les-administrateurs
Opgad formation-opengroupware-pour-les-administrateursOpgad formation-opengroupware-pour-les-administrateurs
Opgad formation-opengroupware-pour-les-administrateurs
CERTyou Formation
 
Gfadm formation-glassfish-administration
Gfadm formation-glassfish-administrationGfadm formation-glassfish-administration
Gfadm formation-glassfish-administration
CERTyou Formation
 
Intsh formation-installshield
Intsh formation-installshieldIntsh formation-installshield
Intsh formation-installshield
CERTyou Formation
 
Proob formation-programmation-orientee-objet
Proob formation-programmation-orientee-objetProob formation-programmation-orientee-objet
Proob formation-programmation-orientee-objet
CERTyou Formation
 

Similaire à Prolo formation-prolog (20)

Caml formation-caml
Caml formation-camlCaml formation-caml
Caml formation-caml
 
Cake formation-cake-php
Cake formation-cake-phpCake formation-cake-php
Cake formation-cake-php
 
Druin formation-drupal-pour-les-developpeurs-les-bases
Druin formation-drupal-pour-les-developpeurs-les-basesDruin formation-drupal-pour-les-developpeurs-les-bases
Druin formation-drupal-pour-les-developpeurs-les-bases
 
Xml formation-xml
Xml formation-xmlXml formation-xml
Xml formation-xml
 
Portl formation-portlets-jsr168-jsr286
Portl formation-portlets-jsr168-jsr286Portl formation-portlets-jsr168-jsr286
Portl formation-portlets-jsr168-jsr286
 
Msqpt formation-mysql-et-postgresql
Msqpt formation-mysql-et-postgresqlMsqpt formation-mysql-et-postgresql
Msqpt formation-mysql-et-postgresql
 
Cyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-java
Cyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-javaCyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-java
Cyjava2 formation-java-avance-maitriser-les-api-avancees-de-la-plate-forme-java
 
Xul formation-xul
Xul formation-xulXul formation-xul
Xul formation-xul
 
Cyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmation
Cyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmationCyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmation
Cyphp5 p formation-php-5-perfectionnement-fonctions-avancees-et-programmation
 
Jbu8 formation-jbuilder-8-et-9
Jbu8 formation-jbuilder-8-et-9Jbu8 formation-jbuilder-8-et-9
Jbu8 formation-jbuilder-8-et-9
 
Php10 formation-php-et-spip
Php10 formation-php-et-spipPhp10 formation-php-et-spip
Php10 formation-php-et-spip
 
Jee025 formation-jee-et-google-apps-engine
Jee025 formation-jee-et-google-apps-engineJee025 formation-jee-et-google-apps-engine
Jee025 formation-jee-et-google-apps-engine
 
Prosh formation-programmation-shell
Prosh formation-programmation-shellProsh formation-programmation-shell
Prosh formation-programmation-shell
 
Deldn formation-delphi-net
Deldn formation-delphi-netDeldn formation-delphi-net
Deldn formation-delphi-net
 
Prosh formation-programmation-shell-linux
Prosh formation-programmation-shell-linuxProsh formation-programmation-shell-linux
Prosh formation-programmation-shell-linux
 
Indjs formation-automatiser-indesign-avec-le-javascript
Indjs formation-automatiser-indesign-avec-le-javascriptIndjs formation-automatiser-indesign-avec-le-javascript
Indjs formation-automatiser-indesign-avec-le-javascript
 
Opgad formation-opengroupware-pour-les-administrateurs
Opgad formation-opengroupware-pour-les-administrateursOpgad formation-opengroupware-pour-les-administrateurs
Opgad formation-opengroupware-pour-les-administrateurs
 
Gfadm formation-glassfish-administration
Gfadm formation-glassfish-administrationGfadm formation-glassfish-administration
Gfadm formation-glassfish-administration
 
Intsh formation-installshield
Intsh formation-installshieldIntsh formation-installshield
Intsh formation-installshield
 
Proob formation-programmation-orientee-objet
Proob formation-programmation-orientee-objetProob formation-programmation-orientee-objet
Proob formation-programmation-orientee-objet
 

Plus de CERTyou Formation

Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10
Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10
Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10
CERTyou Formation
 
Zz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-edition
Zz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-editionZz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-edition
Zz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-edition
CERTyou Formation
 
Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...
Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...
Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...
CERTyou Formation
 
Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...
Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...
Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...
CERTyou Formation
 
Zv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linux
Zv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linuxZv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linux
Zv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linux
CERTyou Formation
 
Zv02 g formation-z-vm-introduction-et-concepts
Zv02 g formation-z-vm-introduction-et-conceptsZv02 g formation-z-vm-introduction-et-concepts
Zv02 g formation-z-vm-introduction-et-concepts
CERTyou Formation
 
Zl10 g formation-implementation-linux-pour-system-z-suse
Zl10 g formation-implementation-linux-pour-system-z-suseZl10 g formation-implementation-linux-pour-system-z-suse
Zl10 g formation-implementation-linux-pour-system-z-suse
CERTyou Formation
 
Zl00 g formation-bootcamp-z-vm-et-linux
Zl00 g formation-bootcamp-z-vm-et-linuxZl00 g formation-bootcamp-z-vm-et-linux
Zl00 g formation-bootcamp-z-vm-et-linux
CERTyou Formation
 
Zen06 formation-zend-framework-2-les-bases-et-perfectionnement
Zen06 formation-zend-framework-2-les-bases-et-perfectionnementZen06 formation-zend-framework-2-les-bases-et-perfectionnement
Zen06 formation-zend-framework-2-les-bases-et-perfectionnement
CERTyou Formation
 
Zen05 formation-zend-framework-2-les-bases
Zen05 formation-zend-framework-2-les-basesZen05 formation-zend-framework-2-les-bases
Zen05 formation-zend-framework-2-les-bases
CERTyou Formation
 
Zen04 formation-zend-framework-2-perfectionnement
Zen04 formation-zend-framework-2-perfectionnementZen04 formation-zend-framework-2-perfectionnement
Zen04 formation-zend-framework-2-perfectionnement
CERTyou Formation
 
Zen03 formation-zend-framework-1-les-bases-et-perfectionnement
Zen03 formation-zend-framework-1-les-bases-et-perfectionnementZen03 formation-zend-framework-1-les-bases-et-perfectionnement
Zen03 formation-zend-framework-1-les-bases-et-perfectionnement
CERTyou Formation
 
Zen02 formation-zend-framework-1-les-bases
Zen02 formation-zend-framework-1-les-basesZen02 formation-zend-framework-1-les-bases
Zen02 formation-zend-framework-1-les-bases
CERTyou Formation
 
Zen01 formation-zend-framework-1-perfectionnement
Zen01 formation-zend-framework-1-perfectionnementZen01 formation-zend-framework-1-perfectionnement
Zen01 formation-zend-framework-1-perfectionnement
CERTyou Formation
 
Zabix formation-zabbix-supervision-d-infrastructure
Zabix formation-zabbix-supervision-d-infrastructureZabix formation-zabbix-supervision-d-infrastructure
Zabix formation-zabbix-supervision-d-infrastructure
CERTyou Formation
 
Xtrn1 g formation-implementation-du-reseau-sur-systeme-ibm
Xtrn1 g formation-implementation-du-reseau-sur-systeme-ibmXtrn1 g formation-implementation-du-reseau-sur-systeme-ibm
Xtrn1 g formation-implementation-du-reseau-sur-systeme-ibm
CERTyou Formation
 
Xtrn0 g formation-introduction-reseau
Xtrn0 g formation-introduction-reseauXtrn0 g formation-introduction-reseau
Xtrn0 g formation-introduction-reseau
CERTyou Formation
 
Xtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenter
Xtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenterXtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenter
Xtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenter
CERTyou Formation
 

Plus de CERTyou Formation (20)

Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10
Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10
Zz670 g formation-ibm-infosphere-mdm-reference-data-management-v10
 
Zz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-edition
Zz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-editionZz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-edition
Zz640 g formation-ibm-personnaliser-infosphere-mdm-advanced-edition
 
Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...
Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...
Zz620 g formation-ibm-concepts-d-architecture-et-modele-de-donnees-pour-infos...
 
Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...
Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...
Zv10 g formation-ibm-z-vm-et-linux-pour-zseries-connectivite-et-gestion-du-sy...
 
Zv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linux
Zv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linuxZv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linux
Zv06 g formation-ibm-z-vm-et-linux-pour-zseries-bases-vm-pour-linux
 
Zv02 g formation-z-vm-introduction-et-concepts
Zv02 g formation-z-vm-introduction-et-conceptsZv02 g formation-z-vm-introduction-et-concepts
Zv02 g formation-z-vm-introduction-et-concepts
 
Zop05 formation-zope-plone
Zop05 formation-zope-ploneZop05 formation-zope-plone
Zop05 formation-zope-plone
 
Zop02 formation-zope-cps
Zop02 formation-zope-cpsZop02 formation-zope-cps
Zop02 formation-zope-cps
 
Zl10 g formation-implementation-linux-pour-system-z-suse
Zl10 g formation-implementation-linux-pour-system-z-suseZl10 g formation-implementation-linux-pour-system-z-suse
Zl10 g formation-implementation-linux-pour-system-z-suse
 
Zl00 g formation-bootcamp-z-vm-et-linux
Zl00 g formation-bootcamp-z-vm-et-linuxZl00 g formation-bootcamp-z-vm-et-linux
Zl00 g formation-bootcamp-z-vm-et-linux
 
Zen06 formation-zend-framework-2-les-bases-et-perfectionnement
Zen06 formation-zend-framework-2-les-bases-et-perfectionnementZen06 formation-zend-framework-2-les-bases-et-perfectionnement
Zen06 formation-zend-framework-2-les-bases-et-perfectionnement
 
Zen05 formation-zend-framework-2-les-bases
Zen05 formation-zend-framework-2-les-basesZen05 formation-zend-framework-2-les-bases
Zen05 formation-zend-framework-2-les-bases
 
Zen04 formation-zend-framework-2-perfectionnement
Zen04 formation-zend-framework-2-perfectionnementZen04 formation-zend-framework-2-perfectionnement
Zen04 formation-zend-framework-2-perfectionnement
 
Zen03 formation-zend-framework-1-les-bases-et-perfectionnement
Zen03 formation-zend-framework-1-les-bases-et-perfectionnementZen03 formation-zend-framework-1-les-bases-et-perfectionnement
Zen03 formation-zend-framework-1-les-bases-et-perfectionnement
 
Zen02 formation-zend-framework-1-les-bases
Zen02 formation-zend-framework-1-les-basesZen02 formation-zend-framework-1-les-bases
Zen02 formation-zend-framework-1-les-bases
 
Zen01 formation-zend-framework-1-perfectionnement
Zen01 formation-zend-framework-1-perfectionnementZen01 formation-zend-framework-1-perfectionnement
Zen01 formation-zend-framework-1-perfectionnement
 
Zabix formation-zabbix-supervision-d-infrastructure
Zabix formation-zabbix-supervision-d-infrastructureZabix formation-zabbix-supervision-d-infrastructure
Zabix formation-zabbix-supervision-d-infrastructure
 
Xtrn1 g formation-implementation-du-reseau-sur-systeme-ibm
Xtrn1 g formation-implementation-du-reseau-sur-systeme-ibmXtrn1 g formation-implementation-du-reseau-sur-systeme-ibm
Xtrn1 g formation-implementation-du-reseau-sur-systeme-ibm
 
Xtrn0 g formation-introduction-reseau
Xtrn0 g formation-introduction-reseauXtrn0 g formation-introduction-reseau
Xtrn0 g formation-introduction-reseau
 
Xtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenter
Xtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenterXtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenter
Xtrd1 g formation-ibm-systems-director-6-3-pour-system-x-et-serveurs-bladecenter
 

Prolo formation-prolog

  • 1. CERTYOU, 37 rue des Mathurins, 75008 PARIS - SAS au capital de 10 000 Euros Tél : 01 42 93 52 72 - Fax : 01 70 72 02 72 - contact@certyou.com - www.certyou.com RCS de Paris n° 804 509 461- TVA intracommunautaire FR03 804509461 - APE 8559A Déclaration d’activité enregistrée sous le N° 11 75 52524 75 auprès du préfet de région d’Ile-de-France Prolog Formation Informatique / Développement logiciel / Programmation fonctionnelle et logique OBJECTIFS • Maîtriser la programmation logique avec Prolog • Savoir l'associer avec un autre langage PUBLIC Tous PRE-REQUIS • Connaissance de la programmation PROGRAMME Introduction Présentation du langage et utilités Manipulations d'un environnement Bases du langage Création de faits Requêtes à propos de ces faits Types disponibles Règles Prolog avancé Listes Unification Opérateurs Coupure Prolog dans la vie reelle Inclusion dans le C et le C++ Les sockets Prolog client web Prolog serveur web A retenir Durée : 4 jours soit 28h. Réf. PROLO Dates des sessions Cette formation est également proposée en formule INTRA-ENTREPRISE. Inclus dans cette formation Coaching Après-COURS Pendant 30 jours, votre formateur sera disponible pour vous aider. CERTyou s'engage dans la réalisation de vos objectifs. Votre garantie 100% SATISFACTION Notre engagement 100% satisfaction vous garantit la plus grande qualité de formation.