# Examples README

The `examples` directory houses a variety of sub-directories, each focusing on specific functionalities, tests, or demonstrations. These sub-directories serve as a comprehensive resource for understanding the system.

---


## **Flybase Module**

- **[`flybase`](./flybase)**: Focused on the Flybase module, the examples here are designed to provide insights into how this specific component works and can be used.
   - [`flybase-deduced-queries.metta`](flybase/flybase-deduced-queries.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/flybase-deduced-queries.metta.html): Contains queries deduced from Flybase data analysis.
   - [`flybase-loader-size-estimates.metta`](flybase/flybase-loader-size-estimates.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/flybase-loader-size-estimates.metta.html): Size estimates and optimizations for the Flybase loader.
   - [`flybase-loader.metta`](flybase/flybase-loader.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/flybase-loader.metta.html): Loader script for Flybase datasets.
   - [`flybase-vspace.metta`](flybase/flybase-vspace.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/flybase-vspace.metta.html): Virtual space configuration for Flybase.
   - [`flybase-deduced-connections.metta`](flybase/flybase-deduced-connections.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/flybase-deduced-connections.metta.html): Mapping and connections deduced in Flybase.
   - [`flybase-deduced-types.metta`](flybase/flybase-deduced-types.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/flybase-deduced-types.metta.html): Type definitions and structures deduced in Flybase.
  - **[`output~`](./flybase/output~)**: Output files and processed data from Flybase.
    - [`flybase-deduced.metta`](flybase/output~/flybase-deduced.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/output~/flybase-deduced.metta.html): Deduced results and insights from Flybase data.
    - [`flybase-mined-flat.metta`](flybase/output~/flybase-mined-flat.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/output~/flybase-mined-flat.metta.html): Flat structure representation of mined data in Flybase.
    - [`flybase-mined.metta`](flybase/output~/flybase-mined.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/output~/flybase-mined.metta.html): Original mined data from Flybase.
  - **[`sanity`](./flybase/sanity)**: Sanity checks and basic tests for Flybase module.
    - [`download_file.metta`](flybase/sanity/download_file.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/sanity/download_file.metta.html): Tests downloading a remote version of Flybase.
    - [`load_all_of_flybase.metta`](flybase/sanity/load_all_of_flybase.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/sanity/load_all_of_flybase.metta.html): Demonstrates loading all 54 million atoms in under 30 seconds.
    - [`simple_query1.metta`](flybase/sanity/simple_query1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/sanity/simple_query1.metta.html): Queries using the loaded atoms that complete in under a second.
    - [`simple_query2_llm.metta`](flybase/sanity/simple_query2_llm.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/sanity/simple_query2_llm.metta.html): Combined queries with large language models.

### Flybase Integration with DAS and VSPACE

#### **Flybase with Distributed Atomspace (DAS) Integration**
- **[`flybase/from_das`](./flybase/from_das)**: Showcases the integration of Flybase with Distributed Atomspace (DAS), a system for managing and processing distributed atom-based data.
  - [`flybase_rust_uses_python_das.metta`](./flybase/from_das/flybase_rust_uses_python_das.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/from_das/flybase_rust_uses_python_das.metta.html): Demonstrates how Flybase utilizes Python and Rust to interact with DAS, enhancing its data analysis and processing capabilities.

#### **Flybase with Rust-Only Implementation**
- **[`flybase/from_rust`](./flybase/from_rust)**: Features Flybase loaded exclusively in Rust
  - [`flybase_rust_only.metta`](./flybase/from_rust/flybase_rust_only.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/from_rust/flybase_rust_only.metta.html): Illustrates the pure Rust implementation of Flybase, highlighting its efficiency and direct integration with system-level functionalities.

#### **Flybase with VSPACE (Version Space) Integration**
- **[`flybase/from_vspace`](./flybase/from_vspace)**: Using Rust to access Flybase with VSPACE ( hosting 56 million atoms )
  - [`flybase_rust_uses_python_vspace.metta`](./flybase/from_vspace/flybase_rust_uses_python_vspace.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/flybase/from_vspace/flybase_rust_uses_python_vspace.metta.html): Showcases Flybase leveraging Python VSPACE within a Rust environment, focusing on efficient handling and manipulation of a vast space containing millions of atoms.


## Hyperon Miner Examples

- **[`extended_compat/hyperon-miner/`](extended_compat/hyperon-miner/):** Hyperon miner directory
    - [`data/sample.metta`](extended_compat/hyperon-miner/data/sample.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-miner/data/sample.metta.html): Sample data for Hyperon miner testing.
    - [`utils/MinerUtils.metta`](extended_compat/hyperon-miner/utils/MinerUtils.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-miner/utils/MinerUtils.metta.html): Utility functions for Hyperon mining operations.
   - [`match/MinerMatchTest.metta`](extended_compat/hyperon-miner/match/MinerMatchTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-miner/match/MinerMatchTest.metta.html): Test cases for Hyperon miner matching algorithms.
   - [`match/MinerMatch.metta`](extended_compat/hyperon-miner/match/MinerMatch.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-miner/match/MinerMatch.metta.html): Implementation of matching algorithms for Hyperon miner.


## Extended Compatibility Examples

### Combinator Logic Experiments
- **[`extended_compat/metta-examples/combinator_logic_experiments/`](extended_compat/metta-examples/combinator_logic_experiments/):** Combinator Logic Experiments Directory
   - [`y_comb_examples.metta`](extended_compat/metta-examples/combinator_logic_experiments/y_comb_examples.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/combinator_logic_experiments/y_comb_examples.metta.html): Examples and experiments with Y combinators.

### Logic
- **[`extended_compat/metta-examples/logic/`](extended_compat/metta-examples/logic/):** Metta Logic Directory
   - [`puzzle.metta`](extended_compat/metta-examples/logic/puzzle.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/logic/puzzle.metta.html): Logic puzzles and solutions in Metta.
   - [`all_any.metta`](extended_compat/metta-examples/logic/all_any.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/logic/all_any.metta.html): Implementations of universal and existential quantifiers.
   - [`memb.metta`](extended_compat/metta-examples/logic/memb.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/logic/memb.metta.html): Member checking functions in logical expressions.

### SICP Book Examples
- **[`extended_compat/metta-examples/SICP_book/`](extended_compat/metta-examples/SICP_book/):** SICP Book Examples in Metta
  - [Chapter 1.1](extended_compat/metta-examples/SICP_book/chapter_1_1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/SICP_book/chapter_1_1.metta.html)
  - [Chapter 1.2](extended_compat/metta-examples/SICP_book/chapter_1_2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/SICP_book/chapter_1_2.metta.html)
  - [Chapter 1.3](extended_compat/metta-examples/SICP_book/chapter_1_3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/SICP_book/chapter_1_3.metta.html)

