feat(logic): add source_files/1 predicate

axone-protocol · Mar 21, 2023 · b89718c · b89718c
1 parent a543e4a
commit b89718c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/x/logic/interpreter/bootstrap/bootstrap.pl b/x/logic/interpreter/bootstrap/bootstrap.pl
@@ -253,3 +253,5 @@
 maplist(Cont_7, [E1|E1s], [E2|E2s], [E3|E3s], [E4|E4s], [E5|E5s], [E6|E6s], [E7|E7s]) :-
   call(Cont_7, E1, E2, E3, E4, E5, E6, E7),
   maplist(Cont_7, E1s, E2s, E3s, E4s, E5s, E6s, E7s).
+
+source_files(Files) :- bagof(File, source_file(File), Files).