/* <module> SWI-Prolog compat for startup
% ===================================================================
    File:         'logicmoo_swilib.'
    Purpose:       To load the logicmoo libraries as needed
    Contact:       $Author: dmiles logicmoo@gmail.com ;
    Version:       'logicmoo_swilib.' 1.0.0
    Revision:      $Revision: 1.7 $
    Revised At:    $Date: 2021/07/11 21:57:28 $
    Author:        Douglas R. Miles
    Maintainers:   logicmoo
    E-mail:        logicmoo@gmail.com
    WWW:           http://www.logicmoo.org
    SCM:           https://github.com/logicmoo/PrologMUD/tree/master/pack/logicmoo_base
    Copyleft:      1999-2021, LogicMOO Prolog Extensions
    License:       Lesser GNU Public License
% ===================================================================
*/

:- module(logicmoo_swilib,[]).
/** <module> Utility LOGICMOO_COMMON
This module makes sure any SWI libraries are loaded Early to mitigate swi-library changes over time. 

@author Douglas R. Miles
@license LGPL 
*/
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% MISC UTILS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- user:use_module(library(logicmoo_common)).

start_x_ide:- current_prolog_flag(logicmoo_headless,true),!.
start_x_ide:- 
  quietly((prolog_ide(thread_monitor),prolog_ide(debug_monitor),
   % prolog_ide(open_debug_status),
   guitracer,
   use_module(library(pce_prolog_xref)),
   noguitracer)).

:- add_history(start_x_ide).

:- fixup_exports.

end_of_file.


:- module(logicmoo_swilib,[logicmoo_goal/0,logicmoo_run_goal/0,logicmoo_toplevel/0,add_history_ideas/0,start_x_ide/0]).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% DEFAULT PROLOG FLAGS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % :- set_prolog_flag(subclause_expansion,default).
 % :- set_prolog_flag(subclause_expansion,false).
 % :- set_prolog_flag(dialect_pfc,default).
:- set_prolog_flag(double_quotes,string).
:- set_prolog_flag(autoload_logicmoo,false).

:- if( \+ current_module(prolog_stack)).
:- use_module(library(prolog_stack)).
 prolog_stack:stack_guard(none).
:- endif.
/*
:- system:use_module(library(gui_tracer)).
:- system:use_module(library(threadutil)).
:- system:use_module(library(swi_ide)).
:- system:use_module(library(swi_compatibility)).
:- system:use_module(library(pce)).
:- system:use_module(library('../boot/pce_realise')).
*/

/*
:- if(current_prolog_flag(xpce,true) ).

:- if(current_prolog_flag(xpce,false)).
:- set_prolog_flag(xpce,true).
:- use_module(library(gui_tracer)).
:- use_module(library(swi_ide)).
:- use_module(library(pce)).
:- set_prolog_flag(xpce,false).
:- else.
:- use_module(library(gui_tracer)).
:- use_module(library(swi_ide)).
:- use_module(library(pce)).
:- endif.

:- endif.

:- if( (current_prolog_flag(xpce,false); current_prolog_flag(logicmoo_headless, true); ( \+ getenv('DISPLAY',_)) ;
    ((app_argv(List),  (member('--nopce',List) ; member('--nogui',List)) )))).
:- set_prolog_flag(logicmoo_headless,true).
:- set_prolog_flag(xpce,false).
:- unsetenv('DISPLAY').
:- endif.
*/

/*
:- set_prolog_flag(access_level,system).
:- set_prolog_flag(compile_meta_arguments,false). % default is false
*/