### Recursion Schemes
- **[`extended_compat/metta-examples/recursion-schemes/src/`](extended_compat/metta-examples/recursion-schemes/src/):** Recursion Schemes in Metta
   - [`schemes.metta`](extended_compat/metta-examples/recursion-schemes/src/schemes.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/recursion-schemes/src/schemes.metta.html): Various recursion schemes implemented in Metta.
   - [`base.metta`](extended_compat/metta-examples/recursion-schemes/src/base.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/recursion-schemes/src/base.metta.html): Base functions and utilities for recursion schemes.
   - [`expression.metta`](extended_compat/metta-examples/recursion-schemes/src/expression.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/recursion-schemes/src/expression.metta.html): Expression handling in recursion schemes.
   - [`benchmark.metta`](extended_compat/metta-examples/recursion-schemes/src/benchmark.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/recursion-schemes/src/benchmark.metta.html): Benchmark tests for recursion scheme implementations.

### Probabilistic Dependent Types
- **[`extended_compat/metta-examples/prob-dep-types/`](extended_compat/metta-examples/prob-dep-types/):** Probabilistic Dependent Types in Metta
   - [`prob_dep_types.metta`](extended_compat/metta-examples/prob-dep-types/prob_dep_types.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/prob-dep-types/prob_dep_types.metta.html): Definitions and examples of probabilistic dependent types.
   - [`inf_order_probs.metta`](extended_compat/metta-examples/prob-dep-types/inf_order_probs.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/metta-examples/prob-dep-types/inf_order_probs.metta.html): Infinite order probabilities and their applications.

## NARS (Non-Axiomatic Reasoning System)

#### **NARS - Current Version**
- **[`nars/current`](./extended_compat/nars/current)**: The current iteration of the Non-Axiomatic Reasoning System (NARS) showcasing the latest features and tests.
  - [`NARS.metta`](extended_compat/nars/current/NARS.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/NARS.metta.html): Main script for the current version of NARS.
  - [`tests0.metta`](extended_compat/nars/current/tests0.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/tests0.metta.html): Basic tests for the current NARS version.
  - [`tests1.metta`](extended_compat/nars/current/tests1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/tests1.metta.html): Comprehensive level tests for NARS functionalities.
  - [`tests2.metta`](extended_compat/nars/current/tests2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/tests2.metta.html): Advanced testing scenarios for NARS.
  - [`tests3.metta`](extended_compat/nars/current/tests3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/tests3.metta.html): Tests focusing on specific reasoning capabilities in NARS.
  - [`tests4.metta`](extended_compat/nars/current/tests4.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/tests4.metta.html): Specialized tests for complex reasoning in NARS.
  - [`tests5.metta`](extended_compat/nars/current/tests5.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/current/tests5.metta.html): Simple test for complex reasoning in NARS.

#### **NARS - New Developments**
- **[`nars/new`](./extended_compat/nars/new)**: Houses the latest developments and experimental features in NARS.
  - [`NARS.metta`](extended_compat/nars/new/NARS.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/NARS.metta.html)[`tests0.metta`](extended_compat/nars/new/tests0.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/tests0.metta.html)[`tests1.metta`](extended_compat/nars/new/tests1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/tests1.metta.html)[`tests2.metta`](extended_compat/nars/new/tests2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/tests2.metta.html)[`tests3.metta`](extended_compat/nars/new/tests3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/tests3.metta.html)[`tests4.metta`](extended_compat/nars/new/tests4.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/tests4.metta.html)[`tests5.metta`](extended_compat/nars/new/tests5.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/new/tests5.metta.html): Reflects ongoing experiments and cutting-edge features in NARS development.

#### **NARS Extras**
- **[`nars/nars_extras`](./extended_compat/nars/nars_extras)**: Additional scripts and utilities for NARS.
  - [`NARS_BuildTupleCounts.metta`](extended_compat/nars/nars_extras/NARS_BuildTupleCounts.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_extras/NARS_BuildTupleCounts.metta.html): Script for building tuple counts in NARS.
  - [`RUN_minnars.metta`](extended_compat/nars/nars_extras/RUN_minnars.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_extras/RUN_minnars.metta.html): Execution script for MinNARS, a minimalistic version of NARS.
  - [`RUN_minnars_trimmed.metta`](extended_compat/nars/nars_extras/RUN_minnars_trimmed.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_extras/RUN_minnars_trimmed.metta.html): Trimmed version of the MinNARS execution script.
  - [`TestNARS_listing.metta`](extended_compat/nars/nars_extras/TestNARS_listing.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_extras/TestNARS_listing.metta.html): Comprehensive test listings and scripts for NARS.

#### **NARS - Previous Versions**
- **[`nars/prev`](./extended_compat/nars/prev)**: Includes tests and scripts from previous versions of NARS, showcasing the evolution of the system.
  - [`NARS.metta`](extended_compat/nars/prev/NARS.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/NARS.metta.html)[`tests0.metta`](extended_compat/nars/prev/tests0.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/tests0.metta.html)[`tests1.metta`](extended_compat/nars/prev/tests1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/tests1.metta.html)[`tests2.metta`](extended_compat/nars/prev/tests2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/tests2.metta.html)[`tests3.metta`](extended_compat/nars/prev/tests3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/tests3.metta.html)[`tests4.metta`](extended_compat/nars/prev/tests4.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/tests4.metta.html)[`tests5.metta`](extended_compat/nars/prev/tests5.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/prev/tests5.metta.html): Provides a historical perspective on the progression and updates in NARS.

#### **NARS Version 0**
- **[`nars/nars_v0`](./extended_compat/nars/nars_v0)**: The original version of NARS, preserving the initial features and tests.
  - [`NARS.metta`](extended_compat/nars/nars_v0/NARS.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/NARS.metta.html): Main script for the original NARS version.
  - [`NARS-old.metta`](extended_compat/nars/nars_v0/NARS-old.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/NARS-old.metta.html): Older version of the NARS main script.
  - [`tests0.metta`](extended_compat/nars/nars_v0/tests0.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/tests0.metta.html)[`tests1.metta`](extended_compat/nars/nars_v0/tests1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/tests1.metta.html)[`tests2.metta`](extended_compat/nars/nars_v0/tests2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/tests2.metta.html)[`tests3.metta`](extended_compat/nars/nars_v0/tests3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/tests3.metta.html)[`tests4.metta`](extended_compat/nars/nars_v0/tests4.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/tests4.metta.html)[`tests5.metta`](extended_compat/nars/nars_v0/tests5.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/nars/nars_v0/tests5.metta.html) A series of tests ranging from basic to comprehensive for the original NARS version.




