Exercices : mode d'emploi

Les exercices de Programmation déclarative se déroulent sur l’ENT Moodle (si vous lisez ceci ... sinon, pour accéder à Moodle utiliser un navigateur (Firefox par exemple) et se rendre sur im2ag-moodle.e.ujf-grenoble.fr Se connecter avec votre compte Agalan. À la première connexion, il se peut que Moodle vous  demande quelques informations (prénom, nom, adresse  de courriel, ville, pays, ...), puis choisir le cours UGA / UFRIM²AG / Licence STS / Licence L3 Miage / Programmation déclarative. À la première visite, il faut peut-être s’inscrire (cliquer sur l’icône d’auto-inscription))

Choisir un exercice, par exemple l’exercice plusDeux (+2) La première page décrit l’exercice à réaliser. Choisir l’onglet « edit » pour travailler. Vous avez alors un éditeur de code où il vous faut programmer. Une fois votre programme écrit, sauver  (« save ») et exécuter votre programme (« run ») et/ou évaluer sa justesse (« evaluate » regarder sur le coté droit les résultats de la compilation/exécution/évaluation.) A la première exécution/évaluation, il faut choisir un serveur d'exécution et accepter un certificat (choisir le serveur Grenoblois ! si vous êtes hors-campus, utiliser un vpn pour vous ramener au campus : http://nomadisme.grenet.fr/ )

Solutions de repli pour l'exécution :

- swi-prolog : http://www.swi-prolog.org/

- swish : https://swish.swi-prolog.org/

- edba : https://edba.imag.fr/

- erlang : https://www.erlang.org/


Last modified: Tuesday, 12 December 2017, 1:07 PM