README.md

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: Focused on the Flybase module, the examples here are designed to provide insights into how this specific component works and can be used.
  • extra: Additional Flybase examples and tests.
    • nodes_med.metta[output]: Medium-sized node examples.
    • nodes_sm.metta[output]: Small node examples.
    • pmquery.metta[output]: PM query examples.
    • proofexample.metta[output]: Proof examples.
  • from_das: Showcases the integration of Flybase with Distributed Atomspace (DAS).
    • flybase_rust_uses_python_das.metta[output]: Demonstrates how Flybase utilizes Python and Rust to interact with DAS.
    • mettalog_das_client.py: Python client for DAS integration.
    • mettalog_inserts_to_das.metta[output]: Inserts data into DAS.
    • mettalog_uses_das.metta[output]: Uses DAS for data processing.
    • script_example_BIO.py: Example script for biological data processing.
  • from_rust: Features Flybase loaded exclusively in Rust.
    • flybase_rust_only.metta[output]: Illustrates the pure Rust implementation of Flybase.
  • from_vspace: Using Rust to access Flybase with VSPACE.
    • flybase_rust_uses_python_vspace.metta[output]: Showcases Flybase leveraging Python VSPACE within a Rust environment.
  • flybase-deduced-connections.metta[output]: Mapping and connections deduced in Flybase.
  • flybase-deduced-queries.metta[output]: Contains queries deduced from Flybase data analysis.
  • flybase-deduced-types.metta[output]: Type definitions and structures deduced in Flybase.
  • flybase-loader-size-estimates.metta[output]: Size estimates and optimizations for the Flybase loader.
  • flybase-loader.metta[output]: Loader script for Flybase datasets.
  • flybase-vspace.metta[output]: Virtual space configuration for Flybase.
  • flybase-new-feature.metta[output]: New feature demonstration for Flybase.
  • output~: Output files and processed data from Flybase.
    • flybase-deduced.metta[output]: Deduced results and insights from Flybase data.
    • flybase-mined-flat.metta[output]: Flat structure representation of mined data in Flybase.
    • flybase-mined.metta[output]: Original mined data from Flybase.
  • sanity: Sanity checks and basic tests for Flybase module.
    • download_file.metta[output]: Tests downloading a remote version of Flybase.
    • load_all_of_flybase.metta[output]: Demonstrates loading all 54 million atoms in under 30 seconds.
    • simple_query1.metta[output]: Queries using the loaded atoms that complete in under a second.
    • simple_query2_llm.metta[output]: Combined queries with large language models.

More Anti-Regression

• more-anti-regression/chaining: Chaining examples and tests

  • backward_chain.metta[output]: Backward chaining logic.
  • bc-xp.metta[output]: Experimental backward chaining.
  • bc_comp_1.metta[output]: Backward chaining compilation example 1.
  • bc_comp_2.metta[output]: Backward chaining compilation example 2.
  • chaining_prelim.metta[output]: Preliminary chaining logic.
  • go_rel.metta[output]: Relation-based chaining logic.
  • parent_go.metta[output]: Parent-go chaining logic.
  • parent_go_1.metta[output]: Parent-go chaining logic example 1.
  • parent_go_1_comp.metta[output]: Compiled parent-go chaining logic example 1.
  • parent_go_comp.metta[output]: Compiled parent-go chaining logic.
  • pln-xp-local_v2.metta[output]: Local PLN chaining experiment version 2.
  • pln-xp.metta[output]: PLN chaining experiment.
  • pln_stv.metta[output]: PLN short-term visit chaining logic.
  • rules.metta[output]: Chaining rules.
  • rules_v2.metta[output]: Chaining rules version 2.
  • sample_kb.metta[output]: Sample knowledge base for chaining.
  • sample_kb_v2.metta[output]: Sample knowledge base version 2 for chaining.
  • sample_kb_v2_coexpressed_both.metta[output]: Coexpressed knowledge base version 2 for chaining.
  • sample_kb_v2_coexpressed_once.metta[output]: Coexpressed once knowledge base version 2 for chaining.
  • sample_kb_v2_tiny.metta[output]: Tiny knowledge base version 2 for chaining.
  • tadmap_edges.metta[output]: TAD map edges for chaining.
  • type_prop.metta[output]: Type properties for chaining.
  • types_prelim.metta[output]: Preliminary types for chaining.
  • util.py: Utility functions for chaining.
  • v2-pln-xp-easy-impl.metta[output]: Easy implementation of PLN chaining experiment version 2.
  • v2-pln-xp-sys-impl.metta[output]: System implementation of PLN chaining experiment version 2.
  • v2-pln-xp.metta[output]: PLN chaining experiment version 2.

• more-anti-regression/constraint: Constraint logic examples

  • types.metta[output]: Type constraints and logic.

• more-anti-regression/introspect: Introspection examples

  • exam-spaces.metta[output]: Examining spaces logic.
  • show-space-self.metta[output]: Self space display logic.
  • show-space.metta[output]: Space display logic.
  • show-type.metta[output]: Type display logic.

• more-anti-regression/minimal-metta: Minimal Metta examples

  • stdlib_minimal.metta[output]: Minimal standard library.
  • stdlib_minimal_test.metta[output]: Tests for minimal standard library.

• more-anti-regression/spaces: Space manipulation examples

  • add-remove-match-float.metta[output]: Float space manipulation.
  • add-remove-match-integer.metta[output]: Integer space manipulation.
  • add-remove-match-mix-float-integer.metta[output]: Mixed float and integer space manipulation.
  • add-remove-match-s-strings.metta[output]: Single string space manipulation.
  • add-remove-match-s-symbols.metta[output]: Single symbol space manipulation.
  • add-remove-match-ss-strings.metta[output]: Double string space manipulation.
  • add-remove-match-ss-symbols.metta[output]: Double symbol space manipulation.
  • add-remove-match-strings.metta[output]: String space manipulation.
  • add-remove-match-symbols.metta[output]: Symbol space manipulation.

• more-anti-regression/std: Standard examples

  • animals.metta[output]: Animal logic examples.
  • example_pm_queries.metta[output]: Example PM queries.
  • gadt.metta[output]: Generalized algebraic data types.
  • get-atoms-test.metta[output]: Atom retrieval test.
  • grounded_basic.metta[output]: Basic grounded logic.
  • higher_order_funcs.metta[output]: Higher-order functions.
  • kb_write.metta[output]: Knowledge base writing.
  • lte.metta[output]: Less than or equal logic.
  • nondeterm.metta[output]: Non-deterministic logic.
  • spaces_kb.metta[output]: Spaces knowledge base.
  • symbols.metta[output]: Symbol logic examples.

• more-anti-regression/stdlib-mettalog: MettaLog standard library

  • interpreter_minimal.rs.metta[output]: Minimal interpreter.
  • stdlib.rs.metta[output]: Standard library for MettaLog.
  • stdlib_mettalog_test.metta[output]: Tests for MettaLog standard library.
  • stdlib_mettalog_test_pt2.metta[output]: Part 2 of tests for MettaLog standard library.

More Anti-Regression

• more-anti-regression/chaining: Chaining examples and tests

  • backward_chain.metta[output]: Backward chaining logic.
  • bc-xp.metta[output]: Experimental backward chaining.
  • bc_comp_1.metta[output]: Backward chaining compilation example 1.
  • bc_comp_2.metta[output]: Backward chaining compilation example 2.

• more-anti-regression/constraint: Constraint logic examples

  • types.metta[output]: Type constraints and logic.

• more-anti-regression/introspect: Introspection examples

  • exam-spaces.metta[output]: Examining spaces logic.
  • show-space-self.metta[output]: Self space display logic.
  • show-space.metta[output]: Space display logic.
  • show-type.metta[output]: Type display logic.

• more-anti-regression/spaces: Space manipulation examples

  • add-remove-match-float.metta[output]: Float space manipulation.
  • add-remove-match-integer.metta[output]: Integer space manipulation.

• more-anti-regression/std: Standard examples

  • animals.metta[output]: Animal logic examples.
  • example_pm_queries.metta[output]: Example PM queries.

• more-anti-regression/stdlib-mettalog: MettaLog standard library

  • interpreter_minimal.rs.metta[output]: Minimal interpreter.
  • stdlib.rs.metta[output]: Standard library for MettaLog.

Flybase with Distributed Atomspace (DAS) Integration