## Python Compatibility - Hyperon Experimental Python

- **[`python_compat/hyperon-experimental_python/sandbox/`](python_compat/hyperon-experimental_python/sandbox/):** Hyperon Experimental Python Sandbox
   - [`resolve/r.metta`](python_compat/hyperon-experimental_python/sandbox/resolve/r.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/hyperon-experimental_python/sandbox/resolve/r.metta.html): Resolution algorithms in Hyperon Python sandbox.
   - [`sql_space/sql_space_test.metta`](python_compat/hyperon-experimental_python/sandbox/sql_space/sql_space_test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/hyperon-experimental_python/sandbox/sql_space/sql_space_test.metta.html): Test scripts for SQL space integration in Hyperon.
   - [`neurospace/test_assist.metta`](python_compat/hyperon-experimental_python/sandbox/neurospace/test_assist.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/hyperon-experimental_python/sandbox/neurospace/test_assist.metta.html): Assistant scripts for neurospace simulations.
   - [`neurospace/test_nspace.metta`](python_compat/hyperon-experimental_python/sandbox/neurospace/test_nspace.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/hyperon-experimental_python/sandbox/neurospace/test_nspace.metta.html): Neurospace testing and simulation scripts.
   - [`numpy/nm_test.metta`](python_compat/hyperon-experimental_python/sandbox/numpy/nm_test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/hyperon-experimental_python/sandbox/numpy/nm_test.metta.html): Numpy integration tests in Hyperon Python environment.
   - [`das_gate/test_das.metta`](python_compat/hyperon-experimental_python/sandbox/das_gate/test_das.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/hyperon-experimental_python/sandbox/das_gate/test_das.metta.html): Test scripts for DAS gate functionality in Hyperon.

- **[`python_compat/extend/`](python_compat/extend/):** Metta-Morph Python Compatibility Layer for NARS
	   - [`example6.metta`](python_compat/extend/example6.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/example6.metta.html): Example script 6 for Python compatibility layer.
	   - [`compileme.metta`](python_compat/extend/compileme.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/compileme.metta.html): Compilation scripts for Python compatibility extensions.
	   - [`example2.metta`](python_compat/extend/example2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/example2.metta.html): Example script 2 for extended functionalities.
	   - [`example5.metta`](python_compat/extend/example5.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/example5.metta.html): Example script 5 showcasing extended features.
	   - [`example4.metta`](python_compat/extend/example4.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/example4.metta.html): Example script 4 demonstrating extended capabilities.
	   - [`example1.metta`](python_compat/extend/example1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/example1.metta.html): Example script 1 for Python compatibility tests.
	   - [`example3.metta`](python_compat/extend/example3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/extend/example3.metta.html): Example script 3 in Python compatibility layer.
	   - [`timing.metta`](python_compat/timing/timing.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/timing/timing.metta.html): Timing and performance testing scripts.
	   - [`mettamorph.metta`](python_compat/mettamorph.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/python_compat/mettamorph.metta.html): Inital Script of MeTTa-Morph.


#### **Synthesis and Logic Group**

This group of directories explores various representational methods for porting PLN to MeTTa.
- **[`extended_compat/hyperon-pln/metta/`](extended_compat/hyperon-pln/metta/):** Hyperon PLN Metta Base Compatibility

- **[`entail`](./extended_compat/hyperon-pln/metta/entail)**: Here, rules are expressed with the symbol `?`.
   - [`DeductionEntailTest.metta`](extended_compat/hyperon-pln/metta/entail/DeductionEntailTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/entail/DeductionEntailTest.metta.html): Tests for deduction entailment in MeTTa.
   - [`ImplicationDirectIntroductionEntail.metta`](extended_compat/hyperon-pln/metta/entail/ImplicationDirectIntroductionEntail.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/entail/ImplicationDirectIntroductionEntail.metta.html): Direct implication introduction entailment logic.
   - [`ImplicationDirectIntroductionEntailTest.metta`](extended_compat/hyperon-pln/metta/entail/ImplicationDirectIntroductionEntailTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/entail/ImplicationDirectIntroductionEntailTest.metta.html): Tests for direct implication introduction entailment.
   - [`DeductionEntail.metta`](extended_compat/hyperon-pln/metta/entail/DeductionEntail.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/entail/DeductionEntail.metta.html): Logic for deduction entailment in MeTTa.

