start of the writing of a separated standalone compilable file

Author: TeamSPoon

prolog/metta_lang/metta_compiler.pl

@@ -1783,6 +1783,7 @@
    compiler_assertz(InfoC).
 
 compiler_assertz(Info):-
+     send_to_pl_file(Info),
      once(try_optimize_prolog(ca,Info,Info2)),
      Info\=@=Info2,!,
      info_identity(Info,Id),
@@ -1793,7 +1794,6 @@
 compiler_assertz(Info):-
   once(unnumbervars_clause(Info,Assert)),
   transpiler_debug(2,output_prolog(Info)),
-    send_to_pl_file(Info),
     once(locally_clause_asserted(Assert)->true;assertz(Assert)),!.
 
 

prolog/metta_lang/metta_debug.pl

@@ -1057,12 +1057,12 @@
 debug_info_filtered( Topic, Info, [How,showall,Topic]):- (filter_matches_var(showall,Topic, How); filter_matches_var(showall,Info, How)),!.
 debug_info_filtered( Topic,_Info,fail(dont_show_any_qcompile(Topic))):- is_qcompiling, dont_show_any_qcompile,!.
 % Roy requested to make it easy to hide stdlib building in transpiler
-debug_info_filtered( Topic,_Info,fail(currently_stdlib1(Topic,How))):- currently_stdlib,   (filter_matches_var(hideall,stdlib,How);    filter_matches_var(hide,stdlib,How)),!.
 debug_info_filtered( Topic,_Info,fail(currently_stdlib2(Topic))):- currently_stdlib, !, \+ filter_matches_var(showall,stdlib,_), \+ filter_matches_var(show,stdlib,_),!.
+%debug_info_filtered( Topic,_Info,fail(currently_stdlib1(Topic,How))):- currently_stdlib,   (filter_matches_var(hideall,stdlib,How);    filter_matches_var(hide,stdlib,How)),!.
 debug_info_filtered( Topic,_Info, [How,show=Topic]):- filter_matches_var(show, Topic, How), !.
-debug_info_filtered( Topic,_Info, fail([default,hide,Topic])):- option_value(filter_default,Show), Show==hide, !.
+debug_info_filtered( Topic,_Info, fail([default,hide,Topic])):- option_value(default_show_hide,Show), Show==hide, !.
 debug_info_filtered( Topic,_Info, fail([hide=Topic,How])):- filter_matches_var(hide, Topic, How), !.
-debug_info_filtered( Topic,_Info, [show,Topic,'']):- option_value(filter_default,Show), Show==show, !.
+debug_info_filtered( Topic,_Info, [show,Topic,'']):- option_value(default_show_hide,Show), Show==show, !.
 %debug_info_filtered( Topic, Info):- some_debug_show(Why,Topic), !, debug_info_now([Why,Topic], Info),!.
 %debug_info_filtered( Topic, Info, [unfiltered_topic_and_info,Topic]):- unfiltered_topic_and_info( Topic, Info),!.
 %debug_info_filtered( Topic,_,fail(unfiltered_topic_and_info(Topic))).
@@ -1109,7 +1109,7 @@
   %number_vars_wo_conficts1(Info,RNVInfo),
   if_t(var(RNVInfo),Info=RNVInfo),
  (should_comment(Topic, Info) ->
-   nop(format(X,'/* ~@: ~@ */~n',[maybe_ansicall(TopicColor,write(TopicStr)),maybe_ansicall(InfoColor,w_no_crlf(debug_pp_info(RNVInfo)))]));
+    format(X,'/* ~@: ~@ */~n',[maybe_ansicall(TopicColor,write(TopicStr)),maybe_ansicall(InfoColor,w_no_crlf(debug_pp_info(RNVInfo)))]);
     format(X,'% ~@:~n~@ ~n',[maybe_ansicall(TopicColor,write(TopicStr)),maybe_ansicall(InfoColor,w_no_crlf(debug_pp_info(RNVInfo)))]))
   )))).
 

prolog/metta_lang/metta_interp.pl

@@ -1569,12 +1569,20 @@
 on_set_value(_Note,abort_trace,true):- nocut, ignore(abort_trace),!.
 
 on_set_value(_Note,show, Value):-
-    if_t( \+ prolog_debug:debugging(filter_default,_,_), set_option_value(filter_default,hide)),
+    if_t( \+ option_value(default_show_hide,_), set_option_value(default_show_hide,hide)),
     listify(Value,List), maplist(set_tf_debug(true),List).
 on_set_value(_Note,hide,Value):-
-    if_t( \+ prolog_debug:debugging(filter_default,_,_), (set_option_value(filter_default,show))),
+    if_t( \+ option_value(default_show_hide,_), (set_option_value(default_show_hide,show))),
     listify(Value,List), maplist(set_tf_debug(false),List).
 
+on_set_value(_Note,trace, Value):-
+    if_t( \+ option_value(default_trace_notrace,_), set_option_value(default_trace_notrace,notrace)),
+    listify(Value,List), maplist(set_tf_debug(true),List).
+on_set_value(_Note,notrace,Value):-
+    if_t( \+ option_value(default_trace_notrace,_), (set_option_value(default_trace_notrace,trace))),
+    listify(Value,List), maplist(set_tf_debug(false),List).
+
+
 on_set_value(_Note,log,true):-
     % Switch to mettalog mode if 'log' is set to true.
     switch_to_mettalog,!.
