%:- use_module(library(prolog_autoload)).
%:- use_module(library(prolog_pack)).
%:- user:[library('theme/auto.pl')].
%:- multifile(user:file_search_path/2).
%:- dynamic(user:file_search_path/2).
%user:file_search_path(library,'/opt/logicmoo_workspace/packs_sys/logicmoo_utils/prolog/legacy/').
%user:file_search_path(library,'/opt/logicmoo_workspace/packs_sys/logicmoo_utils/prolog/logicmoo').
%user:file_search_path(library,'/opt/logicmoo_workspace/packs_sys/logicmoo_utils/prolog/debuggery').
/*
:- if( \+ exists_source(library(sldnfdraw))).
%:- attach_packs('/opt/logicmoo_workspace/packs_lib').
:- endif.
:- if( \+ exists_source(library(pfc))).
%:- attach_packs('/opt/logicmoo_workspace/packs_sys').
:- endif.
:- if( \+ exists_source(library(lps_syntax))).
%:- attach_packs('/opt/logicmoo_workspace/packs_web').
:- endif.
*/
/*
:- if(current_prolog_flag(debug,false)).
:- set_prolog_flag(verbose_autoload,false).
:- set_prolog_flag(verbose,silent).
:- set_prolog_flag(verbose_load,silent).
:- endif.
*/
:- '$hide'('$toplevel':restore_debug/0).
:- '$hide'('$toplevel':save_debug/0).
:- '$hide'('$toplevel':residue_vars/2).
:- '$hide'('system':deterministic/1).
:- '$hide'(toplevel_call/2).
:- '$hide'('$toplevel':'$query_loop'/0).
%[5] [$toplevel] '$execute_goal2'(user:trace, [])
%[3] [$toplevel] '$query_loop'
%[2] [$toplevel] '$runtoplevel'
:- use_module(library(prolog_pack)).
%:- if( \+ prolog_pack:current_pack(logicmoo_base)).
:- multifile(user:file_search_path/2).
:- dynamic(user:file_search_path/2).
dir_from_rc(Rel,Y):-
((getenv('LOGICMOO_WS',Dir);
prolog_load_context(directory,Dir);
'~/logicmoo_workspace'=Dir;
'/home/dmiles/logicmoo_workspace'=Dir)),
absolute_file_name(Rel,Y,[relative_to(Dir),file_type(directory),file_errors(fail)]),
exists_directory(Y),!.
add_pack_path_rc(Rel):-
dir_from_rc(Rel,Y),
(( \+ user:file_search_path(pack,Y)) ->asserta(user:file_search_path(pack,Y));true).
:- add_pack_path_rc(packs_sys).
:- add_pack_path_rc(packs_usr).
:- add_pack_path_rc(packs_web).
:- add_pack_path_rc(packs_xtra).
:- initialization(attach_packs,now).
% :- break.
/*
:- if(current_prolog_flag(debug,false)).
:- set_prolog_flag(verbose_autoload,false).
:- set_prolog_flag(verbose,silent).
:- set_prolog_flag(verbose_load,silent).
:- endif.
*/
:- if(current_prolog_flag(os_argv,[_])).
% :- pack_list_installed.
:- endif.
:- if(current_prolog_flag(windows, false)).
:- if(exists_source(library(readline))).
:- use_module(library(readline)).
:- else.
:- if(exists_source(library(editline))).
:- use_module(library(editline)).
:- endif.
:- endif.
setup_hist0:- '$toplevel':setup_history.
:- setup_hist0.
:- endif.
:- set_prolog_flag(access_level,system).
:- load_files(library(prolog_stack)).
prolog_stack:stack_guard(none).
/*
:- use_module(library(base32)).
:- set_prolog_flag(report_error,true).
:- set_prolog_flag(fileerrors,false).
:- set_prolog_flag(debug_on_error,true).
:- set_prolog_flag(debug,true).
:- set_prolog_flag(optimise,false).
:- set_prolog_flag(last_call_optimisation,false).
:- debug.
:- nodebug(_).
:- Six = 6, set_prolog_stack(global, limit(Six*10**9)),set_prolog_stack(local, limit(Six*10**9)),set_prolog_stack(trail, limit(Six*10**9)).
:- set_prolog_flag(gc,true).
:- set_prolog_flag(gc,false).
% end_of_file.
:- use_module(library(prolog_history)).
:- '$toplevel':'$clean_history'.
:- '$toplevel':setup_history.
% :- prolog_ide(debug_monitor).
:- use_module(library(check)).
*/
/* -*- Prolog -*-
SWI-Prolog personalization file
*/
% :- multifile prolog_xref:xref_source_file/3.
:- set_prolog_flag(access_level,user).
% :- set_prolog_flag(scce,pure).
% :- set_prolog_flag(scce,scce_orig).
:- set_prolog_flag(scce,setup_call_cleanup).
% :- set_prolog_flag(access_level,system).
% :- set_prolog_flag(gc,false).
nopt
:- (initialization((set_prolog_flag(optimise,false),
set_prolog_flag(last_call_optimisation,false))),
use_module(library(pce)),
use_module(library(prolog_xref)),
use_module(library(pldoc/doc_access)),
assert((doc_access:can_edit(X):-nonvar(X))),
assert((doc_access:allow_from(X):-nonvar(X)))).
ds:- doc_server(3022,[allow(ip(_,_,_,_)),can_edit(true),workers(4)]).
%:- user:use_module(library(lists)).
sys :- set_prolog_flag(access_level,system).
usys :- set_prolog_flag(access_level,user).
mw:- use_module(library(prolog_modewalk)).
mp:-sys, meta_predicate(system: write(7)), meta_predicate(system: writeq(7)), meta_predicate(system:is(7,7)),meta_predicate(system: =:=(7,7)),usys.
lm :- use_module(library(logicmoo_utils)).
lmb :- use_module(library(logicmoo_base)).
lmu :- use_module(library(logicmoo_user)).
sf:- forall(source_file(SF), call(call,load_all(SF))).
dl:- use_module(library(pldoc/doc_library)),call(call,doc_load_library).
%:- use_module(library(make)).
%:- use_module(library(check)).
:- set_prolog_flag(access_level,user).
:- dynamic(user:type_modes/3).
% :- check.
% :- include(yyy).
sm:-
current_module(M),
catch(M:'$mode'(Head, Det),_,fail),
\+ user:type_modes(M,Head,Det),
asserta(user:type_modes(M,Head,Det)),fail.
sm:-
current_module(M),catch(M:'$pldoc'(F/A, _,_,Sum),_,fail), functor(Head,F,A),
\+ user:type_modes(M,Head,_Det),\+ user:type_modes(M,_:Head,_Det2),
format('~q.~n',[parse_modes(M:Head, Sum)]),fail.
sm:-
current_module(M),catch(M:'$pldoc'(F//Am2, _,_,Sum),_,fail), A is Am2+2, functor(Head,F,A),
\+ user:type_modes(M,Head,_Det),\+ user:type_modes(M,_:Head,_Det2),
format('~q.~n',[parse_modes(M:Head, Sum)]),fail.
:- multifile(check:predicate_name/2).
check:predicate_name(A, D):- prolog_clause:predicate_name(A, D).
:- attach_packs.
:- use_module(library(logicmoo_common)).
%:- attach_packs.
%end_of_file.
gm:- current_module(M), gm(M),fail.
gm.
gm(M):-
catch(M:'$pldoc'(F/A, Loc,Text,_),_,fail),
format('~q.~n',[M:'$pldoc'(F/A, Loc,Text)]),
functor(Head,F,A),
catch(M:'$mode'(Head,Det),_,fail),
format('~q.~n',[M:'$mode'(Head, Det)]),
fail.
gm(M):- catch(M:'$mode'(Head,Det),_,fail),
functor(Head,F,A),
\+ catch(M:'$pldoc'(F/A, _Loc, _Text,_),_,fail),
format('~q.~n',[M:'$mode'(Head, Det)]),
fail.
gm(_).
%:- gxref.
% current_module(M),catch(M:'$pldoc'(F//A, Det,O,I),_,fail),format('~q.~n',[M:'$pldoc'(F//A, Det,I)])
% ,fail.
% current_module(M),catch(M:'$mode'(Head, Det),_,fail),format('~q.~n',[M:'$mode'(Head, Det)]),fail.
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
This is a sample user-initialisation file for SWI-Prolog. If you wish to
customise prolog, make a copy of this file and edit it to your
preferences.
Installation:
Unix/MacOS: ~/.swiplrc
Windows: <appdata>/swipl.ini (see win_folder(appdata, AppData))
More hints on useful things you can put into this file are in the
SWI-Prolog reference manual. Notably look at debugger settings, editor
hooks, file_search_path/2, set_prolog_flag/2 and portray/1.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
/*******************************
* IDE *
*******************************/
% By default, xpce (the graphics library) runs in a seperate
% thread. This allows editing and inspecting your program while it
% is running. All components of the Prolog development environment
% are aware of this. If you use your own xpce based applications
% and if you develop using xpce, it might be wise to disable this
% feature and keep xpce in the thread `main`.
% :- set_prolog_flag(xpce_threaded, false).
/*******************************
* EDITOR *
*******************************/
% Define the editor to use. Note that more advanced manipulation
% of this is defined in the SWI-Prolog reference manual, section
% "Listing and Editor Interface"
%
% The value pce_emacs (or built_in) causes the system to use the
% built-in editor PceEmacs if the environment provides for a GUI.
% pce_emacs is the default if XPCE is available.
%
% The second entry defines an arbitrary editor and how to tell
% SWI-Prolog to open a file with it on a specified line-number.
% :- set_prolog_flag(editor, pce_emacs).
% :- set_prolog_flag(editor, pico).
%:- multifile
% prolog_edit:edit_command/2.
%
%prolog_edit:edit_command(pico, '%e +%d "%f"').
%prolog_edit:edit_command(pico, '%e "%f"').
/*******************************
* DEBUGGING *
*******************************/
% If you prefer graphical tracing, add the line below.
% :- (current_prolog_flag(gui, true) -> guitracer ; true).
% Determine how terms are printed by the debugger and toplevel. The
% values here are defaults. max_depth(10) replaces all subterms at
% a greater depth with elipses (...). See write_term/3 for further
% explanation and more options.
% :- set_prolog_flag(answer_write_options,
% [quoted(true), portray(true), max_depth(10)]).
% :- set_prolog_flag(debugger_write_options,
% [quoted(true), portray(true), max_depth(10)]).
% If you want to suppress printing toplevel query variables
% starting with an `_'
% :- set_prolog_flag(toplevel_print_anon, false).
:- set_prolog_flag(toplevel_print_anon, true).
% If you do not want the tracer to stop at at the exit port.
% :- leash(-exit).
% Uncomment the two lines below to include a backtrace of the
% stack on an uncaught exception. This makes the system rather
% noisy on exceptions, but often allows you to discover why your
% program misbehaves without using the debugger.
:- load_files(library(prolog_stack)).
prolog_stack:stack_guard(none).
/*******************************
* CONSOLE FEEDBACK *
*******************************/
% Use the flag below to disable coloured output in all cases.
% Normally, coloured output is enabled if the output is a
% terminal.
% :- set_prolog_flag(color_term, false).
% Specify colors for the above, based on the message kind See
% ansi_format/3 for specifying visual effects. The table below
% duplicates the default behavior. Notably on terminals with a
% dark background, yellow might be a better choice for warnings
% and errors.
%:- multifile user:message_property/2.
%
%user:message_property(informational, color(fg(green))).
%user:message_property(information, color(fg(green))).
user:message_property(debug, color(fg(blue),bold)).
%user:message_property(warning, color(fg(red))).
%user:message_property(error, color([fg(red),bold])).
% Specify feedback for loading files. Values are `full` (feedback
% at start and end of each file), `normal` (feedback at end of
% each file), `brief` (feedback at end of toplevel file) and
% `silent` (no feedback).
% :- set_prolog_flag(verbose_load, silent).
% :- set_prolog_flag(verbose_autoload, true).
doc_load_library :-
set_prolog_flag(verbose_load, false),
absolute_file_name(swi(library), Dir, [file_type(directory)]),
load_all(Dir).
load_all([]) :- !.
load_all([H|T]) :-
load_all(H), !,
load_all(T).
load_all(Dir0) :-
atom(Dir0),
expand_file_name(Dir0, [Dir1]),
downcase_atom(Dir1, Dir), % Deal with Windows
\+ ( blocked(Blocked),
sub_atom(Dir, _, _, 0, Blocked)
),
exists_directory(Dir), !,
atom_concat(Dir, '/*', Pattern),
expand_file_name(Pattern, Contents),
load_all(Contents).
load_all(File) :-
atom(File),
file_name_extension(_, pl, File),
downcase_atom(File, LwrCase),
\+ ( blocked(Blocked),
sub_atom(LwrCase, _, _, 0, Blocked)
), !,
use_module(File, []).
load_all(Spec) :-
compound(Spec), !,
forall(absolute_file_name(Spec, Path,
[ access(read),
file_errors(fail)
]),
load_all(Path)).
load_all(_).
%% blocked(+Path) is semidet.
%
% True if file or directory should not be loaded. Note that file
% from the directory chr are already loaded by chr.pl. Similar
% arguments apply for a few others.
%
% @bug We force lowercase to make it also work on Windows
blocked('/chr').
blocked('/clpq').
blocked('/clpr').
blocked('/pldoc').
blocked('/ciao').
blocked('/checkselect.pl').
blocked('/checklast.pl').
blocked('/clp/clp_distinct.pl'). % deprecated file
%blocked('/jpl.pl'). % should be added
blocked('/pldoc.pl').
blocked('/index.pl').
blocked('/ciao.pl'). % is an include-file. We must
% find a more general solution here
blocked('/commons.pl').
blocked('/swipl-lfr.pl').
blocked('/dcg_basics.pl'). % deprecated file
blocked('/mkindex.pl').
blocked('/metaterm.pl').
blocked('/atts.pl').
:- prolog_debug('MSG_CALL').
:- prolog_debug('MSG_TRACE').
:- prolog_debug('MSG_VMI').
% sudo apt-get install libmysqlclient-dev unixodbc-dev