- **[`common`](./extended_compat/hyperon-pln/metta/common)**: Contains common definitions for PLN in MeTTa.
   - [`Num.metta`](extended_compat/hyperon-pln/metta/common/Num.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/Num.metta.html): Numerical utilities and definitions.
   - [`Record.metta`](extended_compat/hyperon-pln/metta/common/Record.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/Record.metta.html): Record structures and related logic.
   - [`DeductionFormula.metta`](extended_compat/hyperon-pln/metta/common/formula/DeductionFormula.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/formula/DeductionFormula.metta.html): Formulae for logical deduction.
   - [`ImplicationDirectIntroductionFormula.metta`](extended_compat/hyperon-pln/metta/common/formula/ImplicationDirectIntroductionFormula.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/formula/ImplicationDirectIntroductionFormula.metta.html): Formulae for direct implication introduction.
   - [`ModusPonensFormula.metta`](extended_compat/hyperon-pln/metta/common/formula/ModusPonensFormula.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/formula/ModusPonensFormula.metta.html): Formulae for modus ponens logic.
   - [`DeductionFormulaTest.metta`](extended_compat/hyperon-pln/metta/common/formula/DeductionFormulaTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/formula/DeductionFormulaTest.metta.html): Test cases for logical deduction formulae.
   - [`OrderedSet.metta`](extended_compat/hyperon-pln/metta/common/OrderedSet.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/OrderedSet.metta.html): Implementation of ordered sets.
   - [`EqualityType.metta`](extended_compat/hyperon-pln/metta/common/EqualityType.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/EqualityType.metta.html): Equality types and related logic.
   - [`ListTest.metta`](extended_compat/hyperon-pln/metta/common/ListTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/ListTest.metta.html): Tests for list operations.
   - [`NumTest.metta`](extended_compat/hyperon-pln/metta/common/NumTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/NumTest.metta.html): Tests for numerical utilities.
   - [`OrderedSetTest.metta`](extended_compat/hyperon-pln/metta/common/OrderedSetTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/OrderedSetTest.metta.html): Tests for ordered set implementation.
   - [`Num8.metta`](extended_compat/hyperon-pln/metta/common/Num8.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/Num8.metta.html): Extended numerical operations.
   - [`Maybe.metta`](extended_compat/hyperon-pln/metta/common/Maybe.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/Maybe.metta.html): Implementation of 'Maybe' monad.
   - [`MaybeTest.metta`](extended_compat/hyperon-pln/metta/common/MaybeTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/MaybeTest.metta.html): Tests for 'Maybe' monad.
   - [`EqualityTypeTest.metta`](extended_compat/hyperon-pln/metta/common/EqualityTypeTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/EqualityTypeTest.metta.html): Tests for equality type logic.
   - [`In.metta`](extended_compat/hyperon-pln/metta/common/In.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/In.metta.html): Logic for element inclusion.
   - [`List.metta`](extended_compat/hyperon-pln/metta/common/List.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/List.metta.html): List operations and utilities.
   - [`TruthValue.metta`](extended_compat/hyperon-pln/metta/common/truthvalue/TruthValue.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValue.metta.html): Base structure for truth values.
   - [`EvidentialTruthValue.metta`](extended_compat/hyperon-pln/metta/common/truthvalue/EvidentialTruthValue.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/truthvalue/EvidentialTruthValue.metta.html): Evidential truth value implementation.
   - [`EvidentialTruthValueTest.metta`](extended_compat/hyperon-pln/metta/common/truthvalue/EvidentialTruthValueTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/truthvalue/EvidentialTruthValueTest.metta.html): Evidential truth value Tests.
   - [`TruthValueTest.metta`](extended_compat/hyperon-pln/metta/common/truthvalue/TruthValueTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValueTest.metta.html): General tests for truth values.
   - [`TemporalTruthValue.metta`](extended_compat/hyperon-pln/metta/common/truthvalue/TemporalTruthValue.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/truthvalue/TemporalTruthValue.metta.html): Temporal aspect of truth values.
   - [`MeasEq.metta`](extended_compat/hyperon-pln/metta/common/truthvalue/MeasEq.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/truthvalue/MeasEq.metta.html): Measurement equality logic.
   - [`InTest.metta`](extended_compat/hyperon-pln/metta/common/InTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/InTest.metta.html): Tests for element inclusion logic.
   - [`BelieveMe.metta`](extended_compat/hyperon-pln/metta/common/BelieveMe.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/common/BelieveMe.metta.html): Logic for belief representation.

- **[`HOL`](./extended_compat/hyperon-pln/metta/hol)**: Showcases HOL (Higher-Order Logic) operations.
   - [`ListTest.metta`](extended_compat/hyperon-pln/metta/hol/ListTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/hol/ListTest.metta.html): Test cases for list operations in HOL.
   - [`NatTest.metta`](extended_compat/hyperon-pln/metta/hol/NatTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/hol/NatTest.metta.html): Test cases for natural number operations in HOL.
   - [`NatSimpleTest.metta`](extended_compat/hyperon-pln/metta/hol/NatSimpleTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/hol/NatSimpleTest.metta.html): Simplified tests for natural numbers in HOL.

- **[`dependent-types`](./extended_compat/hyperon-pln/metta/dependent-types)**: Concentrates on representing rules as type constructors.
   - [`ModusPonensDTLTest.metta`](extended_compat/hyperon-pln/metta/dependent-types/ModusPonensDTLTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/ModusPonensDTLTest.metta.html): Test cases for modus ponens in dependent type logic.
   - [`ImplicationDirectIntroductionDTL.metta`](extended_compat/hyperon-pln/metta/dependent-types/ImplicationDirectIntroductionDTL.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/ImplicationDirectIntroductionDTL.metta.html): Direct implication introduction in dependent type logic.
   - [`DeductionImplicationDirectIntroductionDTLTest.metta`](extended_compat/hyperon-pln/metta/dependent-types/DeductionImplicationDirectIntroductionDTLTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/DeductionImplicationDirectIntroductionDTLTest.metta.html): Tests for deduction and direct implication introduction.
   - [`ImplicationDirectIntroductionDTLTest.metta`](extended_compat/hyperon-pln/metta/dependent-types/ImplicationDirectIntroductionDTLTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/ImplicationDirectIntroductionDTLTest.metta.html): More tests for direct implication introduction.
   - [`DeductionDTL.metta`](extended_compat/hyperon-pln/metta/dependent-types/DeductionDTL.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/DeductionDTL.metta.html): Deduction logic in dependent type language.
   - [`DeductionDTLTest.metta`](extended_compat/hyperon-pln/metta/dependent-types/DeductionDTLTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/DeductionDTLTest.metta.html): Tests for deduction in dependent type language.
   - [`ModusPonensDTL.metta`](extended_compat/hyperon-pln/metta/dependent-types/ModusPonensDTL.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/dependent-types/ModusPonensDTL.metta.html): Modus ponens implementation in dependent type language.

- **[`forward-chainer`](./extended_compat/hyperon-pln/metta/forward-chainer)**: Focuses on forward-chaining logic.
   - [`forward-chainer-test.metta`](extended_compat/hyperon-pln/metta/forward-chainer/forward-chainer-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/forward-chainer/forward-chainer-test.metta.html): Test cases for forward-chaining logic.
   - [`forward-chainer-xp.metta`](extended_compat/hyperon-pln/metta/forward-chainer/forward-chainer-xp.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/forward-chainer/forward-chainer-xp.metta.html): Experimental forward-chaining implementations.

- **[`subtyping`](./extended_compat/hyperon-pln/metta/subtyping)**: Showcases subtyping operations.
   - [`rule-base.metta`](extended_compat/hyperon-pln/metta/subtyping/rule-base.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/subtyping/rule-base.metta.html): Base rules for subtyping operations.
   - [`subtyping-test.metta`](extended_compat/hyperon-pln/metta/subtyping/subtyping-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/subtyping/subtyping-test.metta.html): Test cases for subtyping.