@@ -1833,7 +1841,7 @@
 %
 user_io(G) :-
     % Execute the goal using the user_io_0/1 helper.
-    notrace(user_io_0(G)).
+    user_io_0(G).
 
 %!  user_io_0(:Goal) is det.
 %
@@ -4132,7 +4140,7 @@
     % Pass the components to `load_hook1/5` for further processing.
     load_hook1(Load, Self, [Eq, H, B]).
 
-load_hook0(Load, Assertion) :- fail,
+load_hook0(Load, Assertion) :-
     % Extract components of the assertion using `assertion_hb/5`.
     once(assertion_fact(Assertion, Self, Fact)), !,
     % Pass the components to `load_hook1/5` for further processing.
@@ -4157,10 +4165,12 @@
 % load_hook1(_Load, '&corelib', _Eq, _H, _B) :- !.
 
 metta_asserted_hook(_Load, Self, [Eq,H,B]):- Eq == '=', compiler_assertz(metta_function_asserted(Self,H,B)),!.
-metta_asserted_hook(_Load, Self, StuffHook):- send_to_pl_file(metta_other_asserted(Self,StuffHook)),!.
+%metta_asserted_hook(_Load, Self, [Eq,H,B]):- Eq == 'ALT=', compiler_assertz(metta_function_asserted(Self,H,B)),!.
+metta_asserted_hook(_Load, Self, StuffHook):- compiler_assertz( metta_other_asserted(Self,StuffHook)). %send_to_pl_file( metta_other_asserted(Self,StuffHook)))),!.
 
 load_hook1(Load, Self, StuffHook) :-
-    once(metta_asserted_hook(Load, Self, StuffHook)), fail.
+    metta_asserted_hook(Load, Self, StuffHook), fail.
+
 load_hook1(Load, Self, Fact) :-
     % Ensure the Metta compiler is ready for use.
     once(use_metta_compiler),!,
@@ -4184,7 +4194,8 @@
 
 :- dynamic(did_load_hook_compiler/3).
 
-load_hook_compiler(Load, Self, Assertion):- \+ \+ ((did_load_hook_compiler(Load, Self, Assertion1),Assertion1=@=Assertion)),!,
+load_hook_compiler(Load, Self, Assertion):-
+  \+ \+ ((did_load_hook_compiler(Load, Self, Assertion1),Assertion1=@=Assertion)),!,
     %debug_info(skip_load_repeated_hook_compiler(Load, Self, Assertion)),!.
     debug_info(skip_2nd(Load, Self, Assertion)),!.
 load_hook_compiler(Load, Self, Assertion):-
@@ -7255,9 +7266,10 @@
 %   is allowed, it handles modifications to `system:notrace/1` to customize its behavior.
 %
 
-nts1 :- !. % Disable redefinition by cutting execution.
+%nts1 :- !. % Disable redefinition by cutting execution.
 nts1 :- is_flag(notrace),!.
 nts1 :- no_interupts(nts1r).
+%nts1r :- !. % Disable redefinition by cutting execution.
 nts1r :-
     % Redefine the system predicate `system:notrace/1` to customize its behavior.
     redefine_system_predicate(system:notrace/1),

prolog/metta_lang/metta_loader.pl

@@ -2094,15 +2094,15 @@
     % Register the file as loaded in the knowledge base.
     pfcAdd_Now(user:loaded_into_kb(Self, Filename)),
     % Process each buffered expression.
-    (forall(
+    user_io(((forall(
         user:metta_file_buffer(0, _Ord, _Kind, Expr, NamedVarsList, Filename, LineCount),
          (must_det_lls(maybe_name_vars(NamedVarsList)),
         with_option(loading_file, Filename,
          with_option(file_loc, LineCount,
          (
           (must_det_lls(do_metta(file(Filename), Mode, Self, Expr, _O)) -> true
         ;  (ignore(rtrace(do_metta(file(Filename), Mode, Self, Expr, _O2))),
-                   trace, pp_m(unknown_do_metta(file(Filename), Mode, Self, Expr)))))))))).
+                   trace, pp_m(unknown_do_metta(file(Filename), Mode, Self, Expr)))))))))))).
 
 
 %!  is_file_stream_and_size(+Stream, -Size) is nondet.

prolog/metta_lang/metta_transpiled_header.pl

@@ -31,3 +31,19 @@
 :-dynamic(pred_uses_fallback/2).
 :-dynamic(pred_uses_impl/2).
 
+:- dynamic(metta_function_asserted/3).
+:- multifile(metta_function_asserted/3).
+:- dynamic(metta_other_asserted/2).
+:- multifile(metta_other_asserted/2).
+:- dynamic(metta_function_asserted/3).
+:- multifile(metta_function_asserted/3).
+:- dynamic(metta_atom_asserted/2).
+:- multifile(metta_atom_asserted/2).
+:- dynamic(metta_atom_deduced/2).
+:- multifile(metta_atom_deduced/2).
+:- dynamic(metta_atom_in_file/2).
+:- multifile(metta_atom_in_file/2).
+:- dynamic(metta_atom_asserted_last/2).
+:- multifile(metta_atom_asserted_last/2).
+
+