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))