- **[`sumo`](./extended_compat/hyperon-pln/metta/sumo)**: Houses SUMO (Suggested Upper Merged Ontology) examples.
    - [`load-suo-kif.metta`](extended_compat/hyperon-pln/metta/sumo/load-suo-kif.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/load-suo-kif.metta.html): Logic for loading SUMO KIF files.
    - [`rule-base.metta`](extended_compat/hyperon-pln/metta/sumo/rule-base.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/rule-base.metta.html): Base rules for SUMO logic.
   - **[`sumo/john-carry-flower`](./extended_compat/hyperon-pln/metta/sumo/john-carry-flower)**: Narrative logic examples.
      - [`john-carry-flower-test.metta`](extended_compat/hyperon-pln/metta/sumo/john-carry-flower/john-carry-flower-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/john-carry-flower/john-carry-flower-test.metta.html): Test cases for the John carrying a flower narrative.
      - [`john-carry-flower.kif.metta`](extended_compat/hyperon-pln/metta/sumo/john-carry-flower/john-carry-flower.kif.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/john-carry-flower/john-carry-flower.kif.metta.html): KIF narrative for John carrying a flower.
    - **[`sumo/orientation`](./extended_compat/hyperon-pln/metta/sumo/orientation)**: Related to spatial orientation.
      - [`orientation-test.metta`](extended_compat/hyperon-pln/metta/sumo/orientation/orientation-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/orientation/orientation-test.metta.html): Tests for orientation logic in SUMO.
      - [`orientation.kif.metta`](extended_compat/hyperon-pln/metta/sumo/orientation/orientation.kif.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/orientation/orientation.kif.metta.html): Knowledge Interchange Format files for orientation.
    - **[`sumo/located`](./extended_compat/hyperon-pln/metta/sumo/located)**: Pertains to location-based logic.
      - [`located-test.metta`](extended_compat/hyperon-pln/metta/sumo/located/located-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/located/located-test.metta.html): Tests for location-based logic in SUMO.
      - [`located.kif.metta`](extended_compat/hyperon-pln/metta/sumo/located/located.kif.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/sumo/located/located.kif.metta.html): KIF files for location-based logic.
    - **[`sumo/route-between`](./extended_compat/hyperon-pln/metta/sumo/route-between)**: Deals with routing logic.

#### **Synthesis Experiments**

- **[`synthesis/experiments`](./extended_compat/hyperon-pln/metta/synthesis/experiments)**: Experiments in program synthesis.
   - [`synthesize-via-unify-test.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test.metta.html): Tests for synthesis through unification.
   - [`unify-via-case.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/unify-via-case.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/unify-via-case.metta.html): Unification via `case` operator construct.
   - [`synthesize-via-case.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-case.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-case.metta.html): Synthesis through `case` operator construct.
   - [`synthesize-via-let.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let.metta.html): Synthesis using the 'let' construct.
   - [`synthesize-via-unify.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify.metta.html): Synthesis through unification techniques.
   - [`synthesize-via-let-test.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let-test.metta.html): Tests for synthesis using the 'let' construct.
   - [`synthesize-via-case-test.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-case-test.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-case-test.metta.html): Tests for synthesis through `case` operator construct.
   - [`unify-via-let.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/unify-via-let.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/unify-via-let.metta.html): Unification using the 'let' construct.
   - [`non-determinism.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/non-determinism.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/non-determinism.metta.html): Explorations of non-determinism in synthesis.
   - [`synthesize-via-superpose.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-superpose.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-superpose.metta.html): Synthesis through superposition.
   - [`synthesize-via-type-checking.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-type-checking.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-type-checking.metta.html): Synthesis with type checking.
   - [`self-contained-synthesize.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/self-contained-synthesize.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/self-contained-synthesize.metta.html): Self-contained examples of synthesis.
   - [`synthesize-via-unify-test-longer.metta`](extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test-longer.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test-longer.metta.html): Extended tests for synthesis through unification.

#### **Match and Unify Operations**

- **[`match`](./extended_compat/hyperon-pln/metta/match)**: Logic for matching and unification.
   - [`DeductionImplicationDirectIntroductionMatchTest.metta`](extended_compat/hyperon-pln/metta/match/DeductionImplicationDirectIntroductionMatchTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/match/DeductionImplicationDirectIntroductionMatchTest.metta.html): Tests for matching in deduction and direct implication introduction.
   - [`DeductionMatch.metta`](extended_compat/hyperon-pln/metta/match/DeductionMatch.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/match/DeductionMatch.metta.html): Logic for deduction matching.
   - [`ImplicationDirectIntroductionMatchTest.metta`](extended_compat/hyperon-pln/metta/match/ImplicationDirectIntroductionMatchTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/match/ImplicationDirectIntroductionMatchTest.metta.html): Tests for direct implication introduction matching.
   - [`DeductionMatchTest.metta`](extended_compat/hyperon-pln/metta/match/DeductionMatchTest.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/match/DeductionMatchTest.metta.html): Test cases for deduction matching.
   - [`ImplicationDirectIntroductionMatch.metta`](extended_compat/hyperon-pln/metta/match/ImplicationDirectIntroductionMatch.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/extended_compat/hyperon-pln/metta/match/ImplicationDirectIntroductionMatch.metta.html): Logic for direct implication introduction matching.

#### **Metta-Morph Tests**

