Create and Integrate `stdlib_mettalog.metta` and/or `corelib.metta`

[TeamSPoon]

This task involves creating a corelib.metta file containing essential content that will be loaded into the interpreter at startup. The goal is to develop a process that converts corelib.metta into .pl files, specifically for the case of metta_atom_corelib_defn, and ensure that the interpreter correctly loads this file at startup to initialize necessary predicates and functions.

Task

1. Develop corelib.metta File:

   • Create a corelib.metta file containing the essential content for loading into the interpreter.
   • Include necessary elements from stdlib_mettalog.metta and any other relevant sources.

2. Develop a Loader for corelib.metta:

   • Implement a loader that converts the corelib.metta content into output .pl files.
   • This loader does not need to be as complex as a full transpiler but should handle the conversion effectively for the metta_atom_corelib_defn case.
   • Ensure the loader properly handles the conversion for all necessary predicates and functions defined in corelib.metta.

3. Integrate corelib.metta with the Interpreter:

   • Ensure that the interpreter loads the generated .pl file(s) from corelib.metta at startup.
   • Verify that all necessary predicates and functions are initialized and available for use in the interpreter.

Acceptance Criteria

• The corelib.metta file is created with all necessary content.
• A loader is developed that successfully converts corelib.metta into .pl files.
• The interpreter loads the .pl file(s) generated from corelib.metta at startup, initializing all required predicates and functions.
• The system is tested to ensure that the initialization process works as expected.

[TeamSPoon]

Towards Create and Integrate stdlib_mettalog.metta and/or corelib.metta https://github.com/trueagi-io/metta-wam/issues/72

corelib.metta loads stdlib_mettalog.metta

stdlib_mettalog.metta now contains most missing type definations and missing comments for both minimal metta and maximal metta... it still needs extra infro from mettalog specific language functions. Thankfully, @royward has been enumerating these with https://github.com/trueagi-io/metta-wam/issues/71

Next task (for @TeamSPoon ) is making these load from metta_interp.pl