Bonjour, y a t il un swi prolog installé qq part au labo ? Merci d'avance, Céline -----
Celine Rouveirol a écrit :
Bonjour, y a t il un swi prolog installé qq part au labo ? Merci d'avance, Céline ----- _______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme
je viens d'installer swi-prolg (swi-prolog--doc, swi-prolog-xpce et prolog el), tu peux tester nous tenir au courant s'il y a des particularités et des pbs -- Cordialement Mamadou S. ----------------------------------------------------- Mr Mamadou SOW Service Informatique-LIPN Bureau A202 CNRS LIPN UMR 7030 Université Paris XIII - Institut Galilée 99 Av. Jean Baptiste Clément 93430 Villetaneuse - France Tel: 01 49 40 40 68 / 06 79 51 07 11 Fax: 01 48 26 07 12 Accès au LIPN ou au Service de livraison (entre 09h00 et 13h00): P4 ou parking 4 http://www-lipn.univ-paris13.fr/~mamadou/ -----------------------------------------------------
Mamadou SOW a écrit :
Celine Rouveirol a écrit :
Bonjour, y a t il un swi prolog installé qq part au labo ? Merci d'avance, Céline ----- _______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme
je viens d'installer swi-prolg (swi-prolog--doc, swi-prolog-xpce et prolog el), tu peux tester nous tenir au courant s'il y a des particularités et des pbs
Mamadou, je viens d'essayer un système qui utilise une librairie du swi-prolog-xpce (broadcast). Tu m'as dit que tu l'avais installé, mais je n'ai pas trouvé la commande. Je dois mettre à jour mon path ? Merci d'avance, Céline ---------------
Celine Rouveirol a écrit :
Mamadou SOW a écrit :
Celine Rouveirol a écrit :
Bonjour, y a t il un swi prolog installé qq part au labo ? Merci d'avance, Céline ----- _______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme
je viens d'installer swi-prolg (swi-prolog--doc, swi-prolog-xpce et prolog el), tu peux tester nous tenir au courant s'il y a des particularités et des pbs
Mamadou, je viens d'essayer un système qui utilise une librairie du swi-prolog-xpce (broadcast). Tu m'as dit que tu l'avais installé, mais je n'ai pas trouvé la commande. Je dois mettre à jour mon path ? Merci d'avance, Céline ---------------
Voici les paquets installés root@taipei:~# apt-cache policy gprolog swi-prolog swi-prolog-xpce swi-prolog-doc gprolog: Installé : 1.2.18-17 Candidat : 1.2.18-17 Table de version : *** 1.2.18-17 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status 1.2.18-16 0 500 http://linux-mirror lipn/main Packages swi-prolog: Installé : 5.6.14-1 Candidat : 5.6.14-1 Table de version : *** 5.6.14-1 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status swi-prolog-xpce: Installé : 5.6.14-1 Candidat : 5.6.14-1 Table de version : *** 5.6.14-1 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status swi-prolog-doc: Installé : 5.6.17-1 Candidat : 5.6.17-1 Table de version : *** 5.6.17-1 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status les commandes auxquelles tu as accès sont : swipl swiprolog L'installation s'est passée sans PB tu peux me donner le nom de la librairie manquante, je cherche de mon côté. -- Cordialement Mamadou S.
Mamadou SOW a écrit :
Celine Rouveirol a écrit :
Mamadou SOW a écrit :
Celine Rouveirol a écrit :
Bonjour, y a t il un swi prolog installé qq part au labo ? Merci d'avance, Céline ----- _______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme
je viens d'installer swi-prolg (swi-prolog--doc, swi-prolog-xpce et prolog el), tu peux tester nous tenir au courant s'il y a des particularités et des pbs
Mamadou, je viens d'essayer un système qui utilise une librairie du swi-prolog-xpce (broadcast). Tu m'as dit que tu l'avais installé, mais je n'ai pas trouvé la commande. Je dois mettre à jour mon path ? Merci d'avance, Céline ---------------
Voici les paquets installés
root@taipei:~# apt-cache policy gprolog swi-prolog swi-prolog-xpce swi-prolog-doc gprolog: Installé : 1.2.18-17 Candidat : 1.2.18-17 Table de version : *** 1.2.18-17 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status 1.2.18-16 0 500 http://linux-mirror lipn/main Packages swi-prolog: Installé : 5.6.14-1 Candidat : 5.6.14-1 Table de version : *** 5.6.14-1 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status swi-prolog-xpce: Installé : 5.6.14-1 Candidat : 5.6.14-1 Table de version : *** 5.6.14-1 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status swi-prolog-doc: Installé : 5.6.17-1 Candidat : 5.6.17-1 Table de version : *** 5.6.17-1 0 500 http://linux-mirror lipn/main Packages 100 /var/lib/dpkg/status
les commandes auxquelles tu as accès sont :
swipl swiprolog
L'installation s'est passée sans PB tu peux me donner le nom de la librairie manquante, je cherche de mon côté.
ERROR: (/users/rouveirol/enseigne/cours-app/systems/aleph4.pl:97): source_sink `library(broadcast)' does not exist Warning: (/users/rouveirol/enseigne/cours-app/systems/aleph4.pl:97): Goal (directive) failed: user: (prolog_type(_G441), init(_G441))
participants (2)
-
Celine Rouveirol -
Mamadou SOW