- **[`metta-morph_tests`](./baseline_compat/metta-morph_tests)**: Test cases exploring various features and functionalities in MeTTa.
   - [`minnars.metta`](baseline_compat/metta-morph_tests/minnars.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/minnars.metta.html): Tests and examples for MinNARS implementation.
   - [`sequential_nested.metta`](baseline_compat/metta-morph_tests/sequential_nested.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/sequential_nested.metta.html): Experiments with sequential and nested structures.
   - [`peano.metta`](baseline_compat/metta-morph_tests/peano.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/peano.metta.html): Implementations and tests for Peano arithmetic.
   - [`if.metta`](baseline_compat/metta-morph_tests/if.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/if.metta.html): Tests for 'if' conditional structures.
   - [`types.metta`](baseline_compat/metta-morph_tests/types.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/types.metta.html): Exploration of type systems and their behaviors.
   - [`states_spaces.metta`](baseline_compat/metta-morph_tests/states_spaces.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/states_spaces.metta.html): Experiments with state spaces.
   - [`supercollapse.metta`](baseline_compat/metta-morph_tests/supercollapse.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/supercollapse.metta.html): Tests for collapse operations.
   - [`zeroargs.metta`](baseline_compat/metta-morph_tests/zeroargs.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/zeroargs.metta.html): Investigating functions with zero arguments.
   - [`match_feval.metta`](baseline_compat/metta-morph_tests/match_feval.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/match_feval.metta.html): Function evaluation within match structures.
   - [`nalifier.metta`](baseline_compat/metta-morph_tests/nalifier.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/nalifier.metta.html): NAL (Non-Axiomatic Logic) implementation tests.
   - [`factorial.metta`](baseline_compat/metta-morph_tests/factorial.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/factorial.metta.html): Factorial function implementations and tests.
   - [`types2.metta`](baseline_compat/metta-morph_tests/types2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/types2.metta.html): Further exploration into types and their applications.
   - [`and_or.metta`](baseline_compat/metta-morph_tests/and_or.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/and_or.metta.html): Logical operations and their behavior in different contexts.
   - [`let_superpose_list.metta`](baseline_compat/metta-morph_tests/let_superpose_list.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/let_superpose_list.metta.html): Experiments with 'let' in list `superpose`.
   - [`multifunction.metta`](baseline_compat/metta-morph_tests/multifunction.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/multifunction.metta.html): Tests for multifunctional behaviors.
   - [`match_void.metta`](baseline_compat/metta-morph_tests/match_void.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/match_void.metta.html): Exploring match operations with void returns.
   - [`let_superpose_if_case.metta`](baseline_compat/metta-morph_tests/let_superpose_if_case.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/let_superpose_if_case.metta.html): Superposing 'let' with 'if' and 'case' structures.
   - [`types3.metta`](baseline_compat/metta-morph_tests/types3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/types3.metta.html): Advanced type system explorations.
   - [`add_atom_match.metta`](baseline_compat/metta-morph_tests/add_atom_match.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/add_atom_match.metta.html): Atom addition within match structures.
   - [`let_superpose_list2.metta`](baseline_compat/metta-morph_tests/let_superpose_list2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/let_superpose_list2.metta.html): Advanced list superposition with 'let'.
   - [`superpose_nested.metta`](baseline_compat/metta-morph_tests/superpose_nested.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/superpose_nested.metta.html): Nested structure `superpose`.
   - [`identity.metta`](baseline_compat/metta-morph_tests/identity.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/identity.metta.html): Tests for identity functions and operations.
   - [`nested_parameters.metta`](baseline_compat/metta-morph_tests/nested_parameters.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/nested_parameters.metta.html): Experiments with nested parameter structures.
   - [`match_superposed_spaces.metta`](baseline_compat/metta-morph_tests/match_superposed_spaces.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html): Matching within superposed spaces.
   - [`collapse.metta`](baseline_compat/metta-morph_tests/collapse.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/collapse.metta.html): Tests for collapse operations in various contexts.
   - [`letlet.metta`](baseline_compat/metta-morph_tests/letlet.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/metta-morph_tests/letlet.metta.html): Experiments with nested 'let' structures.

#### **MeTTaLog Sanity Tests**

- **[`hyperon-mettalog_sanity`](./baseline_compat/hyperon-mettalog_sanity)**: Sanity checks and basic tests for Hyperon Mettalog.
   - [`02-curried-plus.metta`](baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta.html): Implementations and tests for curried addition functions.
   - [`00_lang_case.metta`](baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html): Case studies in language design and implementation.
   - [`01_lang_inc.metta`](baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html): Increment functions and their usage in language testing.
   - [`04_match_list_like_space.metta`](baseline_compat/hyperon-mettalog_sanity/04_match_list_like_space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/04_match_list_like_space.metta.html): Matching lists in space-like structures.
   - [`structure-tests.metta`](baseline_compat/hyperon-mettalog_sanity/structure-tests.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/structure-tests.metta.html): Structural tests for sanity checking.
   - [`05_match_superpose_element_like_space.metta`](baseline_compat/hyperon-mettalog_sanity/05_match_superpose_element_like_space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/05_match_superpose_element_like_space.metta.html): Matching tests with superposition in element-like spaces.
   - [`00_lang_ok_to_redefine.metta`](baseline_compat/hyperon-mettalog_sanity/00_lang_ok_to_redefine.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/00_lang_ok_to_redefine.metta.html): Tests for language redefinition capabilities.

#### **Hyperon Mettalog Sanity Checks**

- **[`hyperon-mettalog_sanity`](./baseline_compat/hyperon-mettalog_sanity)**: Sanity checks and basic tests for Hyperon Mettalog.
   - [`02-curried-plus.metta`](baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta.html): Implementations and tests for curried addition functions.
   - [`00_lang_case.metta`](baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html): Case studies in language design and implementation.
   - [`01_lang_inc.metta`](baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html): Increment functions and their usage in language testing.
   - [`04_match_list_like_space.metta`](baseline_compat/hyperon-mettalog_sanity/04_match_list_like_space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-mettalog_sanity/04_match_list_like_space.metta.html): Matching lists in space-like structures.

#### **Hyperon/MeTTa base Unit Tests**

- **[`hyperon-experimental_scripts`](./baseline_compat/hyperon-experimental_scripts)**: Scripts for experimenting with advanced concepts in Hyperon.
   - [`_e2_states_dia.metta`](baseline_compat/hyperon-experimental_scripts/_e2_states_dia.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/_e2_states_dia.metta.html): State diagrams and their representation.
   - [`a1_symbols.metta`](baseline_compat/hyperon-experimental_scripts/a1_symbols.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html): Exploration of symbol usage and manipulation.
   - [`d4_type_prop.metta`](baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html): Type properties and their applications in logic.
   - [`c2_spaces_kb.metta`](baseline_compat/hyperon-experimental_scripts/c2_spaces_kb.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/c2_spaces_kb.metta.html): Knowledge base management for spaces.
   - [`b1_equal_chain.metta`](baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html): Chain of equalities and logical implications.
   - [`e1_kb_write.metta`](baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta.html): Writing and managing knowledge bases.
   - [`d3_deptypes.metta`](baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html): Explorations of dependent types in logic.
   - [`c3_pln_stv.metta`](baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html): PLN short-term visit logic and reasoning.
   - [`d5_auto_types.metta`](baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html): Automatic type inference and checking.
   - [`b5_types_prelim.metta`](baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html): Preliminary studies on types in logic.
   - [`e3_match_states.metta`](baseline_compat/hyperon-experimental_scripts/e3_match_states.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html): State matching and logic testing.
   - [`d2_higherfunc.metta`](baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html): Higher-order functions and their applications.
   - [`b3_direct.metta`](baseline_compat/hyperon-experimental_scripts/b3_direct.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html): Direct methods in logical reasoning and computation.
   - [`e2_states.metta`](baseline_compat/hyperon-experimental_scripts/e2_states.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html): State management and logic in complex systems.
   - [`d1_gadt.metta`](baseline_compat/hyperon-experimental_scripts/d1_gadt.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html): Generalized Algebraic Data Types (GADT) exploration.
   - [`c1_grounded_basic.metta`](baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html): Grounded basics in logical computation.
   - [`f1_imports.metta`](baseline_compat/hyperon-experimental_scripts/f1_imports.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html): Importing external logic and data structures.
	   - [`f1_moduleA.metta`](baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta.html): Module A
	   - [`f1_moduleB.metta`](baseline_compat/hyperon-experimental_scripts/f1_moduleB.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/f1_moduleB.metta.html): Module B
	   - [`f1_moduleC.metta`](baseline_compat/hyperon-experimental_scripts/f1_moduleC.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/f1_moduleC.metta.html): Module C
   - [`a3_twoside.metta`](baseline_compat/hyperon-experimental_scripts/a3_twoside.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html): Two-sided logic and reasoning experiments.
   - [`b2_backchain.metta`](baseline_compat/hyperon-experimental_scripts/b2_backchain.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html): Backchaining techniques in logical reasoning.
   - [`a2_opencoggy.metta`](baseline_compat/hyperon-experimental_scripts/a2_opencoggy.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/a2_opencoggy.metta.html): Experiments with OpenCog-like structures.
   - [`b4_nondeterm.metta`](baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html): Non-deterministic approaches in logic.
   - [`c2_spaces.metta`](baseline_compat/hyperon-experimental_scripts/c2_spaces.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html): Space(s) handling and reasoning in logic.
   - [`b0_chaining_prelim.metta`](baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html): Preliminary chaining methods in logic.


