Discussion :

[izemouss]

Est ce que vous pouvez me dire comment ajouter un Package sous prolog
moi je veux ajouté 2 package: un Package "graphml" et un Package "gvterm"
j'ai téléchargé les deux mais je sais pas comment je les utilise ???
les lient de téléchargement :
http://www.swi-prolog.org/pack/list?p=graphml
http://www.swi-prolog.org/pack/list?p=gvterm
merci pour votre aide

[Trap D]

Une simple recherche sur Google vous aurait donné cette adresse http://www.swi-prolog.org/pack/list.


Par exemple pour voir les packages utilisant des graphes :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 ?- pack_list(graph).
% Contacting server at http://www.swi-prolog.org/pack/query ... ok
p callgraph@0.4.0           - Predicate call graph visualisation
p graphml@0.1.0             - Write GraphML files
p gvterm@1.1                - Show Prolog terms using graphviz
p musicbrainz@0.7.0         - Musicbrainz client library
p plcairo@0.9.0             - plcairo - Prolog bindings for cairo graphics library
p sindice@0.0.5             - Access to Sindice semantic web search engine
p wgraph@0.2                - Weighted graphs, with plotting via Real
true.

Pour installer un package

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
 ?- pack_install(graphml).
% Contacting server at http://www.swi-prolog.org/pack/query ... ok
Install graphml@0.1.0 from http://www.swi-prolog.org/download/pack/graphml-0.1.0.tgz Y/n? 
% Contacting server at http://www.swi-prolog.org/pack/query ... ok
% "graphml-0.1.0.tgz" was downloaded 45 times
Package:                graphml
Title:                  Write GraphML files
Installed version:      0.1.0
Author:                 Jan Wielemaker <J.Wielemaker@vu.nl>
Download URL:           http://www.swi-prolog.org/download/pack/graphml-*.tgz
Install "graphml-0.1.0.tgz" (3,088 bytes) Y/n? 
true.

[izemouss]

Bsr
comment je peut faire pour utiliser et faire un graphe sous SWI-Prolog 7.3.20 ?
je veux faire une chose comme cet exemple mais je sais pas comment je le fais sous prolog ?
exemple: https://github.com/wouterbeek/plGraphViz
merci

[Trap D]

Avez-vous essayé gvterm ?
Il sembel que ce soit plus facile sous Linux que sous Windows !

[izemouss]

non je le connais pas et j utilise Windows :/ :/ :/ :/

[Trap D]

Bon courage, je n'arrive pas à configurer correctement Python pour faire fonctionner gvterm !!

[izemouss]

Est ce que vous pouvez me donner des documentations sur prolog avantage et une relation entre prolog et le domaine de la vérification et test . Des livres ou des liens mais français parce que tout ce que j ai trouvé et en anglais ?
:/ :/ :/
merci