:- user:use_module(library(base32)).
/*
% :- user:use_module(library(http/http_dispatch)).
:- use_module(library(http/thread_httpd)).
:- use_module(thread_httpd:library(http/http_dispatch)).
:- use_module(library(http/http_path)).
:- use_module(library(http/http_server_files)).
:- use_module(library(http/http_parameters)).
%:- use_module(library(http/html_head)).
%:- use_module(swi(library/http/html_write)).
:- use_module(library(threadutil)).
:- user:use_module(library(shell)).
:- use_module(library(console_input)).
:- if(current_predicate(system:mode/1)).
:- user:use_module(library(quintus),except([mode/1])). 
:- else.
:- user:use_module(library(quintus)). 
:- endif.
:- user:use_module(library(dialect/ifprolog),except([op(_,_,_)])).
:- abolish(system:time/1).
:- use_module(library(dialect/hprolog)).
:- abolish(hprolog:time/1).
:- system:use_module(library(statistics),[time/1]).
:- user:use_module(library(statistics)).
:- baseKB:use_module(library(statistics),[time/1]).
%:- autoload_all([verbose(false)]).
*/

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% MISC UTILS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- user:use_module(library(logicmoo_common)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% DEFAULT DEBUG PROLOG FLAGS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
setup_for_debug :- 
   set_prolog_flag(report_error,true),
   set_prolog_flag(debugger_show_context,true),
   set_prolog_flag(debug_on_error,true),
   % set_prolog_flag(debugger_write_options,[quoted(true), portray(true), max_depth(1000), attributes(portray)]),
   set_prolog_flag(generate_debug_info,true).

%:- before_boot(setup_for_debug).


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% DEFAULT HISTORY
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%add_history_ideas:- \+ app_argv('--history'),!.
add_history_ideas:- app_argv('--no-history'),!.
%add_history_ideas:- !.
add_history_ideas:- has_ran_once(add_history_ideas),!.
add_history_ideas:- 
       asserta(lmcache:added_history_ideas_once),
       % use_module(library(editline)),
        use_module(library(prolog_history)),

       /*

       add_history([
        (start_telnet),
        (help(match_regex/2)),
        (list_undefined),
        (listing(lmconf:at_restore_goal/2)),
		(ensure_loaded(run_mud_game)),
		(statistics),        
        (qsave_lm(lm_repl)),        
        (make),        
        (mmake),
        (login_and_run),        
        forall(lmconf:at_restore_goal(_,G),(G)),
        (loadSumo),
        (loadTinyKB),
        (threads),
        (run_pending_inits),
        (use_module(library(sexpr_reader))),
        (input_to_forms("( #\\a #\\u0009 . #\\bell )",'$VAR'('O'),'$VAR'('Vs'))),
        (tstl),
        (qconsult_kb7166),
        (ensure_loaded(library(logicmoo_user))),
        (ensure_loaded(library(logicmoo_clif))),
        (ensure_loaded(library(logicmoo_sumo))),
        (ensure_loaded(library(logicmoo_webbot))),
        (ensure_loaded(library(logicmoo_repl))),
        (user:load_library_system(library(logicmoo_planner))),
        ([user:init_mud_server]),
        ([user:run_mud_server]),
        (consult(library(prologmud_sample_games/run_mud_server))),
        ]),
        */
        !.

% :- before_boot(add_history_ideas).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% DEFAULT GOALS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
logicmoo_goal:-  dmsg("logicmoo_goal"),logicmoo_toplevel.

logicmoo_run_goal:- has_ran_once(logicmoo_run_goal),!.
logicmoo_run_goal:- 
 %module(baseKB),
 dmsg("logicmoo_run_goal"),
 nb_setval('$oo_stack',[]),
 run_pending_inits.

logicmoo_toplevel:- has_ran_once(logicmoo_toplevel),!.
logicmoo_toplevel:- dmsg("logicmoo_toplevel"),
 %module(baseKB),
 add_history_ideas,
 dmsg("  [logicmoo_repl]."),
 dmsg("  [user:init_mud_server]."),
 dmsg("  [user:run_mud_server]."),!,
 dmsg("?- make:make_no_trace."), 
 % make:make_no_trace,
 listing(lmconf:at_restore_goal/2),
 logicmoo_run_goal,
 dmsg("Press Ctrl-D to Start"),
 prolog.



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% (X)WINDOWS (DE)BUGGERY
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

start_x_ide:- current_prolog_flag(logicmoo_headless,true),!.
start_x_ide:- 
  quietly((prolog_ide(thread_monitor),prolog_ide(debug_monitor),
   % prolog_ide(open_debug_status),
   guitracer,
   use_module(library(pce_prolog_xref)),
   noguitracer)).

:- after_boot(dmsg(start_x_ide)).

:- fixup_exports.


















end_of_file.
end_of_file.
end_of_file.
end_of_file.





















end_of_file.
end_of_file.
end_of_file.
end_of_file.





















end_of_file.
end_of_file.
end_of_file.
end_of_file.





















end_of_file.
end_of_file.
end_of_file.
end_of_file.

:- if( (false , \+ ((current_prolog_flag(logicmoo_include,Call),Call))) ). 
:- module(logicmoo_swilib,[]).
:- endif.

:- if(((current_prolog_flag(shared_object_extension,dll), once((getenv(path,X),name(X,S),member(0,S)))))).
:- getenv('JAVA_HOME',Where),directory_file_path(Where,bin,New),setenv('Path',New).
:- endif.

% ======================================================
% Preload library so that autoloading is not used
% ======================================================

% HTTP related autoloads
:- use_module(http_exception:library(settings)).

% XPCE related autoloads
/*
:- user:use_module(library(pce),except([op(_,_,_)])).
:- user:use_module(library(swi_compatibility)).
:- user:use_module(library(pce_util)).
:- user:use_module(library(pce_emacs)).
:- user:use_module(library(swi_ide)).
:- user:use_module(library(pce_edit)).
:- user:use_module(library(edit_dialog)).
:- user:use_module(library(swi_preferences)).
:- user:use_module(library(pce_manual)).
:- user:use_module(library(gui_tracer)).
:- user:use_module(library(pce_meta)).
:- user:use_module(library(portray_object)).
:- user:use_module(library(keybinding)).   
:- user:use_module(library(emacs_tags)).
:- user:use_module(library(pce_require)).
:- user:use_module(library(pce_debug)).
:- user:use_module(library(help_message)).
:- user:use_module(library(toolbar)).
:- user:use_module(library(plot/plotter)).

% echo export LD_LIBRARY_PATH=`find /usr/lib/jvm \( -name "libjvm.so" -or -name "libjava.so" \) -printf "%h:"`.

% :- user:use_module(library(jpl)).

:- user:use_module(library(imageops)).
:- user:use_module(library(pce_float_item)).

:- user:use_module(library(pce_report)).
:- user:use_module(library('swi/pce_debug_monitor')).
:- user:use_module(library('swi/thread_monitor')).

:- call((user:use_module(library(pce_report)))). % ,except([colour/2])))).
:- call((user:use_module(library('swi/pce_debug_monitor')))). %,except([colour/2,resource/3])))).
:- call((user:use_module(library('swi/thread_monitor')))).
*/

:- use_module(prolog_statistics:library(statistics),[time/1]).
:- user:use_module(library(statistics)).
:- user:use_module(library(dialect/hprolog),[]).


% ======================================================
% Rest of the standard library
% ======================================================
:- user:use_module(library(backcomp), [
            '$arch'/2,
	    '$version'/1,
	    '$home'/1,
	    '$argv'/1,
	    '$set_prompt'/1,
	    '$strip_module'/3,
	    '$declare_module'/3,
	    '$module'/2,
	    at_initialization/1,	% :Goal
	    displayq/1,
	    displayq/2,
	    sformat/2,			% -String, +Fmt
	    sformat/3,			% -String, +Fmt, +Args
	    concat/3,
	    concat_atom/2,		% +List, -Atom
	    concat_atom/3,		% +List, +Sep, -Atom
	    '$apropos_match'/2,		% +Needle, +Hashstack
	    read_clause/1,		% -Term
	    read_clause/2,		% +Stream, -Term
	    read_variables/2,		% -Term, -VariableNames
	    read_variables/3,		% +Stream, -Term, -VariableNames
	    read_pending_input/3,	% +Stream, -List, ?Tail
	    feature/2,
	    set_feature/2,
	    substring/4,
	    string_to_list/2,		% ?String, ?Codes
	    string_to_atom/2,		% ?String, ?Atom
	    flush/0,
	    write_ln/1,			% +Term
	    proper_list/1,		% @Term
	    free_variables/2,		% +Term, -Variables
	    subsumes_chk/2,		% @Generic, @Specific
	    subsumes/2,			% @Generic, @Specific
	    hash_term/2,		% +Term, -Hash
	    checklist/2,		% :Goal, +List
	    sublist/3,			% :Goal, +List, -Sublist
	    sumlist/2,			% +List, -Sum
	    convert_time/2,		% +Stamp, -String
	    convert_time/8,		% +String, -YMDmhs.ms
	    'C'/3,			% +List, -Head, -Tail
	    current_thread/2,		% ?Thread, ?Status
	    current_mutex/3,		% ?Mutex, ?Owner, ?Count
	    message_queue_size/2,	% +Queue, -TermsWaiting
	    lock_predicate/2,		% +Name, +Arity
	    unlock_predicate/2,		% +Name, +Arity
	    current_module/2,		% ?Module, ?File
	    export_list/2,		% +Module, -Exports
	    setup_and_call_cleanup/3,	% :Setup, :Goal, :Cleanup
	    setup_and_call_cleanup/4,	% :Setup, :Goal, ?Catcher, :Cleanup
	    merge/3,			% +List1, +List2, -Union
	    merge_set/3,		% +Set1, +Set2, -Union
	    index/1,			% :Head
	    hash/1,			% :PI
	    set_base_module/1		% :Base
	  ]).
:- user:use_module(library(terms),[term_hash/2,		% @Term, -HashKey
	    term_hash/4,		% @Term, +Depth, +Range, -HashKey
	   % term_variables/2,		% @Term, -Variables
	    term_variables/3,		% @Term, -Variables, +Tail
	    variant/2,			% @Term1, @Term2
	   % subsumes/2,			% +Generic, @Specific
	   % subsumes_chk/2,		% +Generic, @Specific
	    cyclic_term/1,		% @Term
	   % acyclic_term/1,		% @Term
	    term_subsumer/3,		% +Special1, +Special2, -General
	    term_factorized/3]).

:- if(current_predicate(system:mode/1)).
:- user:use_module(library(quintus),except([mode/1])). 
:- else.
:- user:use_module(library(quintus)). 
:- endif.


:- multifile http:location/3.
:- dynamic http:location/3.

:- user:use_module(library(prolog_autoload)).
:- user:use_module(library(prolog_clause)).
:- user:use_module(library(occurs)).
:- user:use_module(library(listing)).
:- system:reexport(library(clpfd),except([ins/2,sum/3,op(_,_,_)])).		% Make predicates defined
%:- system:use_module(library(clpfd),except([sum/3,op(_,_,_)])).		% Make predicates defined
:- user:use_module(library(qsave)).
:- user:use_module(library(apply)).
:- user:use_module(library(debug)).
:- user:use_module(library(error)).
:- user:use_module(library(lists)).
:- user:use_module(library(operators)).
%:- user:use_module(library(option)).
:- user:use_module(library(prolog_source)).
:- user:use_module(library(prolog_history)).
:- user:use_module(library(ansi_term)).
:- user:use_module(library(prolog_xref)).
:- user:use_module(library(readutil)).
:- user:use_module(library(shlib)).
:- user:use_module(library(url)).

:- if(exists_source(library(unix))).
:- user:use_module(library(unix)).
:- endif.


% probably 
:- user:use_module(library(rdf_ntriples),[rdf_ntriple_part/4]).
:- user:use_module(library(tty),[menu/3]).

:- if(false). 
:- redefine_system_predicate(system:'$term_in_file'(_,_,_,_,_,_,_,_)).
:- abolish(system:'$term_in_file'/8).
system:'$term_in_file'(In, Read, RLayout, Term, TLayout, Stream, Parents, Options) :-
	'$skip_script_line'(In),
	'$read_clause_options'(Options, ReadOptions),
	repeat,
	  read_clause(In, Raw,
		      [ variable_names(Bindings),
			term_position(Pos),
			subterm_positions(RawLayout)
		      | ReadOptions
		      ]),
	  b_setval('$term_position', Pos),
          b_setval('$source_term', Raw), /* DRM: added for expansion hooks*/
          b_setval('$variable_names', Bindings),
	  (   Raw == end_of_file
	  ->  !,
	      (	  Parents = [_,_|_]	% Included file
	      ->  fail
	      ;	  '$expanded_term'(In,
				   Raw, RawLayout, Read, RLayout, Term, TLayout,
				   Stream, Parents, Options)
	      )
	  ;   '$expanded_term'(In, Raw, RawLayout, Read, RLayout, Term, TLayout,
			       Stream, Parents, Options)
	  ).

:- redefine_system_predicate('$toplevel':'$query_loop'()).
:- abolish('$toplevel':'$query_loop',0).
'$toplevel':'$query_loop' :-
   '$toplevel':
   (
        (   current_prolog_flag(break_level, BreakLev)
        ->  true
        ;   BreakLev = -1
        ),
        repeat,
            (   '$current_typein_module'(TypeIn),
                (   stream_property(user_input, tty(true))
                ->  '$system_prompt'(TypeIn, BreakLev, Prompt),
                    prompt(Old, '|    ')
                ;   Prompt = '',
                    prompt(Old, '')
                ),
                trim_stacks,
                read_query(Prompt, Query, Bindings),
                b_setval('$goal_term', Query), /* DRM: added for expansion hooks*/
                b_setval('$variable_names', Bindings),  /* DRM: added debugging of queries */
                prompt(_, Old),
                call_expand_query(Query, ExpandedQuery,
                                  Bindings, ExpandedBindings)
            ->  expand_goal(ExpandedQuery, Goal),
                '$execute'(Goal, ExpandedBindings)
            )), !.

:- endif.

:- forall((expand_file_search_path(swi('library/*.pl'),O),expand_file_name(O,S),member(M,S)),
 ignore((
   \+ (member(C,['/terms.pl','/backcomp.pl','/r.pl','/index.pl',rdf,pengi,win_men,swicli,'swicli.pl',
     swicffi,quintus,solution_sequences,metaterm,coind,drac,'INDEX',
     jpl,nb_set,yall,settings]), atomic_list_concat([_,_|_],C,M)),
   \+ (member(C,[persistency,chr,rewrite,bdb,check,xpath,record]),atomic_list_concat([_,_|_],C,M)),
   catch(user:use_module(M,except([op(_,_,_)])),E,(ddmsg(E),trace))))).

:- include(library(pldoc/hooks)).

:- if(exists_source(library(pldoc))).
:- user:use_module(library(pldoc), []).
	% Must be loaded before doc_process
:- user:use_module(library(pldoc/doc_process)).
:- endif.

%:- user:use_module(library(pldoc/doc_library)).
%:- doc_load_library.

/*
:- user:use_module(library(pldoc/doc_access)).
:- user:use_module(library(pldoc/doc_pack)).

:- user:use_module(library(doc_http)).
% :- reexport(library(pldoc/doc_html)).
:- user:use_module(library(pldoc/doc_wiki)).
:- user:use_module(library(pldoc/doc_search)).
:- user:use_module(library(pldoc/doc_util)).
:- user:use_module(library(pldoc/doc_library)).

:- user:use_module(library(http/thread_httpd)).
:- user:use_module(library(http/http_error)).
:- user:use_module(library(http/http_client)).

% http_reply_from_files is here
:- user:use_module(library(http/http_files)).
% http_404 is in here
:- user:use_module(library(http/http_dispatch)).

%:- user:use_module(library(http/html_write),except([op(_,_,_)])).
%:- user:use_module(library(http/html_head)).
:- user:use_module(library(http/http_session)).
:- user:use_module(library(http/http_parameters)).
:- user:use_module(library(http/http_server_files)).
:- user:use_module(library(http/http_wrapper)).

:- user:use_module(library(plunit)).


:- user:use_module(library(http/http_wrapper)).
*/
/*
:- if(exists_source(library(yall))).
:-  multifile(yall:lambda_functor/1),
   dynamic(yall:lambda_functor/1),
   with_no_mpred_expansions(use_module(yall:library(yall),[])),
   retractall(yall:lambda_functor('/')).
:- endif.
*/
/*

:- M=pldoc_process,ignore((module_property(M,file(S)),
   source_file(PI,S),
   \+ ((predicate_property(M:PI,imported_from(U)),U\==M)),
   functor(PI,F,A),import(F/A),fail)).
*/



% :- autoload.