### **Feature Demonstrations**

#### **Bidirectional Computation**
- **[`features/bidirectional_computation`](./features/bidirectional_computation)**: Demonstrates bidirectional computation, showcasing how operations can be reversed.
  - [`reverse-arithmetic.metta`](features/bidirectional_computation/reverse-arithmetic.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/bidirectional_computation/reverse-arithmetic.metta.html): Implements reverse arithmetic operations.
  - [`reverse-functions.metta`](features/bidirectional_computation/reverse-functions.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/bidirectional_computation/reverse-functions.metta.html): Demonstrates functions operating in reverse.
  - [`send-more.metta`](features/bidirectional_computation/send-more.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/bidirectional_computation/send-more.metta.html): Solves the SEND+MORE cryptarithmetic puzzle.
  - [`send-more-money.metta`](features/bidirectional_computation/send-more-money.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/bidirectional_computation/send-more-money.metta.html): Tackles the SEND+MORE=MONEY problem with bidirectional computation.

#### **Containers as Spaces**
- **[`features/containers_are_spaces`](./features/containers_are_spaces)**: Illustrates how containers can act as spatial structures in computation.
  - [`04_match_list_like_space.metta`](features/containers_are_spaces/04_match_list_like_space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/containers_are_spaces/04_match_list_like_space.metta.html): Demonstrates list-like space matching.
  - [`05_match_superpose_element_like_space.metta`](features/containers_are_spaces/05_match_superpose_element_like_space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/containers_are_spaces/05_match_superpose_element_like_space.metta.html): Shows superposition in element-like spaces.

#### **Host Language Features**
- **[`features/host_language`](./features/host_language)**: Features leveraging the host programming language(s) capabilities.
  - **[`compiler`](./features/host_language/compiler)**: Compiler-specific features and demonstrations.
    - [`00a_lang_compiled_case.metta`](features/host_language/compiler/00a_lang_compiled_case.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/host_language/compiler/00a_lang_compiled_case.metta.html): Explores compiled language case studies.
    - [`define_if_like.metta`](features/host_language/compiler/define_if_like.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/host_language/compiler/define_if_like.metta.html): Introduces compiler features for defining 'if'-like structures.
  - [`httpclient.metta`](features/host_language/httpclient.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/host_language/httpclient.metta.html): Implements a basic HTTP client.

#### **Loop Checks**
- **[`features/loop-checks`](./features/loop-checks)**: Experiments and tests to check for loops in computations.
  - [`06_loop_0.metta`](features/loop-checks/06_loop_0.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/loop-checks/06_loop_0.metta.html): Basic loop checking.
  - [`06_loop_1.metta`](features/loop-checks/06_loop_1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/loop-checks/06_loop_1.metta.html): Intermediate loop checking.
  - [`06_loop_2.metta`](features/loop-checks/06_loop_2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/loop-checks/06_loop_2.metta.html): Advanced loop checking.

#### **Parallelism**
- **[`features/parallelism`](./features/parallelism)**: Showcases parallel computing with various algorithms and examples.
  - [`builtins.metta`](features/parallelism/builtins.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/parallelism/builtins.metta.html): Built-in parallel computing functions.


#### **Performance Testing and Benchmarking**

- **[`performance`](./performance)**: Performance tests and benchmarks showcasing optimization and efficiency.
  - [`factorial.metta`](performance/basic/factorial.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/factorial.metta.html): Factorial function implementation and performance testing.
  - [`factorial.pl`](./performance/basic/factorial.pl)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/factorial.pl.html): Hand-coded optimized version of the factorial function for speed.
  - [`fibo-as-pred.metta`](performance/basic/fibo-as-pred.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fibo-as-pred.metta.html): Fibonacci sequence implementation as predicates.
  - [`fibo.metta`](performance/basic/fibo.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fibo.metta.html): Basic Fibonacci sequence implementation.
  - [`fibonacci.pl`](./performance/basic/fibonacci.pl)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fibonacci.pl.html): Hand-coded Fibonacci sequence for optimized performance.
  - [`fwgc1.metta`](performance/basic/fwgc1.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fwgc1.metta.html): First version of the Farmer-Wolf-Goat-Cabbage problem.
  - [`fwgc2.metta`](performance/basic/fwgc2.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fwgc2.metta.html): Second version of the problem with enhancements.
  - [`fwgc3.metta`](performance/basic/fwgc3.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fwgc3.metta.html): Third version, further optimized for performance.
  - [`fwgc.metta`](performance/basic/fwgc.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/fwgc.metta.html): General implementation of the Farmer-Wolf-Goat-Cabbage problem.
  - [`hanoi-one-space.metta`](performance/basic/hanoi-one-space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/hanoi-one-space.metta.html): Tower of Hanoi problem in a single space context.
  - [`hanoi-peg-space.metta`](performance/basic/hanoi-peg-space.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/hanoi-peg-space.metta.html): Tower of Hanoi with multiple pegs and spaces.
  - [`key-lookups-many.metta`](performance/basic/key-lookups-many.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/key-lookups-many.metta.html): Performance test for key lookups in large datasets.
  - [`pathfinding-easy-f.metta`](performance/basic/pathfinding-easy-f.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/pathfinding-easy-f.metta.html): Function-based solutions for easy-level pathfinding problems.
  - [`pathfinding-easy.metta`](performance/basic/pathfinding-easy.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/pathfinding-easy.metta.html): Easy-level pathfinding problems and solutions.
  - [`pathfinding-edge.metta`](performance/basic/pathfinding-edge.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/pathfinding-edge.metta.html): Edge-based pathfinding algorithms and tests.
  - [`pathfinding-hard-f.metta`](performance/basic/pathfinding-hard-f.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/pathfinding-hard-f.metta.html): Function-based solutions for hard-level pathfinding problems.
  - [`pathfinding-hard.metta`](performance/basic/pathfinding-hard.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/pathfinding-hard.metta.html): Hard-level pathfinding problems with complex algorithms.
  - [`pathfinding-med-f.metta`](performance/basic/pathfinding-med-f.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/pathfinding-med-f.metta.html): Medium difficulty pathfinding problems and function-based solutions.
  - [`state_types.metta`](performance/basic/state_types.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/state_types.metta.html): Demonstrations of various state types in logical problems.
  - [`talk80.metta`](performance/basic/talk80.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/talk80.metta.html): Implementation of the classic Talk-80 algorithm for NL parsing and querying.
  - [`test_infer_function_application_type.metta`](performance/basic/test_infer_function_application_type.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/test_infer_function_application_type.metta.html): Tests for inferring function application types.
  - [`test_list_concatenation.metta`](performance/basic/test_list_concatenation.metta)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/performance/basic/test_list_concatenation.metta.html): Tests for list concatenation performance.