• 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[output]: 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: Features Flybase loaded exclusively in Rust
  • flybase_rust_only.metta[output]: 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: Using Rust to access Flybase with VSPACE ( hosting 56 million atoms )
  • flybase_rust_uses_python_vspace.metta[output]: 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

• new_directory: New directory for additional examples

  • example1.metta[output]: Example 1 for new directory.
  • example2.metta[output]: Example 2 for new directory.

• extended_compat/hyperon-miner/: Hyperon miner directory

  • data/sample.metta[output]: Sample data for Hyperon miner testing.
  • utils/MinerUtils.metta[output]: Utility functions for Hyperon mining operations.
  • match/MinerMatchTest.metta[output]: Test cases for Hyperon miner matching algorithms.
  • match/MinerMatch.metta[output]: Implementation of matching algorithms for Hyperon miner.
  • dependent-types: Dependent types in Hyperon miner.
    • MinerCurriedDTL.metta[output]: Curried dependent type logic.
    • MinerCurriedDTLTest.metta[output]: Tests for curried dependent type logic.
    • MinerDTL.metta[output]: Dependent type logic.
    • MinerDTL1.metta[output]: First version of dependent type logic.
    • MinerDTL1Test.metta[output]: Tests for first version of dependent type logic.
    • MinerDTL2.metta[output]: Second version of dependent type logic.
    • MinerDTL2Test.metta[output]: Tests for second version of dependent type logic.
    • MinerDTL3.metta[output]: Third version of dependent type logic.
    • MinerDTL3Test.metta[output]: Tests for third version of dependent type logic.
    • MinerDTLTest.metta[output]: General tests for dependent type logic.
    • SupportRuleExp.metta[output]: Support rule expressions.
    • bchain.metta[output]: Backward chaining logic.
    • chainer.metta[output]: Chaining logic.
    • succAxiom.metta[output]: Successor axioms.

Extended Compatibility Examples

Combinator Logic Experiments

• extended_compat/metta-examples/combinator_logic_experiments/: Combinator Logic Experiments Directory
  • y_comb_examples.metta[output]: Examples and experiments with Y combinators.

Logic

• extended_compat/metta-examples/logic/: Metta Logic Directory
  • puzzle.metta[output]: Logic puzzles and solutions in Metta.
  • all_any.metta[output]: Implementations of universal and existential quantifiers.
  • memb.metta[output]: Member checking functions in logical expressions.

SICP Book Examples

• extended_compat/metta-examples/SICP_book/: SICP Book Examples in Metta
  • Chapter 1.1[output]
  • Chapter 1.2[output]
  • Chapter 1.3[output]

Recursion Schemes

• extended_compat/metta-examples/recursion-schemes/src/: Recursion Schemes in Metta
  • schemes.metta[output]: Various recursion schemes implemented in Metta.
  • base.metta[output]: Base functions and utilities for recursion schemes.
  • expression.metta[output]: Expression handling in recursion schemes.
  • benchmark.metta[output]: Benchmark tests for recursion scheme implementations.

Probabilistic Dependent Types

• extended_compat/metta-examples/prob-dep-types/: Probabilistic Dependent Types in Metta
  • prob_dep_types.metta[output]: Definitions and examples of probabilistic dependent types.
  • inf_order_probs.metta[output]: Infinite order probabilities and their applications.

NARS (Non-Axiomatic Reasoning System)

NARS - Current Version

• nars/current: The current iteration of the Non-Axiomatic Reasoning System (NARS) showcasing the latest features and tests.
  • NARS.metta[output]: Main script for the current version of NARS.
  • tests0.metta[output]: Basic tests for the current NARS version.
  • tests1.metta[output]: Comprehensive level tests for NARS functionalities.
  • tests2.metta[output]: Advanced testing scenarios for NARS.
  • tests3.metta[output]: Tests focusing on specific reasoning capabilities in NARS.
  • tests4.metta[output]: Specialized tests for complex reasoning in NARS.
  • tests5.metta[output]: Simple test for complex reasoning in NARS.

NARS - New Developments

• nars/new: Houses the latest developments and experimental features in NARS.
  • NARS.metta[output]tests0.metta[output]tests1.metta[output]tests2.metta[output]tests3.metta[output]tests4.metta[output]tests5.metta[output]: Reflects ongoing experiments and cutting-edge features in NARS development.

NARS Extras

• nars/nars_extras: Additional scripts and utilities for NARS.
  • NARS_BuildTupleCounts.metta[output]: Script for building tuple counts in NARS.
  • RUN_minnars.metta[output]: Execution script for MinNARS, a minimalistic version of NARS.
  • RUN_minnars_trimmed.metta[output]: Trimmed version of the MinNARS execution script.
  • TestNARS_listing.metta[output]: Comprehensive test listings and scripts for NARS.

NARS - Previous Versions

• nars/prev: Includes tests and scripts from previous versions of NARS, showcasing the evolution of the system.
  • NARS.metta[output]tests0.metta[output]tests1.metta[output]tests2.metta[output]tests3.metta[output]tests4.metta[output]tests5.metta[output]: Provides a historical perspective on the progression and updates in NARS.

NARS Version 0

• nars/nars_v0: The original version of NARS, preserving the initial features and tests.
  • NARS.metta[output]: Main script for the original NARS version.
  • NARS-old.metta[output]: Older version of the NARS main script.
  • tests0.metta[output]tests1.metta[output]tests2.metta[output]tests3.metta[output]tests4.metta[output]tests5.metta[output] 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/: Hyperon Experimental Python Sandbox

  • resolve/r.metta[output]: Resolution algorithms in Hyperon Python sandbox.
  • sql_space/sql_space_test.metta[output]: Test scripts for SQL space integration in Hyperon.
  • neurospace/test_assist.metta[output]: Assistant scripts for neurospace simulations.
  • neurospace/test_nspace.metta[output]: Neurospace testing and simulation scripts.
  • numpy/nm_test.metta[output]: Numpy integration tests in Hyperon Python environment.
  • das_gate/test_das.metta[output]: Test scripts for DAS gate functionality in Hyperon.

• python_compat/extend/: Metta-Morph Python Compatibility Layer for NARS - example6.metta[output]: Example script 6 for Python compatibility layer. - compileme.metta[output]: Compilation scripts for Python compatibility extensions. - example2.metta[output]: Example script 2 for extended functionalities. - example5.metta[output]: Example script 5 showcasing extended features. - example4.metta[output]: Example script 4 demonstrating extended capabilities. - example1.metta[output]: Example script 1 for Python compatibility tests. - example3.metta[output]: Example script 3 in Python compatibility layer. - timing.metta[output]: Timing and performance testing scripts. - mettamorph.metta[output]: 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/: Hyperon PLN Metta Base Compatibility

• entail: Here, rules are expressed with the symbol ?.

  • DeductionEntailTest.metta[output]: Tests for deduction entailment in MeTTa.
  • ImplicationDirectIntroductionEntail.metta[output]: Direct implication introduction entailment logic.
  • ImplicationDirectIntroductionEntailTest.metta[output]: Tests for direct implication introduction entailment.
  • DeductionEntail.metta[output]: Logic for deduction entailment in MeTTa.

• common: Contains common definitions for PLN in MeTTa.

  • Num.metta[output]: Numerical utilities and definitions.
  • Record.metta[output]: Record structures and related logic.
  • DeductionFormula.metta[output]: Formulae for logical deduction.
  • ImplicationDirectIntroductionFormula.metta[output]: Formulae for direct implication introduction.
  • ModusPonensFormula.metta[output]: Formulae for modus ponens logic.
  • DeductionFormulaTest.metta[output]: Test cases for logical deduction formulae.
  • OrderedSet.metta[output]: Implementation of ordered sets.
  • EqualityType.metta[output]: Equality types and related logic.
  • ListTest.metta[output]: Tests for list operations.
  • NumTest.metta[output]: Tests for numerical utilities.
  • OrderedSetTest.metta[output]: Tests for ordered set implementation.
  • Num8.metta[output]: Extended numerical operations.
  • Maybe.metta[output]: Implementation of 'Maybe' monad.
  • MaybeTest.metta[output]: Tests for 'Maybe' monad.
  • EqualityTypeTest.metta[output]: Tests for equality type logic.
  • In.metta[output]: Logic for element inclusion.
  • List.metta[output]: List operations and utilities.
  • TruthValue.metta[output]: Base structure for truth values.
  • EvidentialTruthValue.metta[output]: Evidential truth value implementation.
  • EvidentialTruthValueTest.metta[output]: Evidential truth value Tests.
  • TruthValueTest.metta[output]: General tests for truth values.
  • TemporalTruthValue.metta[output]: Temporal aspect of truth values.
  • MeasEq.metta[output]: Measurement equality logic.
  • InTest.metta[output]: Tests for element inclusion logic.
  • BelieveMe.metta[output]: Logic for belief representation.

