enable/disable output repleats

Author: TeamSPoon

prolog/metta_lang/metta_debug.pl

@@ -859,6 +859,7 @@
                       catch_oce(Goal),
                       set_prolog_flag(occurs_check,Was)).
 
+woc(TFE,Goal):- current_prolog_flag(occurs_check,TFE),!,call(Goal).
 woc(TFE,Goal):- current_prolog_flag(occurs_check,TFE),!,precopy_term(Goal,CGoal),!,call(CGoal),uncopy_term(Goal,CGoal).
 woc(TFE,Goal):- current_prolog_flag(occurs_check,Was),redo_call_cleanup(set_prolog_flag(occurs_check,TFE),Goal,set_prolog_flag(occurs_check,Was)).
 

prolog/metta_lang/metta_eval.pl

@@ -203,7 +203,8 @@
 % Evaluates the given term X and succeeds if X is not a constraint (i.e. \+ iz_conz(X)) and is callable, and calling X succeeds.
 %
 % If X is not callable, this predicate will attempt to evaluate the arguments of X (using eval_args/2) and succeed if the result is not False.
-eval_true(X):- \+ iz_conz(X), callable(X),!, call(X).
+eval_true(X):- \+ iz_conz(X), callable(X), !, call(X).
+eval_true([F,X,Y]):- F=='=alpha',!,'=alpha'(X,Y).
 eval_true(X):- eval_args(X,Y), is_True(Y) , !.
 
 eval(Depth,Self,X,Y):- eval('=',_,Depth,Self,X,Y).
@@ -1359,9 +1360,8 @@
 equal_enough_for_test_l(P2,X,Y):-            must_be(proper_list,X), must_be(proper_list,Y), sort(X,X0),sort(Y,Y0),
     maplist(equal_enough_for_test(P2),X0,Y0).
 
-
+equal_enough_for_test_renumbered(P2,X0,Y0):- X0=@=Y0, \+ is_negation_f2(P2), !. % ignore(with_debug(varnames,equal_enough_for_test_renumbered2(P2,X0,Y0))).
 equal_enough_for_test_renumbered(P2,X0,Y0):- equal_enough_for_test_renumbered2(P2,X0,Y0),!.
-equal_enough_for_test_renumbered(P2,X0,Y0):- X0=@=Y0, \+ is_negation_f2(P2), ignore(with_debug(varnames,equal_enough_for_test_renumbered2(P2,X0,Y0))).
 
 equal_enough_for_test_renumbered2(P2,X0,Y0):- equal_renumbered(X0,Y0,XX,YY), equal_enough_for_test(P2, XX,YY).
 
@@ -3965,7 +3965,7 @@
   findall(H->B0, ((woc(metta_eq_def(Eq,Self,H,B0)),HC=@=H)), BL),
   BL\==[],!,
  must_or_die((
-  member(H->B0,BL),nl,
+  member(H->B0,BL),%nl,
   print_templates(Depth,HC,rule(H,B0,_Nth,_Types)),
   eval_args(Eq,RetType,Depth,Self,B0,BO))).
 

prolog/metta_lang/metta_interp.pl

@@ -4474,9 +4474,12 @@
    transform_about(Fact, Rule, Cond), Cond=='True',!,
    fact_store(KB, Rule, Fact, Cond).
 */
-metta_atom0(_Inherit,_KB, Atom) :- Atom=@=[_676238, :, _674118],!,fail.
-metta_atom0(_Inherit,_KB, Atom) :- Atom=@=[=, [_502628, _502592, _502598], _502424],!,fail.
-metta_atom0(_Inherit,_Space, Atom) :- Atom = [V1, [Colon, Thing, V2], V3], Colon==':', nonvar(Thing),maplist(var,[V1,V2,V3]),!,fail.
+dont_bother(Atom):- Atom=@=[_, :, _].
+dont_bother(Atom):- Atom=@=[=, [_, _, _], _].
+dont_bother(Atom):- Atom=@=[=, [_, _], _]. % maybe
+dont_bother(Atom):- Atom = [V1, [Colon, Thing, V2], V3], Colon==':', nonvar(Thing),maplist(var,[V1,V2,V3]).
+
+metta_atom0(_Inherit,_KB, Atom) :- dont_bother(Atom),!,fail.
 
 % metta_atom([Superpose,ListOf], Atom) :-   Superpose == 'superpose',    is_list(ListOf), !,      member(KB, ListOf),    get_metta_atom_from(KB, Atom).
 metta_atom0(_Inherit,Space, Atom) :- typed_list(Space, _, L), !, member(Atom, L).

prolog/metta_lang/metta_testing.pl

@@ -296,7 +296,9 @@
     % Generates the test name based on the current number.
     get_test_name(Number, TestName),
     % Prints the test name in an HTML heading format.
-    format('~N~n;<h3 id="~w">;; ~w</h3>~n', [TestName, TestName]).
+    format('~N~n;<h3 id="~w">;; ~w</h3>~n', [TestName, TestName]),
+    flush_output.
+
 
 %!  ensure_increments(:Goal) is det.
 %
@@ -387,6 +389,58 @@
     % Evaluates the main assertion goal.
     once(loonit_asserts1(Exec, Pro, G)).
 
+
+with_output_and_error_to(Out, Err, Goal) :-
+    current_input(OrigIn),
+    current_output(OrigOut),
+    current_error(OrigErr),
+    setup_call_cleanup(
+        set_prolog_IO(OrigIn, Out, Err),
+        Goal,
+        set_prolog_IO(OrigIn, OrigOut, OrigErr)
+    ).
+
+with_disabled_writing(Goal) :-
+    setup_call_cleanup(disable_writing,Goal,enable_writing).
+
+:- dynamic saved_io/3.
+
+disable_writing :- saved_io(_, _, _),!.
+disable_writing :-
+    \+ saved_io(_, _, _),  % prevent double disable
+    current_input(In),
+    current_output(Out),
+    stream_property(Err, alias(user_error)),
+    assertz(saved_io(In, Out, Err)),
+    disabled_stream(Null),
+    set_prolog_IO(In, Null, Null),
+    set_stream(Null, alias(disabled_output)).
+
+enable_writing :-
+    \+ saved_io(_, _, _), !.
+enable_writing :-
+    retract(saved_io(In, Out, Err)),!,
+    set_prolog_IO(In, Out, Err),
+    current_output(WasOut),
+    (   catch(close(WasOut), _, true)
+    ->  true
+    ;   true
+    ),
+    set_prolog_IO(In, Out, Err).
+/*
+enable_writing:- original_user_error(Err),
+   current_input(In),
+   set_prolog_IO(In, Err, Err).
+*/
+
+disabled_stream(Stream):-
+   open_prolog_stream(oops, write, Stream, []).
+
+oops:stream_write(_,S2):- S2=="\n", nb_current(lw,S1),S1==S2,!, enable_writing,trace,disable_writing. %,original_user_error(Err), writeq(Err,S2),  write(Err,S2).
+oops:stream_write(_,S2):- nb_setval(lw,S2), !, original_user_error(Err), write(Err,S2).
+%oops(S):- trace,writeln(S).
+:- set_prolog_flag(gc,false).
+
 %!  give_pass_credit(+TestSrc, +Precondition, +Goal) is det.
 %
 %   Marks a test as passed and updates the success counter if conditions are met.