Refactor and optimize metta_interp.pl

- Adjusted  logic to simplify the inheritance rules.
- Improved  to ensure better memory and resource management.
- Enhanced debugging utilities for inheritance and atom assertion tracing, ensuring more informative outputs.

prolog/metta_lang/metta_interp.pl

@@ -4361,7 +4361,7 @@
 should_not_inherit_from_corelib('&corelib').
 should_not_inherit_from_corelib('&stdlib').
 should_not_inherit_from_corelib('&self').
-% should_not_inherit_from_corelib('&top').
+%should_not_inherit_from_corelib('&top').
 */
 
 %!  should_inherit_from_corelib(+Atom) is nondet.
@@ -4459,9 +4459,10 @@
 %     % Retrieve the last asserted atom for a specific knowledge base:
 %     ?- metta_atom_asserted_last('&flybase', Atom).
 %     Atom = '&corelib'.
-%
-% metta_atom_asserted('&self','&corelib').
-% metta_atom_asserted('&self','&stdlib').
+
+
+%metta_atom_asserted('&self','&corelib').
+%metta_atom_asserted('&self','&stdlib').
 metta_atom_asserted_last(Top, '&corelib') :- 
     % Assert `&corelib` for the top-level context.
     top_self(Top).