• converters: Focuses on Conversion

  • converters/calculi-converter.metta[output]: Handles specific converters between logical systems or formal calculi in the Metta environment.
  • curry.metta[output]: Involves currying functions, transforming functions with multiple arguments into a sequence of single-argument functions.

• HOL: Showcases HOL (Higher-Order Logic) operations.

  • ListTest.metta[output]: Test cases for list operations in HOL.
  • lambda-flatten.metta[output]: Tests involving Higher Order Lambda Calculus
  • calculi-converter.metta[output]: Involves tests or utilities for converting between different logical calculi, focusing on higher-order logic (HOL).
  • NatTest.metta[output]: Test cases for natural number operations in HOL.
  • NatSimpleTest.metta[output]: Simplified tests for natural numbers in HOL.

• dependent-types: Concentrates on representing rules as type constructors.

  • ModusPonensDTLTest.metta[output]: Test cases for modus ponens in dependent type logic.
  • ImplicationDirectIntroductionDTL.metta[output]: Direct implication introduction in dependent type logic.
  • DeductionImplicationDirectIntroductionDTLTest.metta[output]: Tests for deduction and direct implication introduction.
  • ImplicationDirectIntroductionDTLTest.metta[output]: More tests for direct implication introduction.
  • DeductionDTL.metta[output]: Deduction logic in dependent type language.
  • DeductionDTLTest.metta[output]: Tests for deduction in dependent type language.
  • ModusPonensDTL.metta[output]: Modus ponens implementation in dependent type language.

• forward-chainer: Focuses on forward-chaining logic.

  • forward-chainer-test.metta[output]: Test cases for forward-chaining logic.
  • forward-chainer-xp.metta[output]: Experimental forward-chaining implementations.

• program-verification: Focuses on Program Verification

  • ListTest.metta[output]: Verifies properties related to list structures in a program verification context.
  • NatDTLTest.metta[output]: Tests properties of natural numbers within a decision table logic (DTL) context.
  • NatParityTest.metta[output]: Tests natural number parity (even/odd properties) within a program verification framework.
  • NatSimpleTest.metta[output]: Tests basic properties of natural numbers in program verification.
  • NatStandaloneTest.metta[output]: Tests natural numbers as standalone entities, without dependencies on other verification systems.
  • NatTest.metta[output]: Tests general properties of natural numbers in a program verification context.

• proof-trees: Focuses on Proof Trees

  • bug.metta[output]: Involves identifying or testing bugs in the proof tree system.
  • prg-assistant-example.metta[output]: Example for using the proof assistant feature with proof trees.
  • proof-tree.metta[output]: Core implementation or tests for proof trees in logic, supporting formal verification and reasoning processes.

• subtyping: Showcases subtyping operations.

  • rule-base.metta[output]: Base rules for subtyping operations.
  • subtyping-test.metta[output]: Test cases for subtyping.

• sumo: Houses SUMO (Suggested Upper Merged Ontology) examples.

  • load-suo-kif.metta[output]: Logic for loading SUMO KIF files.
  • rule-base.metta[output]: Base rules for SUMO logic.
  • sumo/john-carry-flower: Narrative logic examples.
    • john-carry-flower-test.metta[output]: Test cases for the John carrying a flower narrative.
    • john-carry-flower.kif.metta[output]: KIF narrative for John carrying a flower.
  • sumo/orientation: Related to spatial orientation.
    • orientation-test.metta[output]: Tests for orientation logic in SUMO.
    • orientation.kif.metta[output]: Knowledge Interchange Format files for orientation.
  • sumo/located: Pertains to location-based logic.
    • located-test.metta[output]: Tests for location-based logic in SUMO.
    • located.kif.metta[output]: KIF files for location-based logic.
  • sumo/route-between: Deals with routing logic.

Synthesis Experiments

• synthesis/experiments: Experiments in program synthesis.
  • synthesize-via-unify-test.metta[output]: Tests for synthesis through unification.
  • unify-via-case.metta[output]: Unification via case operator construct.
  • synthesize-via-case.metta[output]: Synthesis through case operator construct.
  • synthesize-via-let.metta[output]: Synthesis using the 'let' construct.
  • synthesize-via-unify.metta[output]: Synthesis through unification techniques.
  • synthesize-via-let-test.metta[output]: Tests for synthesis using the 'let' construct.
  • synthesize-via-case-test.metta[output]: Tests for synthesis through case operator construct.
  • unify-via-let.metta[output]: Unification using the 'let' construct.
  • non-determinism.metta[output]: Explorations of non-determinism in synthesis.
  • synthesize-via-superpose.metta[output]: Synthesis through superposition.
  • synthesize-via-type-checking.metta[output]: Synthesis with type checking.
  • self-contained-synthesize.metta[output]: Self-contained examples of synthesis.
  • synthesize-via-unify-test-longer.metta[output]: Extended tests for synthesis through unification.

Match and Unify Operations

• match: Logic for matching and unification.
  • DeductionImplicationDirectIntroductionMatchTest.metta[output]: Tests for matching in deduction and direct implication introduction.
  • DeductionMatch.metta[output]: Logic for deduction matching.
  • ImplicationDirectIntroductionMatchTest.metta[output]: Tests for direct implication introduction matching.
  • DeductionMatchTest.metta[output]: Test cases for deduction matching.
  • ImplicationDirectIntroductionMatch.metta[output]: Logic for direct implication introduction matching.

Metta-Morph Tests

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

MeTTaLog Sanity Tests

• hyperon-mettalog_sanity: Sanity checks and basic tests for Hyperon Mettalog.
  • 02-curried-plus.metta[output]: Implementations and tests for curried addition functions.
  • 00_lang_case.metta[output]: Case studies in language design and implementation.
  • 01_lang_inc.metta[output]: Increment functions and their usage in language testing.
  • 04_match_list_like_space.metta[output]: Matching lists in space-like structures.
  • structure-tests.metta[output]: Structural tests for sanity checking.
  • 05_match_superpose_element_like_space.metta[output]: Matching tests with superposition in element-like spaces.
  • 00_lang_ok_to_redefine.metta[output]: Tests for language redefinition capabilities.
  • 03-soring-via-insert.metta[output]: Sorting via insert method.
  • 06_match_in_space.metta[output]: Matching within space structures.
  • base_test_repr_parse_intersection.metta[output]: Base test for representation and parsing intersection.
  • fibo_hang.metta[output]: Fibonacci hang test.
  • first_answer.metta[output]: First answer test.
  • first_answer_long.metta[output]: Extended first answer test.
  • intersection_tests.metta[output]: Intersection tests.
  • is_space.metta[output]: Space identification test.
  • represent_and_parse_tests.metta[output]: Representation and parsing tests.
  • space_intersection_tests.metta[output]: Space intersection tests.
  • space_subtraction_tests.metta[output]: Space subtraction tests.
  • string-tests.metta[output]: String manipulation tests.
  • subtraction_test.metta[output]: Subtraction operation tests.
  • unique_test.metta[output]: Unique value tests.
  • xor_test.metta[output]: XOR operation tests.
  • synth_buffer: Synthesis buffer tests.
    • synthesize.metta[output]: Synthesis tests.
    • time_synthesize.metta[output]: Time synthesis tests.
    • time_synthesize_long.metta[output]: Long time synthesis tests.
    • time_synthesize_short.metta[output]: Short time synthesis tests.

Hyperon Mettalog Sanity Checks

• hyperon-mettalog_sanity: Sanity checks and basic tests for Hyperon Mettalog.
  • 02-curried-plus.metta[output]: Implementations and tests for curried addition functions.
  • 00_lang_case.metta[output]: Case studies in language design and implementation.
  • 01_lang_inc.metta[output]: Increment functions and their usage in language testing.
  • 04_match_list_like_space.metta[output]: Matching lists in space-like structures.

