/****************************************/url_pointsTo_html(URL) :- 	once(url_pointsTo_html2(URL)).url_pointsTo_html2(URL) :-	concat_atom(Lurl,'/',URL),	last(Lurl,'').url_pointsTo_html2(URL) :-	concat_atom(Lurl,'.',URL),	last(Lurl,Last),	suffix_html_URL(Last).suffix_html_URL(html).suffix_html_URL(htm)./****************************************/url_base(URL,Base) :-	parse_url(URL,Parts),	parse_url(URL2,Parts),	once(url_base2(URL2,Base)).	url_base2(URL,URL) :-	concat_atom(Lurl,'/',URL),	last(Lurl,''). % ie URL se termine par un /url_base2(URL,URL0) :-	concat_atom(Lurl,'/',URL),	append(Lurl0,['index.html'],Lurl), %ie URL terminee par index.html	append(Lurl0,[''],Lurl1), % 	concat_atom(Lurl1,'/',URL0).url_base2(URL,URL0) :-	concat_atom(Lurl,'/',URL),	append(Lurl0,[Last],Lurl), %ie URL se termine par Last	atom_chars(Last,Chars),	append(_,['.',h,t,m,l],Chars),	append(Lurl0,[''],Lurl1), % 	concat_atom(Lurl1,'/',URL0).url_base2(URL,URL0) :-	concat_atom(Lurl,'/',URL),	append(Lurl0,[Last],Lurl), %ie URL se termine par Last	atom_chars(Last,Chars),	append(_,['.',h,t,m],Chars),	append(Lurl0,[''],Lurl1), % 	concat_atom(Lurl1,'/',URL0)./****************************************/is_internal_url(URL,BaseURL) :-	once(is_internal_url2(URL,BaseURL)).is_internal_url2(URL,BaseURL) :-	parse_url(URL,PartsURL),	is_internal_url3(BaseURL,PartsURL).is_internal_url2(URL,BaseURL) :-	parse_url(URL,BaseURL,PartsURL),	is_internal_url3(BaseURL,PartsURL).is_internal_url3(BaseURL,PartsURL) :-	parse_url(BaseURL,PartsBaseURL),	member(path(PURL),PartsURL),	member(path(PBaseURL),PartsBaseURL),	atom_prefix(PURL,PBaseURL). /****************************************/url_base_absolute(U,B,A) :-	global_url(U,B,A)./****************************************/