% SWI emulation. % written in an on-demand basis. :- module(system, [concat_atom/2, concat_atom/3, setenv/2, is_absolute_file_name/1, read_clause/1, string/1, working_directory/2, chdir/1, compile_aux_clauses/1, convert_time/2, '$set_source_module'/2, '$declare_module'/5, '$set_predicate_attribute'/3, stamp_date_time/3, date_time_stamp/2, format_time/3, format_time/4, time_file/2, flag/3, require/1, normalize_space/2, current_flag/1 ]). :- reexport(library(charsio),[ write_to_chars/2, read_from_chars/2 ]). :- reexport(library(lists),[append/2, append/3, delete/3, member/2, flatten/2, intersection/3, last/2, memberchk/2, max_list/2, min_list/2, nextto/3, permutation/2, reverse/2, select/3, selectchk/3, sublist/2, sumlist/2, nth1/3, nth0/3]). :- reexport(library(apply),[maplist/2, maplist/3, maplist/4, maplist/5, include/3, exclude/3, partition/4, partition/5 ]). :- reexport(library(system), [datime/1, mktime/2, file_property/2, delete_file/1, sleep/1]). :- reexport(library(arg), [genarg/3]). :- reexport(library(apply_macros), []). :- reexport(library(terms), [subsumes/2, subsumes_chk/2, term_hash/2, unifiable/3, cyclic_term/1, variant/2]). :- use_module(library(error),[must_be/2]). :- source. :- style_check(all). :- yap_flag(unknown,error). :- yap_flag(open_expands_filename,false). :- yap_flag(autoload,true). :- set_prolog_flag(user_flags,silent). :- load_foreign_files(['pl-tai'], [], install). % Time is given as a float in SWI-Prolog. swi_get_time(FSecs) :- datime(Datime), mktime(Datime, Secs), FSecs is Secs*1.0. goal_expansion(atom_concat(A,B),atomic_concat(A,B)). goal_expansion(atom_concat(A,B,C),atomic_concat(A,B,C)). %goal_expansion(arg(A,_,_),_) :- nonvar(A), !, fail. goal_expansion(arg(A,B,C),genarg(A,B,C)). goal_expansion(time_file(A,B),system:swi_time_file(A,B)). goal_expansion(stamp_date_time(A,B,C),system:swi_stamp_date_time(A,B,C)). goal_expansion(date_time_stamp(A,B),system:swi_date_time_stamp(A,B)). goal_expansion(format_time(A,B,C),system:swi_format_time(A,B,C)). goal_expansion(format_time(A,B,C,D),system:swi_format_time(A,B,C,D)). goal_expansion(get_time(A),system:swi_get_time(A)). goal_expansion(time_file(A,B),system:swi_time_file(A,B)). goal_expansion(expand_file_name(A,B),system:swi_expand_file_name(A,B)). goal_expansion(wildcard_match(A,B),system:swi_wilcard_match(A,B)). goal_expansion(directory_files(A,B),system:swi_directory_files(A,B)). goal_expansion(exists_file(A), system:swi_exists_file(A)). goal_expansion(exists_directory(A), system:swi_exists_directory(A)). :- dynamic swi_io/0. goal_expansion(open(A,B,C,D),system:swi_open(A,B,C,D)) :- swi_io. goal_expansion(open(A,B,C), system:swi_open(A,B,C)) :- swi_io. goal_expansion(close(A), system:swi_close(A)) :- swi_io. goal_expansion(close(A,B), system:swi_close(A,B)) :- swi_io. goal_expansion(set_input(A), system:swi_set_input(A)) :- swi_io. goal_expansion(set_output(A), system:swi_set_output(A)) :- swi_io. goal_expansion(current_input(A), system:swi_current_input(A)) :- swi_io. goal_expansion(current_output(A), system:swi_current_output(A)) :- swi_io. goal_expansion(get_code(A,B),system:swi_get_code(A,B)) :- swi_io. goal_expansion(get_code(A), system:swi_get_code(A)) :- swi_io. goal_expansion(get_char(A,B),system:swi_get_char(A,B)) :- swi_io. goal_expansion(get_char(A), system:swi_get_char(A)) :- swi_io. goal_expansion(get_byte(A,B),system:swi_get_byte(A,B)) :- swi_io. goal_expansion(get_byte(A), system:swi_get_byte(A)) :- swi_io. goal_expansion(peek_code(A,B),system:swi_peek_code(A,B)) :- swi_io. goal_expansion(peek_code(A), system:swi_peek_code(A)) :- swi_io. goal_expansion(peek_char(A,B),system:swi_peek_char(A,B)) :- swi_io. goal_expansion(peek_char(A), system:swi_peek_char(A)) :- swi_io. goal_expansion(peek_byte(A,B),system:swi_peek_byte(A,B)) :- swi_io. goal_expansion(peek_byte(A), system:swi_peek_byte(A)) :- swi_io. goal_expansion(put_byte(A,B),system:swi_put_byte(A,B)) :- swi_io. goal_expansion(put_byte(A), system:swi_put_byte(A)) :- swi_io. goal_expansion(put_code(A,B),system:swi_put_code(A,B)) :- swi_io. goal_expansion(put_code(A), system:swi_put_code(A)) :- swi_io. goal_expansion(put_char(A,B),system:swi_put_char(A,B)) :- swi_io. goal_expansion(put_char(A), system:swi_put_char(A)) :- swi_io. goal_expansion(flush_output, system:swi_flush_output). goal_expansion(flush_output(A), system:swi_flush_output(A)) :- swi_io. goal_expansion(at_end_of_stream(A), system:swi_at_end_of_stream(A)) :- swi_io. goal_expansion(at_end_of_stream, system:swi_at_end_of_stream). goal_expansion(stream_property(A,B),system:swi_stream_property(A,B)) :- swi_io. goal_expansion(set_stream_position(A,B),system:swi_set_stream_position(A,B)) :- swi_io. /* edinburgh IO */ goal_expansion(see(A), system:swi_see(A)) :- swi_io. goal_expansion(seen, system:swi_seen). goal_expansion(seeing(A), system:swi_seeing(A)) :- swi_io. goal_expansion(tell(A), system:swi_tell(A)) :- swi_io. goal_expansion(append(A), system:swi_append(A)) :- swi_io. goal_expansion(told, system:swi_told). goal_expansion(telling(A), system:swi_telling(A)) :- swi_io. goal_expansion(put(A,B),system:swi_put(A,B)) :- swi_io. goal_expansion(put(A), system:swi_put(A)) :- swi_io. goal_expansion(skip(A), system:swi_skip(A)) :- swi_io. goal_expansion(skip(A,B),system:swi_skip(A,B)) :- swi_io. goal_expansion(get(A), system:swi_get(A)) :- swi_io. goal_expansion(get(A,B),system:swi_get(A,B)) :- swi_io. goal_expansion(get0(A,B),system:swi_get0(A,B)) :- swi_io. goal_expansion(get0(A), system:swi_get0(A)) :- swi_io. goal_expansion(ttyflush, system:swi_ttyflush). goal_expansion(prompt(A,B),system:swi_prompt(A,B)) :- swi_io. goal_expansion(tab(A,B),system:swi_tab(A,B)) :- swi_io. goal_expansion(tab(A), system:swi_tab(A)) :- swi_io. /* Quintus IO */ goal_expansion(byte_count(A,B),system:swi_byte_count(A,B)) :- swi_io. goal_expansion(character_count(A,B),system:swi_character_count(A,B)) :- swi_io. goal_expansion(line_count(A,B),system:swi_line_count(A,B)) :- swi_io. goal_expansion(line_position(A,B),system:swi_line_position(A,B)) :- swi_io. goal_expansion(open_null_stream(A), system:swi_open_null_stream(A)) :- swi_io. /* SWI specific */ goal_expansion(is_stream(A), system:swi_is_stream(A)) :- swi_io. goal_expansion(set_stream(A,B),system:swi_set_stream(A,B)) :- swi_io. % careful: with_output_to/2 requires setting user_output, and this % confuses emulation. goal_expansion(with_output_to(A,B),system:swi_with_output_to(A,NB)) :- swi_io, expand_goal(B, NB). goal_expansion(set_prolog_IO(A,B,C), system:swi_set_prolog_IO(A,B,C)) :- swi_io. goal_expansion(protocol(A), system:swi_protocol(A)) :- swi_io. goal_expansion(protocola(A), system:swi_protocola(A)) :- swi_io. goal_expansion(noprotocol, noprotocol). goal_expansion(protocolling(A), system:swi_protocolling(A)) :- swi_io. goal_expansion(prompt1(A), system:swi_prompt1(A)) :- swi_io. goal_expansion(seek(A,B,C,D),system:swi_seek(A,B,C,D)) :- swi_io. goal_expansion(wait_for_input(A,B,C), system:swi_wait_for_input(A,B,C)) :- swi_io. goal_expansion(get_single_char(A), system:swi_get_single_char(A)) :- swi_io. goal_expansion(read_pending_input(A,B,C), system:swi_read_pending_input(A,B,C)) :- swi_io. goal_expansion(source_location(A,B),system:swi_source_location(A,B)) :- swi_io. goal_expansion(copy_stream_data(A,B,C), system:swi_copy_stream_data(A,B,C)) :- swi_io. goal_expansion(copy_stream_data(A,B),system:swi_copy_stream_data(A,B)) :- swi_io. /* SWI internal */ goal_expansion('$push_input_context', system:'swi_$push_input_context'). goal_expansion('$pop_input_context', system:'swi_$pop_input_context'). goal_expansion('$size_stream'(A,B),system:'swi_$size_stream'(A,B)) :- swi_io. goal_expansion(working_directory(A,B),system:swi_working_directory(A,B)) :- swi_io. goal_expansion(access_file(A,B),system:swi_access_file(A,B)) :- swi_io. goal_expansion(size_file(A,B),system:swi_size_file(A,B)) :- swi_io. goal_expansion(read_link(A,B,C), system:swi_read_link(A,B,C)) :- swi_io. goal_expansion(tmp_file(A,B),system:swi_tmp_file(A,B)) :- swi_io. goal_expansion(tmp_file_stream(A,B,C), system:swi_tmp_file_stream(A,B,C)) :- swi_io. goal_expansion(delete_file(A), delete_file(A)) :- swi_io. goal_expansion(delete_directory(A), delete_directory(A)) :- swi_io. goal_expansion(make_directory(A), make_directory(A)) :- swi_io. goal_expansion(same_file(A,B),system:swi_same_file(A,B)) :- swi_io. goal_expansion(rename_file(A,B),system:swi_rename_file(A,B)) :- swi_io. goal_expansion(is_absolute_file_name(A), is_absolute_file_name(A)) :- swi_io. goal_expansion(file_base_name(A,B),system:swi_file_base_name(A,B)) :- swi_io. goal_expansion(file_directory_name(A,B),system:swi_file_directory_name(A,B)) :- swi_io. goal_expansion('$mark_executable'(A), system:'swi_is_absolute_file_name'(A)) :- swi_io. goal_expansion('$absolute_file_name'(A,B),system:'swi_$absolute_file_name'(A,B)) :- swi_io. goal_expansion(nl(A),system:swi_nl(A)) :- swi_io. goal_expansion(nl,system:swi_nl) :- swi_io. goal_expansion(write(A),write_term(user_output,A,[swi(true)])) :- swi_io. goal_expansion(write(S,A),write_term(S,A,[swi(true)])) :- swi_io. goal_expansion(writeq(A),write_term(user_output,A,[swi(true),quoted(true)])) :- swi_io. goal_expansion(writeq(S,A),write_term(S,A,[swi(true),quoted(true)])) :- swi_io. goal_expansion(display(A),write_term(user_output,A,[swi(true),ignore_ops(true)])) :- swi_io. goal_expansion(display(S,A),write_term(S,A,[swi(true),ignore_ops(true),quoted(true)])) :- swi_io. goal_expansion(write_canonical(A),write_term(user_output,A,[swi(true),ignore_ops(true),quoted(true)])) :- swi_io. goal_expansion(write_canonical(S,A),write_term(S,A,[swi(true),ignore_ops(true)])) :- swi_io. goal_expansion(print(A),write_term(user_output,A,[swi(true),portray(true),numbervars(true)])) :- swi_io. goal_expansion(print(S,A),write_term(S,A,[swi(true),portray(true),numbervars(true)])) :- swi_io. goal_expansion(write_term(A,Opts),write_term(user_output,A,Opts,[swi(true)|Opts])) :- swi_io. goal_expansion(write_term(S,A,Opts),write_term(S,A,[swi(true)|Opts])) :- swi_io, \+ member(swi(_), Opts). goal_expansion(format(A),system:swi_format(user_output,A,[])) :- swi_io. goal_expansion(format(A,Args),system:swi_format(user_output,A,Args)) :- swi_io. goal_expansion(format(S,A,Args),system:swi_format(S,A,Args)) :- swi_io. goal_expansion(writeln(A),system:swi_format(user_output,'~w~n',[A])) :- swi_io. % make sure we also use :- user:library_directory(X), atom(X), atom_concat([X,'/dialect/swi'],SwiDir), \+ user:library_directory(SwiDir), asserta(user:library_directory(SwiDir)), fail ; true. :- multifile user:file_search_path/2. :- dynamic user:file_search_path/2. user:file_search_path(swi, Home) :- current_prolog_flag(home, Home). user:file_search_path(foreign, swi(ArchLib)) :- current_prolog_flag(arch, Arch), atom_concat('lib/', Arch, ArchLib). user:file_search_path(foreign, swi(lib)). concat_atom([A|List], Separator, New) :- var(List), !, atom_codes(Separator,[C]), atom_codes(New, NewChars), split_atom_by_chars(NewChars,C,L,L,A,List). concat_atom(List, Separator, New) :- add_separator_to_list(List, Separator, NewList), atomic_concat(NewList, New). split_atom_by_chars([],_,[],L,A,[]):- atom_codes(A,L). split_atom_by_chars([C|NewChars],C,[],L,A,[NA|Atoms]) :- !, atom_codes(A,L), split_atom_by_chars(NewChars,C,NL,NL,NA,Atoms). split_atom_by_chars([C1|NewChars],C,[C1|LF],LAtom,Atom,Atoms) :- split_atom_by_chars(NewChars,C,LF,LAtom,Atom,Atoms). add_separator_to_list([], _, []). add_separator_to_list([T], _, [T]) :- !. add_separator_to_list([H|T], Separator, [H,Separator|NT]) :- add_separator_to_list(T, Separator, NT). concat_atom(List, New) :- atomic_concat(List, New). setenv(X,Y) :- unix(putenv(X,Y)). is_absolute_file_name(X) :- absolute_file_name(X,X). read_clause(X,Y) :- read_term(X,Y,[singetons(warning)]). string(_) :- fail. bindings_message(V) --> { cvt_bindings(V, Bindings) }, prolog:message(query(_YesNo,Bindings)), !. cvt_bindings([],[]). cvt_bindings([[Name|Value]|L],[AName=Value|Bindings]) :- atom_codes(AName, Name), cvt_bindings(L,Bindings). working_directory(OCWD,NCWD) :- getcwd(OCWD), (var(NCWD) -> true ; cd(NCWD)). chdir(X) :- cd(X). % Time is received as int, and converted to "..." % ctime is a built-in. convert_time(X,Y) :- swi:ctime(X,Y). compile_aux_clauses([]). compile_aux_clauses([(:- G)|Cls]) :- prolog_load_context(module, M), once(M:G), compile_aux_clauses(Cls). compile_aux_clauses([Cl|Cls]) :- prolog_load_context(module, M), assert_static(M:Cl), compile_aux_clauses(Cls). '$set_source_module'(Source0, SourceF) :- prolog_load_context(module, Source0), !, module(SourceF). '$set_source_module'(Source0, SourceF) :- current_module(Source0, SourceF). /** '$declare_module'(+Module, +Super, +File, +Line, +Redefine) is det. Start a new (source-)module @param Module is the name of the module to declare @param File is the canonical name of the file from which the module is loaded @param Line is the line-number of the :- module/2 directive. @param Redefine If =true=, allow associating the module to a new file */ '$declare_module'(Name, Context, _, _, _) :- add_import_module(Name, Context, start). '$set_predicate_attribute'(_, _, _). flag(Key, Old, New) :- recorded(Key, Old, R), !, ( Old \== New -> erase(R), recorda(Key, New, _) ; true ). flag(Key, 0, New) :- functor(Key, N, Ar), functor(K, N, Ar), assert(flag(K)), recorda(K, New, _). current_flag(Key) :- swi:flag(Key). require(F) :- must_be(list, F), % notice that this must be used as a declaration. prolog_load_context(module, Mod), required_predicates(F, Mod). required_predicates([], _). required_predicates(F.Fs, M) :- required_predicate(F, M), required_predicates(Fs, M). required_predicate(Na/Ar, M) :- functor(G, Na, Ar), ( predicate_property(M:G, _) -> true ; autoloader:find_predicate(G, _) ).