Hyperon/MeTTa base Unit Tests

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

Feature Demonstrations

Bidirectional Computation

• features/bidirectional_computation: Demonstrates bidirectional computation, showcasing how operations can be reversed.
  • reverse-arithmetic.metta[output]: Implements reverse arithmetic operations.
  • reverse-functions.metta[output]: Demonstrates functions operating in reverse.
  • send-more.metta[output]: Solves the SEND+MORE cryptarithmetic puzzle.
  • send-more-money.metta[output]: Tackles the SEND+MORE=MONEY problem with bidirectional computation.

Containers as Spaces

• features/containers_are_spaces: Illustrates how containers can act as spatial structures in computation.
  • 04_match_list_like_space.metta[output]: Demonstrates list-like space matching.
  • 05_match_superpose_element_like_space.metta[output]: Shows superposition in element-like spaces.

Host Language Features

• features/host_language: Features leveraging the host programming language(s) capabilities.
  • compiler: Compiler-specific features and demonstrations.
    • 00a_lang_compiled_case.metta[output]: Explores compiled language case studies.
    • define_if_like.metta[output]: Introduces compiler features for defining 'if'-like structures.
  • httpclient.metta[output]: Implements a basic HTTP client.

Loop Checks

• features/loop-checks: Experiments and tests to check for loops in computations.
  • 06_loop_0.metta[output]: Basic loop checking.
  • 06_loop_1.metta[output]: Intermediate loop checking.
  • 06_loop_2.metta[output]: Advanced loop checking.

Parallelism

• features/parallelism: Showcases parallel computing with various algorithms and examples.
  • builtins.metta[output]: Built-in parallel computing functions.

Performance Testing and Benchmarking

• performance: Performance tests and benchmarks showcasing optimization and efficiency.
  • factorial.metta[output]: Factorial function implementation and performance testing.
  • factorial.pl[output]: Hand-coded optimized version of the factorial function for speed.
  • fibo-as-pred.metta[output]: Fibonacci sequence implementation as predicates.
  • fibo.metta[output]: Basic Fibonacci sequence implementation.
  • fibonacci.pl[output]: Hand-coded Fibonacci sequence for optimized performance.
  • fwgc1.metta[output]: First version of the Farmer-Wolf-Goat-Cabbage problem.
  • fwgc2.metta[output]: Second version of the problem with enhancements.
  • fwgc3.metta[output]: Third version, further optimized for performance.
  • fwgc.metta[output]: General implementation of the Farmer-Wolf-Goat-Cabbage problem.
  • hanoi-one-space.metta[output]: Tower of Hanoi problem in a single space context.
  • hanoi-peg-space.metta[output]: Tower of Hanoi with multiple pegs and spaces.
  • key-lookups-many.metta[output]: Performance test for key lookups in large datasets.
  • pathfinding-easy-f.metta[output]: Function-based solutions for easy-level pathfinding problems.
  • pathfinding-easy.metta[output]: Easy-level pathfinding problems and solutions.
  • pathfinding-edge.metta[output]: Edge-based pathfinding algorithms and tests.
  • pathfinding-hard-f.metta[output]: Function-based solutions for hard-level pathfinding problems.
  • pathfinding-hard.metta[output]: Hard-level pathfinding problems with complex algorithms.
  • pathfinding-med-f.metta[output]: Medium difficulty pathfinding problems and function-based solutions.
  • state_types.metta[output]: Demonstrations of various state types in logical problems.
  • talk80.metta[output]: Implementation of the classic Talk-80 algorithm for NL parsing and querying.
  • test_infer_function_application_type.metta[output]: Tests for inferring function application types.
  • test_list_concatenation.metta[output]: 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: Demonstrates the capabilities of the Higher-order Virtual Machine (HVM),

  • bugs: Bug demonstrations in HVM computations.

    • fib_dups.hvm[output]: Illustrates duplication issues in Fibonacci sequence calculation.
    • fib_loop.hvm[output]: Demonstrates a looping problem in Fibonacci computation.
    • fib_tups.hvm[output]: Showcases tuple-related problems in Fibonacci sequence.
    • lotto.hvm[output]: Presents a bug example in lottery number generation.

  • callcc: Continuation-passing style (CPS) examples in HVM.

    • main.hvm[output]: Main script demonstrating CPS in HVM.

  • hello: Basic 'Hello World' example in HVM.

    • main.hvm[output]: Simple script to print 'Hello World' in HVM.

  • IO: Input/Output operations in HVM.

    • log.hvm[output]: Logging script in HVM.
    • query_and_print.hvm[output]: Script to query and print in HVM.
    • store_and_load.hvm[output]: Demonstrates storing and loading data.

  • lambda: Lambda calculus examples in HVM.

    • multiplication: Multiplication using lambda calculus in HVM.
      • better.hvm[output]: Improved multiplication implementation.
      • main.hvm[output]: Basic multiplication script in lambda calculus.
      • main.hs[output]: Haskell version of the multiplication example.
    • padic_clifford: p-adic numbers and Clifford algebras in HVM.
      • main.hvm[output]: Demonstrates p-adic Clifford algebras.
    • varbase: Variable-based calculations in HVM.
      • main.hvm[output]: Script for variable-based computation in lambda calculus.

  • queue: Queue implementation in HVM.

    • main.hvm[output]: Demonstrates a queue data structure in HVM.

  • sort: Sorting algorithms implemented in HVM.

    • bitonic: Bitonic sort algorithm in HVM.
      • main.hvm[output]: Main script for bitonic sort.
      • main.hs[output]: Haskell version of bitonic sort.
    • bubble: Bubble sort algorithm in HVM.
      • main.hvm[output]: Main script for bubble sort.
      • main.hs[output]: Haskell version of bubble sort.
    • quick: Quick sort algorithm in HVM.
      • main.hvm[output]: Main script for quick sort.
      • main.hs[output]: Haskell version of quick sort.
    • radix: Radix sort algorithm in HVM.
      • main.hvm[output]: Main script for radix sort.
      • main.hs[output]: Haskell version of radix sort.

USER: The above markdown should include also this file tree with generated descriptions