#### ** MeTTaLog Higher Order Virtual Machine (HVM)**

      known for its pure functional runtime, lazy evaluation, non-garbage collection, and massive parallelism. HVM's beta-optimality allows it, in certain higher-order computations, to be exponentially faster than alternatives, including Haskell's GHC.

- **[`features/hvm`](./features/hvm)**: Demonstrates the capabilities of the Higher-order Virtual Machine (HVM),

  - **[`bugs`](./features/hvm/bugs)**: Bug demonstrations in HVM computations.
    - [`fib_dups.hvm`](features/hvm/bugs/fib_dups.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/bugs/fib_dups.hvm.html): Illustrates duplication issues in Fibonacci sequence calculation.
    - [`fib_loop.hvm`](features/hvm/bugs/fib_loop.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/bugs/fib_loop.hvm.html): Demonstrates a looping problem in Fibonacci computation.
    - [`fib_tups.hvm`](features/hvm/bugs/fib_tups.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/bugs/fib_tups.hvm.html): Showcases tuple-related problems in Fibonacci sequence.
    - [`lotto.hvm`](features/hvm/bugs/lotto.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/bugs/lotto.hvm.html): Presents a bug example in lottery number generation.

  - **[`callcc`](./features/hvm/callcc)**: Continuation-passing style (CPS) examples in HVM.
    - [`main.hvm`](features/hvm/callcc/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/callcc/main.hvm.html): Main script demonstrating CPS in HVM.

  - **[`hello`](./features/hvm/hello)**: Basic 'Hello World' example in HVM.
    - [`main.hvm`](features/hvm/hello/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/hello/main.hvm.html): Simple script to print 'Hello World' in HVM.

  - **[`IO`](./features/hvm/IO)**: Input/Output operations in HVM.
    - [`log.hvm`](features/hvm/IO/log.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/IO/log.hvm.html): Logging script in HVM.
    - [`query_and_print.hvm`](features/hvm/IO/query_and_print.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/IO/query_and_print.hvm.html): Script to query and print in HVM.
    - [`store_and_load.hvm`](features/hvm/IO/store_and_load.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/IO/store_and_load.hvm.html): Demonstrates storing and loading data.

  - **[`lambda`](./features/hvm/lambda)**: Lambda calculus examples in HVM.
    - **[`multiplication`](./features/hvm/lambda/multiplication)**: Multiplication using lambda calculus in HVM.
      - [`better.hvm`](features/hvm/lambda/multiplication/better.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/lambda/multiplication/better.hvm.html): Improved multiplication implementation.
      - [`main.hvm`](features/hvm/lambda/multiplication/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/lambda/multiplication/main.hvm.html): Basic multiplication script in lambda calculus.
      - [`main.hs`](features/hvm/lambda/multiplication/main.hs)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/lambda/multiplication/main.hs.html): Haskell version of the multiplication example.
    - **[`padic_clifford`](./features/hvm/lambda/padic_clifford)**: p-adic numbers and Clifford algebras in HVM.
      - [`main.hvm`](features/hvm/lambda/padic_clifford/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/lambda/padic_clifford/main.hvm.html): Demonstrates p-adic Clifford algebras.
    - **[`varbase`](./features/hvm/lambda/varbase)**: Variable-based calculations in HVM.
      - [`main.hvm`](features/hvm/lambda/varbase/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/lambda/varbase/main.hvm.html): Script for variable-based computation in lambda calculus.

  - **[`queue`](./features/hvm/queue)**: Queue implementation in HVM.
    - [`main.hvm`](features/hvm/queue/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/queue/main.hvm.html): Demonstrates a queue data structure in HVM.

  - **[`sort`](./features/hvm/sort)**: Sorting algorithms implemented in HVM.
    - **[`bitonic`](./features/hvm/sort/bitonic)**: Bitonic sort algorithm in HVM.
      - [`main.hvm`](features/hvm/sort/bitonic/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/bitonic/main.hvm.html): Main script for bitonic sort.
      - [`main.hs`](features/hvm/sort/bitonic/main.hs)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/bitonic/main.hs.html): Haskell version of bitonic sort.
    - **[`bubble`](./features/hvm/sort/bubble)**: Bubble sort algorithm in HVM.
      - [`main.hvm`](features/hvm/sort/bubble/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/bubble/main.hvm.html): Main script for bubble sort.
      - [`main.hs`](features/hvm/sort/bubble/main.hs)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/bubble/main.hs.html): Haskell version of bubble sort.
    - **[`quick`](./features/hvm/sort/quick)**: Quick sort algorithm in HVM.
      - [`main.hvm`](features/hvm/sort/quick/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/quick/main.hvm.html): Main script for quick sort.
      - [`main.hs`](features/hvm/sort/quick/main.hs)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/quick/main.hs.html): Haskell version of quick sort.
    - **[`radix`](./features/hvm/sort/radix)**: Radix sort algorithm in HVM.
      - [`main.hvm`](features/hvm/sort/radix/main.hvm)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/radix/main.hvm.html): Main script for radix sort.
      - [`main.hs`](features/hvm/sort/radix/main.hs)[[output]](https://htmlpreview.github.io/?https://raw.githubusercontent.com/logicmoo/hyperon-wam/main/reports/features/hvm/sort/radix/main.hs.html): Haskell version of radix sort.