rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use newly available ... //0 from library(dcgs)

Browse Source
This commit is contained in:
Markus Triska
2022-08-13 21:42:44 +02:00
committed by Mark Thom
parent e9f507b868
commit 612f09893c
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/lib/xpath.pl
View File

@@ -26,22 +26,22 @@
:- use_module(library(http/http_open)). :- use_module(library(http/http_open)).
:- use_module(library(sgml)). :- use_module(library(sgml)).
:- use_module(library(lists)).
:- use_module(library(xpath)). :- use_module(library(xpath)).
:- use_module(library(dcgs)).
link_to_pl_file(File) :- link_to_pl_file(File) :-
http_open("https://github.com/mthom/scryer-prolog", S, []), http_open("https://github.com/mthom/scryer-prolog", S, []),
load_html(stream(S), DOM, []), load_html(stream(S), DOM, []),
xpath(DOM, //a(@href), File), xpath(DOM, //a(@href), File),
append(_, ".pl", File). phrase((...,".pl"), File).
Yielding: Yielding:
?- link_to_pl_file(File). ?- link_to_pl_file(File).
%@ File = "/mthom/scryer-prolog/blob/master/src/lib/tabling.pl" %@ File = "/mthom/scryer-prolog/blob/master/src/lib/dcgs.pl"
%@ ; File = "/mthom/scryer-prolog/blob/master/src/lib/dif.pl" %@ ; File = "/mthom/scryer-prolog/blob/master/src/lib/pio.pl"
%@ ; File = "/mthom/scryer-prolog/blob/master/src/lib/freeze.pl" %@ ; File = "/mthom/scryer-prolog/blob/master/src/lib/tabling.pl"
%@ ; ... %@ ; ... .
Parts of the original functionality may not yet work. Please Parts of the original functionality may not yet work. Please
consider such parts opportunities for improvements, and file consider such parts opportunities for improvements, and file