|-- autoexec.metta |-- baseline_compat | |-- anti-regression | | |-- bc_comp.metta | | |-- bchain.metta | | |-- bchain_comp.metta | | |-- comma_is_not_special.metta | | |-- debug_mettalogTestCurried.metta | | |-- mettalogTestCurried.metta | | |-- mettalogTestCurried2.metta | | |-- succAxiom.metta | | |-- system_proofTestCurried.metta | | |-- test_if_closed.metta | | |-- tmpMatch1.metta | | -- tmpMatch2.metta | |-- hyperon-experimental_scripts | | |-- _e2_states_dia.metta | | |-- a1_symbols.metta | | |-- a2_opencoggy.metta | | |-- a3_twoside.metta | | |-- b0_chaining_prelim.metta | | |-- b1_equal_chain.metta | | |-- b2_backchain.metta | | |-- b3_direct.metta | | |-- b4_nondeterm.metta | | |-- b5_types_prelim.metta | | |-- c1_grounded_basic.metta | | |-- c2_spaces.metta | | |-- c2_spaces_kb.metta | | |-- c3_pln_stv.metta | | |-- d1_gadt.metta | | |-- d2_higherfunc.metta | | |-- d3_deptypes.metta | | |-- d4_type_prop.metta | | |-- d5_auto_types.metta | | |-- e1_kb_write.metta | | |-- e2_states.metta | | |-- e3_match_states.metta | | |-- f1_imports.metta | | |-- f1_moduleA.metta | | |-- f1_moduleB.metta | | -- f1_moduleC.metta | |-- hyperon-mettalog_sanity | | |-- 00_lang_case.metta | | |-- 00_lang_ok_to_redefine.metta | | |-- 01_lang_inc.metta | | |-- 02-curried-plus.metta | | |-- 03-soring-via-insert.metta | | |-- 06_match_in_space.metta | | |-- base_test_repr_parse_intersection.metta | | |-- fibo_hang.metta | | |-- first_answer.metta | | |-- first_answer_long.metta | | |-- intersection_tests.metta | | |-- is_space.metta | | |-- represent_and_parse_tests.metta | | |-- space_intersection_tests.metta | | |-- space_subtraction_tests.metta | | |-- string-tests.metta | | |-- structure-tests.metta | | |-- subtraction_test.metta | | |-- synth_buffer | | | |-- synthesize.metta | | | |-- synthesize.py | | | |-- time_synthesize.metta | | | |-- time_synthesize_long.metta | | | -- time_synthesize_short.metta | | |-- unique_test.metta | | -- xor_test.metta | |-- metta-morph_tests | | |-- NARS.metta | | |-- add_atom_match.metta | | |-- and_or.metta | | |-- collapse.metta | | |-- factorial.metta | | |-- hyperpose.metta | | |-- identity.metta | | |-- if.metta | | |-- let_superpose_if_case.metta | | |-- let_superpose_list.metta | | |-- let_superpose_list2.metta | | |-- letlet.metta | | |-- match_feval.metta | | |-- match_superposed_spaces.metta | | |-- match_void.metta | | |-- minnars.metta | | |-- multifunction.metta | | |-- nalifier.metta | | |-- nested_parameters.metta | | |-- peano.metta | | |-- sequential_nested.metta | | |-- states_spaces.metta | | |-- supercollapse.metta | | |-- superpose_nested.metta | | |-- tests0.metta | | |-- types.metta | | |-- types2.metta | | |-- types3.metta | | -- zeroargs.metta | -- module-system | |-- c2_spaces.metta | |-- c2_spaces_kb.metta | |-- f1_imports.metta | |-- f1_moduleA.metta | |-- f1_moduleB.metta | `-- f1_moduleC.metta

USER: The above markdown should include also this file tree with generated descriptions:

|-- direct_comp | |-- 00a_lang_compiled_case.metta | |-- add_atom_match.metta | |-- compiler_walkthru.metta | |-- define_if_like.metta | |-- transpiler | | |-- identity.metta | | |-- let_superpose_if_case.metta | | |-- let_superpose_list.metta | | |-- let_superpose_list2.metta | | |-- letlet.metta | | |-- match_feval.metta | | -- peano.metta | -- walk_thru | |-- bc_comp.metta | |-- bc_impl.metta | |-- bchain.metta | |-- bchain_comp.metta | |-- comma_is_not_special.metta | |-- debug_mettalogTestCurried.metta | |-- impl_mettalogTestCurried.metta | |-- mettalogTestCurried.metta | |-- mettalogTestCurried2.metta | |-- succAxiom.metta | |-- system_proofTestCurried.metta | |-- test_if_closed.metta | |-- tmpMatch1.metta | -- tmpMatch2.metta |-- extended_compat | |-- ai-service | | |-- ai-service-composition-easy.metta | | |-- ai-service-composition-hard.metta | | -- ai-service-composition-sanity.metta | |-- bio-atomspace | | |-- cellxgene | | | -- edges.metta | | |-- gencode | | | -- edges.metta | | |-- gtex | | | -- eqtl | | | -- edges.metta | | |-- onotology | | | |-- edges.metta | | | -- nodes.metta | | |-- pln | | | |-- curried-chainer.metta | | | -- gene-pln-xp.metta | | |-- pln-xp-mettalog.metta | | |-- pln-xp.metta | | |-- query | | | -- gene-query.metta | | |-- reactome | | | -- nodes.metta | | |-- rules.metta | | |-- sample_kb_v2.metta | | |-- tadmap | | | -- edges.metta | | |-- type_defs.metta | | -- uniprot | | |-- edges.metta | | -- nodes.metta | |-- check_types | | |-- check_types-temp | | | |-- b5_types_prelim.metta | | | |-- c1_grounded_basic.metta | | | |-- soring-via-insert.metta | | | -- type_prop.metta | | |-- d1_gadt.metta | | |-- d2_higherfunc.metta | | |-- d3_deptypes.metta | | |-- d4_type_prop.metta | | |-- d5_auto_types.metta | | -- e2_states.metta | |-- hyperon-miner | | |-- data | | | -- sample.metta | | |-- dependent-types | | | |-- MinerCurriedDTL.metta | | | |-- MinerCurriedDTLTest.metta | | | |-- MinerDTL.metta | | | |-- MinerDTL1.metta | | | |-- MinerDTL1Test.metta | | | |-- MinerDTL2.metta | | | |-- MinerDTL2Test.metta | | | |-- MinerDTL3.metta | | | |-- MinerDTL3Test.metta | | | |-- MinerDTLTest.metta | | | |-- SupportRuleExp.metta | | | |-- bchain.metta | | | |-- chainer.metta | | | -- succAxiom.metta | | |-- match | | | |-- MinerMatch.metta | | | |-- MinerMatchTest.metta | | | |-- result.metta | | | -- tmpMatch.metta | | |-- result.metta | | -- utils | | |-- DeBruijnIndex.metta | | |-- MinerUtils.metta | | |-- MinerUtils~OLD.metta | | |-- helper.py | | -- utils-test.metta | |-- hyperon-pln | | -- metta | | |-- backward-chainer | | | -- backward-chainer-xp.metta | | |-- backward-chaining | | | -- bc-xp.metta | | |-- common | | | |-- BelieveMe.metta | | | |-- EqualityType.metta | | | |-- EqualityTypeTest.metta | | | |-- In.metta | | | |-- InTest.metta | | | |-- List.metta | | | |-- ListTest.metta | | | |-- Maybe.metta | | | |-- MaybeTest.metta | | | |-- Num.metta | | | |-- Num8.metta | | | |-- NumTest.metta | | | |-- OrderedSet.metta | | | |-- OrderedSetTest.metta | | | |-- Record.metta | | | |-- formula | | | | |-- DeductionFormula.metta | | | | |-- DeductionFormulaTest.metta | | | | |-- ImplicationDirectIntroductionFormula.metta | | | | -- ModusPonensFormula.metta | | | -- truthvalue | | | |-- EvidentialTruthValue.metta | | | |-- EvidentialTruthValueTest.metta | | | |-- MeasEq.metta | | | |-- TemporalTruthValue.metta | | | |-- TruthValue.metta | | | -- TruthValueTest.metta | | |-- curried-chaining | | | -- curried-chainer.metta | | |-- dependent-types | | | |-- DeductionDTL.metta | | | |-- DeductionDTLTest.metta | | | |-- DeductionImplicationDirectIntroductionDTLTest.metta | | | |-- ImplicationDirectIntroductionDTL.metta | | | |-- ImplicationDirectIntroductionDTLTest.metta | | | |-- ModusPonensDTL.metta | | | -- ModusPonensDTLTest.metta | | |-- entail | | | |-- DeductionEntail.metta | | | |-- DeductionEntailTest.metta | | | |-- ImplicationDirectIntroductionEntail.metta | | | -- ImplicationDirectIntroductionEntailTest.metta | | |-- equal | | | |-- DeductionEqual.metta | | | |-- DeductionEqualTest.metta | | | |-- ImplicationDirectIntroductionEqual.metta | | | -- ImplicationDirectIntroductionEqualTest.metta | | |-- forward-chainer | | | |-- forward-chainer-test.metta | | | -- forward-chainer-xp.metta | | |-- forward-chaining | | | -- fc-xp.metta | | |-- hol | | | |-- ListTest.metta | | | |-- NatDTLTest.metta | | | |-- NatParityTest.metta | | | |-- NatSimpleTest.metta | | | |-- NatSimpleTest~OLD.metta | | | |-- NatStandaloneTest.metta | | | |-- NatTest.metta | | | -- NatTest~OLD.metta | | |-- inference-control | | | |-- inf-ctl-month-bc-cont-xp.metta | | | |-- inf-ctl-month-bc-xp.metta | | | |-- inf-ctl-month-xp.metta | | | -- inf-ctl-xp.metta | | |-- iterative-chaining | | | |-- ibc-xp.metta | | | -- ifc-xp.metta | | |-- match | | | |-- DeductionImplicationDirectIntroductionMatchTest.metta | | | |-- DeductionMatch.metta | | | |-- DeductionMatchTest.metta | | | |-- ImplicationDirectIntroductionMatch.metta | | | -- ImplicationDirectIntroductionMatchTest.metta | | |-- pln | | | |-- dependent-types | | | | |-- DeductionDTL.metta | | | | |-- DeductionDTLTest.metta | | | | |-- DeductionImplicationDirectIntroductionDTLTest.metta | | | | |-- ImplicationDirectIntroductionDTL.metta | | | | |-- ImplicationDirectIntroductionDTLTest.metta | | | | |-- ModusPonensDTL.metta | | | | -- ModusPonensDTLTest.metta | | | |-- entail | | | | |-- DeductionEntail.metta | | | | |-- DeductionEntailTest.metta | | | | |-- ImplicationDirectIntroductionEntail.metta | | | | -- ImplicationDirectIntroductionEntailTest.metta | | | |-- equal | | | | |-- DeductionEqual.metta | | | | |-- DeductionEqualTest.metta | | | | |-- ImplicationDirectIntroductionEqual.metta | | | | -- ImplicationDirectIntroductionEqualTest.metta | | | -- match | | | |-- DeductionImplicationDirectIntroductionMatchTest.metta | | | |-- DeductionMatch.metta | | | |-- DeductionMatchTest.metta | | | |-- ImplicationDirectIntroductionMatch.metta | | | -- ImplicationDirectIntroductionMatchTest.metta | | |-- polyward-chaining | | | -- pc-xp.metta | | |-- subtyping | | | |-- rule-base.metta | | | -- subtyping-test.metta | | |-- sumo | | | |-- john-carry-flower | | | | |-- john-carry-flower-test.metta | | | | -- john-carry-flower.kif.metta | | | |-- load-suo-kif.metta | | | |-- located | | | | |-- located-test.metta | | | | -- located.kif.metta | | | |-- orientation | | | | |-- orientation-test.metta | | | | -- orientation.kif.metta | | | -- rule-base.metta | | -- synthesis | | |-- Synthesize.metta | | |-- SynthesizeTest.metta | | |-- Unify.metta | | |-- UnifyTest.metta | | -- experiments | | |-- non-determinism.metta | | |-- self-contained-synthesize.metta | | |-- synthesize-via-case-test.metta | | |-- synthesize-via-case.metta | | |-- synthesize-via-let-test.metta | | |-- synthesize-via-let.metta | | |-- synthesize-via-superpose.metta | | |-- synthesize-via-type-checking.metta | | |-- synthesize-via-unify-test-longer.metta | | |-- synthesize-via-unify-test.metta | | |-- synthesize-via-unify.metta | | |-- unify-via-case.metta | | -- unify-via-let.metta

As well as these:

| |-- metta-examples | | |-- SICP_book | | | |-- additional_funcs.py | | | |-- chapter_1_1.metta | | | |-- chapter_1_2.metta | | | |-- chapter_1_3.metta | | | |-- chapter_1_3_2.metta | | | |-- chapter_2_1.metta | | | |-- chapter_2_2.metta | | | |-- chapter_2_3.metta | | | |-- chapter_2_4.metta | | | -- draw_line.py | | |-- aunt-kg | | | |-- adameve.metta | | | |-- adameve_simple.metta | | | |-- baseline_formulation.metta | | | |-- introduction.metta | | | |-- json_to_metta.py | | | |-- lordOfTheRings.metta | | | |-- lordOfTheRings_simple.metta | | | |-- royal92.metta | | | |-- royal92_simple.metta | | | |-- sergey_rodionov_formulation.metta | | | |-- simple_conversion.metta | | | |-- simpsons.metta | | | |-- simpsons_simple.metta | | | -- toy.metta | | |-- child_ai | | | -- child_ai.py | | |-- collatz | | | |-- classical.metta | | | -- peano.metta | | |-- combinator-calculi | | | |-- tree.metta | | | -- y_comb_examples.metta | | |-- combinator_logic_experiments | | | -- y_comb_examples.metta | | |-- edges-to-edges | | | |-- InteractiveDisneyStrategy.metta | | | |-- json_to_metta.py | | | -- nte.metta | | |-- fizzbuzz | | | |-- classical.metta | | | |-- constructive.metta | | | -- simple.metta | | |-- game_of_clue | | | -- game_of_clue.metta | | |-- logic | | | |-- all_any.metta | | | |-- memb.metta | | | |-- puzzle.metta | | | -- puzzle.py | | |-- metta_amr | | | |-- amr_matching | | | | |-- init.py | | | | |-- amr_matcher.py | | | | -- amr_template_instance.py | | | |-- amr_processing | | | | |-- __init__.py | | | | |-- amr_processor.py | | | | |-- triple_processor.py | | | | -- type_detector.py | | | |-- experiments | | | | |-- amr_template_nlu.py | | | | |-- loader_test.py | | | | |-- matcher_tests.py | | | | |-- performance_tests.py | | | | |-- test_spec_amrmatcher.py | | | | -- unit_tests.py | | | |-- metta_space | | | | |-- __init__.py | | | | |-- metta_space.py | | | | -- pattern_parser.py | | | -- metta_to_amr | | | |-- amr-connect.metta | | | |-- dep-types.metta | | | |-- instances.metta | | | |-- user.metta | | | -- utterance.py | | |-- perfect-numbers | | | -- basic.metta | | |-- prob-dep-types | | | |-- inf_order_probs.metta | | | -- prob_dep_types.metta | | |-- python_from_metta | | | |-- default.metta | | | |-- fs.metta | | | -- requests.metta | | |-- recursion-schemes | | | |-- base.py | | | |-- run.py | | | -- src | | | |-- base.metta | | | |-- examples | | | | |-- benchmark.metta | | | | -- expression.metta | | | -- schemes.metta | | |-- red-black-lambda | | | |-- lambda-theory.metta | | | -- red-black.metta | | |-- stack-based | | | |-- interpreter.metta | | | -- rewrites.metta | | |-- strips | | | |-- strips-to-metta-flat | | | | |-- blocks-domain_flat.metta | | | | |-- logistics-i-1_flat.metta | | | | |-- queries_flat.metta | | | | -- strips_to_metta_flat.py | | | -- strips-to-metta-improved | | | |-- blocks-i-0.metta | | | |-- blocks-i-1.metta | | | |-- logistics-i-1.metta | | | |-- queries.metta | | | -- strips_to_metta.py | | -- traverser | | |-- basic.metta | | |-- creation.metta | | |-- json_to_metta.py | | `-- tinkerpop-modern.metta

