diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

support search for predicates

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-11-28 02:34:43 +00:00
parent 84e4162435
commit 197a943cd3
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
library/autoloader.yap
View File

@ -10,7 +10,7 @@ make_library_index :-
scan_swi_exports. scan_swi_exports.
scan_library_exports :- scan_library_exports :-
% init table file. % init table file.
open('INDEX.pl', write, W), open('INDEX.pl', write, W),
close(W), close(W),
scan_exports('../GPL/aggregate', library(aggregate)), scan_exports('../GPL/aggregate', library(aggregate)),
@ -109,9 +109,15 @@ publish_export(F, A, W, Path, Module) :-
portray_clause(W, index(F, A, Module, Path)). portray_clause(W, index(F, A, Module, Path)).
find_predicate(G,ExportingModI) :- find_predicate(G,ExportingModI) :-
nonvar(G), !,
functor(G, Name, Arity), functor(G, Name, Arity),
index(Name,Arity,ExportingModI,File), index(Name,Arity,ExportingModI,File),
ensure_file_loaded(File). ensure_file_loaded(File).
find_predicate(G,ExportingModI) :-
var(G),
index(Name,Arity,ExportingModI,File),
functor(G, Name, Arity),
ensure_file_loaded(File).
ensure_file_loaded(File) :- ensure_file_loaded(File) :-
loaded(File), !. loaded(File), !.

2
library/dialect/swi.yap
View File

@ -326,7 +326,7 @@ require(F) :-
required_predicates(F, Mod). required_predicates(F, Mod).
required_predicates([], _). required_predicates([], _).
required_predicates(F.Fs, M) :- required_predicates([F|Fs], M) :-
required_predicate(F, M), required_predicate(F, M),
required_predicates(Fs, M). required_predicates(Fs, M).