pretty_print/1 définie dans ce
fichier.
Récupérez ce fichier en local, compilez-le et testez cette relation
sur divers termes, par exemple f(X,[a,b,C],g(0,c,[6])).
bidon.html (vous pouvez éventuellement utiliser
l'éditeur de SWI-Prolog pour cela)
avec un titre et plusieurs niveaux de balises ol imbriqués,
du texte et des nombres.apropos(www)).
A l'aide de cette relation,
visualisez la page d'acceuil de Google
ainsi que votre fichier bidon.html.user_output.
Définissez la relation staticTable_browser/0,
n'utilisant que la relation prédéfinie
write/2 pour créer un fichier ts.html d'une page HTML
contenant la table des carrés de 1 à 5. Browsez.user_output.
Dans un second temps, écrivez dans un fichier nommé st.html.
sgml, qui se charge sous SWI-Prolog
à l'aide de la directive :- use_module(library(sgml)).
bidon.html.
Pretty-printez le terme lu. Analysez ce terme.
Faites de même pour le fichier st.html.dynamic_table(+N,-Thtml)
qui génère le terme HTML d'une page HTML intitulée Table
contenant la table des carrés de 1 à N.
Ecrivez le code HTML dans un fichier et browsez cette page.user_output.
Ecrivez le code demandé.edges(a,[b,c,d]). edges(b,[e,f]). edges(c,[g]). edges(d,[]). edges(e,[]). edges(f,[]). edges(g,[]).Définissez la relation
tree_thtml(+N,-T) qui génère le terme
HTML représentant un parcours préfixe main gauche en profondeur
d'abord de l'arbre (ou du sous arbre) commençant au noeud N.
Par exemple (la sortie a été éditée pour une meilleure lisibilité) :
?- tree_thtml(b,T),pretty_print(T).
[ b,
element(ul,[],
[ element(li,[],[e]),
element(li,[],[f])])].
T = [b, element(ul, [], [element(li, [], [e]), element(li, [], [f])])] ;
No
?-
edges2(a,[b,c,d]). edges2(b,[a,e,f]). edges2(c,[b,g]). edges2(d,[]). edges2(e,[b]). edges2(f,[]). edges2(g,[]).Définissez la relation
graph_thtml(+N,-T) qui génère le terme
HTML représentant un parcours préfixe main gauche en profondeur d'abord
du graphe commençant au noeud N.
Par exemple :
?- graph_thtml(a,T),pretty_print(T).
[ a,
element(ul,[],
[ element(li,[],
[ b,
element(ul,[],
[ element(li,[],[a]),
element(li,[],
[ e,
element(ul,[],
[ element(li,[],[b])])]),
element(li,[],[f])])]),
element(li,[],
[ c,
element(ul,[],
[ element(li,[],[b]),
element(li,[],[g])])]),
element(li,[],[d])])].
T = [a, element(ul, [], [element(li, [], [b, element(ul, [], [element(li, [], [a]), element(li, [], [e, element(ul, [], [element(li, [], [b])])]), element(li, [], [f])])]), element(li, [], [c, element(ul, [], [element(li, [], [b]), element(li, [], [g])])]), element(li, [], [d])])] ;
No
Indications : attention aux cycles !
Définissez la relation not_member(+Xs,+X),
vraie ssi X n'est pas élément de Xs, en vous aidant de la relation
prédéfinie dif/2. Utilisez la relation memberchk/2
(help(memberchk) pour plus d'information). La relation
graph_thtml/2 peut faire appel à une relation auxiliaire où vous
maintenez, via une paire d'arguments, la liste des sommets déjà visités.
Avisez suivant l'appartenance du sommet courant à cette liste.
http://www.w3.org/TR/html4/about.html.html_title(+Thtml,-Titre)
où Titre est le titre de la structure Thtml
d'une page HTML valide. Utilisez la relation memberchk/2.
Testez.html_hrefTxts(+Thtml,-HrefTxts)
où HrefTxts est une liste des paires
lien/texte de la structure Thtml d'une page HTML valide.
Testez.library(url).
url_base(+URL,?Base)
où Base est le préfixe maximum d'URL
à partir duquel on parcourt un site Web d'URL URL.
Par exemple :
?- url_base('http://www.example.org/index.html',B).
B = 'http://www.example.org/' ;
No
?- url_base('http://www.example.org/~john',B).
No
?- url_base('http://www.example.org/~john/',B).
B = 'http://www.example.org/~john/' ;
No
Indications : auparavant lire la section concernant
la
manipulation des atomes
sous SWI-Prolog.is_internal_url(+URL,+Base)
vraie ssi URL est une URL interne relativement à Base.
Par exemple :
?- is_internal_url('test/index.html','http://www.ex.org/').
Yes
?- is_internal_url('test','http://www.ex.org/').
No
?- is_internal_url('test.html','http://www.ex.org/').
Yes
?- is_internal_url('test/','http://www.ex.org/').
Yes
?- is_internal_url('mailto://john.doe@ex.org','http://www.ex.org/').
No
?- url_base_absolute(+URL,+Base,-FullURL)
où FullURL est l'URL absolue par rapport à Base
de l'URL possiblement relative URL.
?- url_base_absolute('index.html','http://www.example.org/',F).
F = 'http://www.example.org/index.html' ;
No
?- url_base_absolute('test/index.html','http://www.example.org/',F).
F = 'http://www.example.org/test/index.html' ;
No
?- url_base_absolute('http://www.example.org/index.html','http://www.example.org/',F).
F = 'http://www.example.org/index.html' ;
No
?- url_base_absolute('~john/index.html','http://www.example.org/',F).
F = 'http://www.example.org/~john/index.html' ;
No
?- url_base_absolute('test/index.html','http://www.example.org/',F).
F = 'http://www.example.org/test/index.html' ;
No
?- url_base_absolute('test/../index.html','http://www.example.org/',F).
F = 'http://www.example.org/test/../index.html' ;
No
?- url_summary(+URL,-Thtml)
qui résume le site d'adresse URL
en une page HTML représentée par le terme Thtml.
Ce résumé reflète la structure du site Web,
avec les liens externes et internes du site.
catch/3.