As well as these:

|-- features | |-- bidirectional_computation | | |-- fish-riddle.metta | | |-- relative-arithmetic.metta | | |-- reverse-arithmetic.metta | | |-- reverse-functions.metta | | |-- send-more-money.metta | | -- send-more.metta | |-- containers_are_spaces | | |-- 04_match_list_like_space.metta | | -- 05_match_superpose_element_like_space.metta | |-- debugging | | |-- debug_none.metta | | |-- debug_some_more.metta | | |-- hyperon_experimental_issue_481.metta | | |-- hyperon_experimental_issue_492.metta | | |-- hyperon_experimental_issue_500.metta | | |-- hyperon_experimental_issue_514.metta | | |-- hyperon_experimental_issue_516.metta | | |-- hyperon_experimental_issue_516_redduced.metta | | -- hyperon_experimental_issue_530.metta | |-- distributed-processing | | |-- create-server.metta | | |-- server-with-memberchk.metta | | |-- server1-with-some-data.metta | | |-- server2-with-some-data.metta | | |-- use-one-server.metta | | -- use-two-servers.metta | |-- exception_handling | | |-- catch_throw_1.metta | | |-- catch_throw_2.metta | | -- catch_throw_3.metta | |-- host_language | | |-- fallback_functions.metta | | -- httpclient.metta | |-- intersection_tests.metta | |-- io | | -- file-output.metta | |-- iterators | | |-- combined.metta | | -- lazy_test.metta | |-- loop-checks | | |-- 06_loop_0.metta | | |-- 06_loop_1.metta | | -- 06_loop_2.metta | |-- multidirectional | | |-- append.metta | | |-- append_using_equality.metta | | |-- ioioioi.metta | | |-- ioioioi_using_equality.metta | | |-- mfm_ioio.metta | | |-- obif.metta | | |-- obif_clp.metta | | -- obif_easy.metta | |-- parallelism | | -- builtins.metta | |-- planner | | |-- monkey-banana-v1.metta | | |-- monkey-banana-v2.metta | | -- project-task-managment.metta | |-- polymorphic-types | | |-- examples-objects.metta | | -- examples-quants.metta | |-- possibly_wrong | | -- too_eager_math.metta | |-- represent_and_parse_tests.metta | |-- structures | | -- composing.metta | -- typed-variables | |-- enforced-types.metta | |-- even-number.metta | -- variable-pattern.metta |-- flybase | |-- extra | | |-- nodes_med.metta | | |-- nodes_sm.metta | | |-- pmquery.metta | | -- proofexample.metta | |-- flybase-deduced-connections.metta | |-- flybase-deduced-queries.metta | |-- flybase-deduced-types.metta | |-- flybase-loader-size-estimates.metta | |-- flybase-loader.metta | |-- flybase-vspace.metta | |-- from_das | | |-- flybase_rust_uses_python_das.metta | | |-- mettalog_das_client.py | | |-- mettalog_inserts_to_das.metta | | |-- mettalog_uses_das.metta | | -- script_example_BIO.py | |-- from_rust | | -- flybase_rust_only.metta | |-- from_vspace | | -- flybase_rust_uses_python_vspace.metta | |-- output~ | | |-- flybase-deduced.metta | | |-- flybase-mined-flat.metta | | -- flybase-mined.metta | -- sanity | |-- download_file.metta | |-- load_all_of_flybase.metta | |-- simple_query1.metta | -- simple_query2_llm.metta |-- more-anti-regression | |-- chaining | | |-- backward_chain.metta | | |-- bc-xp.metta | | |-- bc_comp_1.metta | | |-- bc_comp_2.metta | | |-- chaining_prelim.metta | | |-- go_rel.metta | | |-- parent_go.metta | | |-- parent_go_1.metta | | |-- parent_go_1_comp.metta | | |-- parent_go_comp.metta | | |-- pln-xp-local_v2.metta | | |-- pln-xp.metta | | |-- pln_stv.metta | | |-- rules.metta | | |-- rules_v2.metta | | |-- sample_kb.metta | | |-- sample_kb_v2.metta | | |-- sample_kb_v2_coexpressed_both.metta | | |-- sample_kb_v2_coexpressed_once.metta | | |-- sample_kb_v2_tiny.metta | | |-- tadmap_edges.metta | | |-- type_prop.metta | | |-- types_prelim.metta | | |-- util.py | | |-- v2-pln-xp-easy-impl.metta | | |-- v2-pln-xp-sys-impl.metta | | -- v2-pln-xp.metta | |-- constraint | | -- types.metta | |-- introspect | | |-- exam-spaces.metta | | |-- show-space-self.metta | | |-- show-space.metta | | -- show-type.metta | |-- minimal-metta | | |-- stdlib_minimal.metta | | -- stdlib_minimal_test.metta | |-- spaces | | |-- add-remove-match-float.metta | | |-- add-remove-match-integer.metta | | |-- add-remove-match-mix-float-integer.metta | | |-- add-remove-match-s-strings.metta | | |-- add-remove-match-s-symbols.metta | | |-- add-remove-match-ss-strings.metta | | |-- add-remove-match-ss-symbols.metta | | |-- add-remove-match-strings.metta | | -- add-remove-match-symbols.metta | |-- std | | |-- animals.metta | | |-- example_pm_queries.metta | | |-- gadt.metta | | |-- get-atoms-test.metta | | |-- grounded_basic.metta | | |-- higher_order_funcs.metta | | |-- kb_write.metta | | |-- lte.metta | | |-- nondeterm.metta | | |-- spaces_kb.metta | | -- symbols.metta | -- stdlib-mettalog | |-- interpreter_minimal.rs.metta | |-- stdlib.rs.metta | |-- stdlib_mettalog_test.metta | -- stdlib_mettalog_test_pt2.metta |-- nars_interp | -- nars | -- main-branch | |-- NARS.metta | |-- NARS_Prev.metta | |-- minnars_Prev.metta | |-- nalifier_Prev.metta | |-- prereqs.metta | |-- tests0.metta | |-- tests0_Prev.metta | |-- tests1.metta | |-- tests1_pre.metta | |-- tests2.metta | |-- tests3.metta | |-- tests4.metta | -- tests5.metta |-- nars_w_comp | -- nars | -- main-branch | |-- LIB_NARS.metta | |-- LIB_NARS_COMP_1.metta | |-- NARS.metta | |-- NARS_OPT.metta | |-- TEST_METTA_tests0.metta | |-- TEST_METTA_tests1.metta | |-- TEST_METTA_tests2.metta | |-- TEST_METTA_tests3.metta | |-- TEST_METTA_tests4.metta | |-- TEST_METTA_tests5.metta | |-- tests0.metta | |-- tests1.metta | |-- tests2.metta | |-- tests3.metta | |-- tests4.metta | -- tests5.metta |-- performance | |-- basic | | |-- cml-unshared.metta | | |-- coins.metta | | |-- factorial.metta | | |-- fibo-as-pred.metta | | |-- fibo.metta | | |-- fibonacci.metta | | |-- fwgc.metta | | |-- fwgc1.metta | | |-- fwgc2.metta | | |-- fwgc3.metta | | |-- hanoi-one-space.metta | | |-- hanoi-peg-space.metta | | |-- hyperposing-shared.metta | | |-- hyperposing-unshared.metta | | |-- hyperposing.metta | | |-- key-lookups-many.metta | | |-- pathfinding-easy-f.metta | | |-- pathfinding-easy.metta | | |-- pathfinding-edge.metta | | |-- pathfinding-hard-f.metta | | |-- pathfinding-hard.metta | | |-- pathfinding-med-f.metta | | |-- state_types.metta | | |-- talk80.metta | | |-- test_infer_function_application_type.metta | | -- test_list_concatenation.metta | |-- comparisons | | |-- add-atom-naive-fib.metta | | |-- fibo_10i.metta | | |-- fibo_20i.metta | | |-- fibo_444444c.metta | | |-- fibo_80c.metta | | |-- fibo_900c.metta | | |-- fibo_Arg1i.metta | | |-- fibo_arg1c.metta | | |-- fibo_hang_900.metta | | |-- inf-ctl-month-xp-long.metta | | |-- inf-ctl-month-xp-short.metta | | |-- inf-ctl-month-xp-short_1.metta | | |-- inf-ctl-month-xp-short_3.metta | | |-- inf-ctl-month-xp-short_5.metta | | |-- inf-ctl-month-xp-short_6.metta | | |-- naive-fib.metta | | |-- nils_if_control_test_10.metta | | |-- nils_if_control_test_2.metta | | |-- nils_if_control_test_3.metta | | |-- nils_if_control_test_4.metta | | |-- nils_if_control_test_5.metta | | -- nils_if_control_test_6.metta | |-- gpt2-like | | |-- corpus | | | |-- bigram-sentence-evaluator | | | | |-- bigram_model.metta | | | | |-- bigrams.metta | | | | |-- calc_similarity.metta | | | | |-- hmm_tagger.metta | | | | |-- sigmas.metta | | | | |-- tags_count.metta | | | | |-- taus.metta | | | | |-- trigramModel.metta | | | | |-- unigrams.metta | | | | -- wordVectors.metta | | | |-- self_dialogue_corpus | | | | |-- old | | | | | -- get_data.py | | | | -- train_from_topic_harry_potter.txt.metta | | | |-- soap_opera_corpus | | | | -- so_convert.metta | | | -- tmpdata | | | |-- checkpoint_is_word_1.metta | | | |-- checkpoint_is_word_2.metta | | | |-- checkpoint_ngram_5.metta | | | |-- checkpoint_ngram_6.metta | | | |-- checkpoint_tok_split_3.metta | | | |-- checkpoint_tok_split_4.metta | | | |-- checkpoint_training_3.metta | | | |-- checkpoint_trigram_3.metta | | | |-- checkpoint_trigram_4.metta | | | |-- done_$toplevel_converting_3.metta | | | |-- done_pllm_is_word_1.metta | | | |-- done_pllm_is_word_2.metta | | | |-- done_pllm_ngram_5.metta | | | |-- done_pllm_ngram_6.metta | | | |-- done_pllm_ngram_7.metta | | | |-- done_pllm_ngram_8.metta | | | |-- done_pllm_ngram_9.metta | | | |-- done_pllm_tok_split_3.metta | | | |-- done_pllm_tok_split_4.metta | | | |-- done_pllm_training_3.metta | | | |-- done_pllm_training_4.metta | | | |-- done_pllm_trigram_3.metta | | | |-- done_pllm_trigram_4.metta | | | |-- done_so_convert_converting_3.metta | | | |-- done_so_convert_is_word_1.metta | | | |-- done_so_convert_is_word_2.metta | | | |-- done_so_convert_ngram_5.metta | | | |-- done_so_convert_ngram_6.metta | | | |-- done_so_convert_tok_split_3.metta | | | |-- done_so_convert_tok_split_4.metta | | | |-- done_so_convert_trigram_3.metta | | | |-- done_so_convert_trigram_4.metta | | | |-- done_tmp_buffer_training_2.metta | | | |-- done_training_3.metta | | | |-- done_user_is_word_1.metta | | | |-- done_user_is_word_2.metta | | | |-- done_user_ngram_5.metta | | | |-- done_user_ngram_6.metta | | | |-- done_user_ngram_7.metta | | | |-- done_user_ngram_8.metta | | | |-- done_user_ngram_9.metta | | | |-- done_user_tok_split_4.metta | | | |-- done_user_training_3.metta | | | |-- done_user_training_4.metta | | | |-- done_user_trigram_4.metta | | | -- more_pllm_training_3.metta | | |-- language_models | | | |-- pllm_drs.metta | | | |-- pllm_lps.metta | | | |-- pllm_penntree.metta | | | |-- plm.metta | | | |-- training.metta | | | |-- training_bi.metta | | | |-- training_logicmoo.metta | | | |-- training_terms.metta | | | |-- trains_trigrams.metta | | | |-- unweighted_pllm.metta | | | |-- utils_pllm.metta | | | -- weighted_pllm.metta | | -- logicmoo_pllm.metta

