1:- module(pdt_editor_files, [file_to_reload_for_included_file/2]). 2 3:- use_module(library(lists), [ 4 member/2 5]). 6 7file_to_reload_for_included_file(IncludedFile, FileToLoad) :- 8 setof( 9 F, 10 IncludedFile^L^source_file_property(IncludedFile, included_in(F, L)), 11 Fs 12 ), 13 ( member(FileToLoad, Fs) 14 ; source_file(IncludedFile), 15 FileToLoad = IncludedFile 16 )