As well as these:

| |-- knowledge_graphs | | -- graphml | | |-- graphml_csv_test.metta | | -- graphml_test.metta | -- nondet_unify | |-- boyer.metta | |-- browse.metta | |-- chat_parser.metta | |-- crypt.metta | |-- derive.metta | |-- divide10.metta | |-- fast_mu.metta | |-- flatten.metta | |-- log10.metta | |-- meta_qsort.metta | |-- mu.metta | |-- nand.metta | |-- nreverse.metta | |-- ops8.metta | |-- perfect.metta | |-- poly_10.metta | |-- prover.metta | |-- qsort.metta | |-- queens_8.metta | |-- query.metta | |-- reducer.metta | |-- run.metta | |-- sendmore.metta | |-- serialise.metta | |-- simple_analyzer.metta | |-- tak.metta | |-- times10.metta | |-- unify.metta | -- zebra.metta |-- python_compat | |-- extend | | |-- TEMP.metta | | |-- compileme.metta | | |-- example1.metta | | |-- example2.metta | | |-- example3.metta | | |-- example4.metta | | |-- example5.metta | | |-- example6.metta | | |-- mettamorph.py | | -- test.py | |-- hyperon-experimental_python | | |-- integration | | | |-- test_das.metta | | | -- test_torch.py | | |-- sandbox | | | |-- bhv_binding | | | | |-- 01_example_majority.metta | | | | |-- 02_example_perm.metta | | | | |-- 03_example_dict.metta | | | | |-- 04_example_dollar_of_mexico.metta | | | | -- bhv_binding.py | | | |-- das_gate | | | | |-- dasgate.py | | | | -- test_das.metta | | | |-- neurospace | | | | |-- llm_gate.py | | | | |-- neurospace.py | | | | |-- test_assist.metta | | | | -- test_nspace.metta | | | |-- numpy | | | | |-- nm_test.metta | | | | -- numme.py | | | |-- pytorch | | | | |-- kwargsme.py | | | | |-- parse_torch_func_signatures.py | | | | |-- parsing_exceptions.py | | | | |-- tm_test.metta | | | | |-- tm_test.py | | | | -- torchme.py | | | |-- repl | | | | -- metta_repl.py | | | |-- resolve | | | | |-- r.metta | | | | |-- r.py | | | | -- resolve.py | | | -- sql_space | | | |-- sql_space.py | | | -- sql_space_test.metta | | -- tests | | |-- error_pyext.py | | |-- ext_dir | | | |-- init.py | | | -- ext.py | | |-- extension.py | | |-- pyfile_test_mod.py | | |-- test_atom.py | | |-- test_atom_type.py | | |-- test_bindings.py | | |-- test_common.py | | |-- test_custom_space.py | | |-- test_environment.py | | |-- test_examples.py | | |-- test_extend.py | | |-- test_grounded_type.py | | |-- test_grounding_space.py | | |-- test_load.metta | | |-- test_load.py | | |-- test_metta.py | | |-- test_minecraft.py | | |-- test_minelogy.py | | |-- test_modules.py | | |-- test_pln_tv.py | | |-- test_run_metta.py | | |-- test_sexparser.py | | -- test_stdlib.py | |-- janus | | |-- janus_api.metta | | |-- metta_calls_python_in_janus.metta | | |-- mymodule.py | | -- python_calls_metta_in_janus.metta | |-- metta-motto | | |-- examples | | | |-- __init__.py | | | |-- answer_cache | | | | -- example1.py | | | |-- bio_ai | | | | |-- bio-ai.metta | | | | |-- data_subset | | | | | |-- gaf | | | | | | -- edges.metta | | | | | |-- gencode | | | | | | |-- edges.metta | | | | | | -- nodes.metta | | | | | |-- gtex | | | | | | -- eqtl | | | | | | -- edges.metta | | | | | |-- ontology | | | | | | |-- edges.metta | | | | | | -- nodes.metta | | | | | |-- reactome | | | | | | |-- edges.metta | | | | | | -- nodes.metta | | | | | -- uniprot | | | | | |-- edges.metta | | | | | -- nodes.metta | | | | |-- lobo_test_bio_agent.py | | | | |-- mettalog-bio-ai.metta | | | | |-- mlog_test_bio_agent.py | | | | |-- override-bio-ai.metta | | | | -- test_bio_agent.py | | | |-- langchain_examples | | | | |-- test_langchain_agent.metta | | | | -- test_langchain_tools_agent.metta | | | |-- test_anthropic.metta | | | |-- test_assist.metta | | | |-- test_guide.metta | | | |-- test_guide_func.metta | | | |-- test_guide_with_history.metta | | | |-- test_llms.py | | | |-- test_open_router_agent.metta | | | |-- test_retrieval.metta | | | |-- test_sparql.metta | | | -- test_sparql_wikidata.metta | | |-- motto | | | |-- __init__.py | | | |-- agents | | | | |-- __init__.py | | | | |-- agent.py | | | | |-- anthropic_agent.py | | | | |-- data_processors | | | | | |-- __init__.py | | | | | |-- doc_processor.py | | | | | -- embedings_getters.py | | | | |-- gpt_agent.py | | | | |-- messages_processor.py | | | | |-- metta_agent.py | | | | |-- openrouter_agent.py | | | | -- retrieval_agent.py | | | |-- langchain_agents | | | | |-- __init__.py | | | | |-- langchain_agent.py | | | | -- langchain_states.metta | | | |-- llm_gate.py | | | |-- sparql_gate | | | | |-- init.py | | | | -- sparql_gate.py | | | -- utils.py | | |-- setup.py | | |-- tests | | | |-- basic_agent_call.metta | | | |-- basic_agent_script.metta | | | |-- basic_agent_stateful.metta | | | |-- basic_direct_call.metta | | | |-- basic_function_call.metta | | | |-- basic_script_call.metta | | | |-- metta_chat.metta | | | |-- nested_dialog_call.metta | | | |-- nested_script_direct.metta | | | |-- sparql_functions_test.metta | | | |-- test_custom_agent.py | | | |-- test_python_direct.py | | | |-- test_scripts.py | | | -- test_sparql_select.py | | -- tutorial | | |-- 00_basic_chatpgt.py | | |-- 01_basic_chatgpt.metta | | |-- 02_metta_agent.py | | |-- 03_agent_call.metta | | |-- 04_prompt_call.metta | | |-- 05_call_prompt.py | | |-- 06_logic.py | | |-- 06b_reason.metta | | |-- 07_dialog.metta | | |-- 07_dialog.py | | |-- 08_nested_dialog.py | | |-- 09_agent_stateful.py | | |-- 09_generate_query_dbpedia.metta | | |-- 10_generate_query_wikidata.metta | | |-- app1_generate_query_dbpedia.metta | | -- app2_generate_query_wikidata.metta | |-- mettamorph.metta | -- timing | |-- timing.metta | -- timing.py -- settings.metta