Skip to content

Commit 6029a72

Browse files
TeamSPoonTeamSPoon
committed
regression test versions
1 parent e986abf commit 6029a72

File tree

272 files changed

+429670
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

272 files changed

+429670
-0
lines changed

‎.Attic/master-0.6.1/README.md‎

Lines changed: 115 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,115 @@
1+
# MeTTa Language — Prolog Implementation Files
2+
3+
This directory contains the main Prolog and Python components of the MeTTa-WAM system — an implementation of the MeTTa language using Prolog.
4+
5+
## 📂 Directory Structure
6+
7+
| File / Module | Description |
8+
|---------------|-------------|
9+
| [`corelib.metta`](corelib.metta) | Core standard library definitions in MeTTa syntax. |
10+
| [`init.default.metta`](init.default.metta) | Default initial MeTTa context; loaded at REPL or runtime. |
11+
| [`repl.default.metta`](repl.default.metta) | REPL-specific startup MeTTa code. |
12+
| [`stdlib_mettalog.metta`](stdlib_mettalog.metta) | Standard library atoms and logic for MeTTaLog. |
13+
14+
---
15+
16+
## 🧠 Compiler Files
17+
18+
| File | Description |
19+
|------|-------------|
20+
| [`metta_compiler.pl`](metta_compiler.pl) | Main compiler frontend. Coordinates parsing, conversion, and code gen. |
21+
[`metta_compiler_lib.pl`](metta_compiler_lib.pl) | Shared predicates and helpers used by the main compiler. |
22+
|
23+
[`metta_compiler_douglas.pl`](metta_compiler_douglas.pl) | Experimental or customized compiler logic by Douglas. |
24+
| [`metta_compiler_lib_douglas.pl`](metta_compiler_lib_douglas.pl) | Douglas’s library extensions for the compiler. |
25+
26+
[`metta_compiler_roy.pl`](metta_compiler_roy.pl) | Alternative or experimental compiler by Roy. |
27+
| [`metta_compiler_lib_roy.pl`](metta_compiler_lib_roy.pl) | Roy’s library extensions for the compiler. |
28+
29+
---
30+
31+
### 🧩 Core System Logic
32+
33+
| File | Description |
34+
|------|-------------|
35+
| [`metta_corelib.pl`](metta_corelib.pl) | Core predicates and behaviors of the MeTTa language. |
36+
| [`metta_eval.pl`](metta_eval.pl) | Interpreter and evaluation rules. |
37+
| [`metta_interp.pl`](metta_interp.pl) | Intermediate interpreter logic. |
38+
| [`metta_runtime.pl`](metta_runtime.pl) | Execution environment and runtime services. |
39+
| [`metta_loader.pl`](metta_loader.pl) | Loads `.metta` files and prepares them for execution. |
40+
| [`metta_space.pl`](metta_space.pl) | Logical space and storage for atoms. |
41+
| [`metta_subst.pl`](metta_subst.pl) | Substitution logic used during evaluation. |
42+
| [`metta_types.pl`](metta_types.pl) | Type system and inference logic. |
43+
| [`metta_typed_functions.pl`](metta_typed_functions.pl) | Typed function support and registration. |
44+
45+
---
46+
47+
### 🧪 Debugging & Testing
48+
49+
| File | Description |
50+
|------|-------------|
51+
| [`metta_debug.pl`](metta_debug.pl) | Debugging utilities and trace helpers. |
52+
| [`metta_testing.pl`](metta_testing.pl) | Unit and integration tests for the MeTTa system. |
53+
| [`metta_utils.pl`](metta_utils.pl) | Miscellaneous utilities (term manipulation, helpers, etc). |
54+
55+
---
56+
57+
### 🧬 PFC (Interpreter Agent Chaining)
58+
59+
| File | Description |
60+
|------|-------------|
61+
| [`metta_pfc_base.pl`](metta_pfc_base.pl) | Base rules for forward chaining for Agent. |
62+
| [`metta_pfc_support.pl`](metta_pfc_support.pl) | Agent integration and helpers. |
63+
| [`metta_pfc_debug.pl`](metta_pfc_debug.pl) | Debugging tools for Agent reasoning. |
64+
65+
---
66+
67+
### 🧾 REPL and Server
68+
69+
| File | Description |
70+
|------|-------------|
71+
| [`metta_repl.pl`](metta_repl.pl) | Interactive REPL interface. |
72+
| [`metta_server.pl`](metta_server.pl) | HTTP/IPC server endpoint for remote execution. |
73+
| [`metta_threads.pl`](metta_threads.pl) | Thread handling for concurrent evaluation. |
74+
75+
---
76+
77+
### 🧠 Proofs and Reasoning
78+
79+
| File | Description |
80+
|------|-------------|
81+
| [`metta_proof.pl`](metta_proof.pl) | Proof tracking and explanation system. |
82+
| [`metta_ontology.pfc.pl`](metta_ontology.pfc.pl) | Ontology-related facts/rules for reasoning. |
83+
| [`metta_mizer.pl`](metta_mizer.pl) | Optimization and minimization logic. |
84+
| [`metta_improve.pl`](metta_improve.pl) | Proof refinement or simplification routines. |
85+
86+
---
87+
88+
### 🔗 Python Interop
89+
90+
| File | Description |
91+
|------|-------------|
92+
| [`metta_python.pl`](metta_python.pl) | Glue layer to interface with embedded Python. |
93+
| [`metta_python_builtin.py`](metta_python_builtin.py) | Custom Python functions exposed to MeTTa. |
94+
| [`metta_python_override.py`](metta_python_override.py) | Overrides or intercepts for MeTTa/Python behavior. |
95+
| [`metta_python_proxy.py`](metta_python_proxy.py) | Proxy system between Prolog and Python values. |
96+
| [`metta_python_patcher.py`](metta_python_patcher.py) | Patch system for Python side of MeTTa runtime. |
97+
| [`metta_python_hyperon.py`](metta_python_hyperon.py) | Integration with Hyperon-specific Python logic. |
98+
99+
---
100+
101+
## 🧪 Dev Host File
102+
103+
| File | Description |
104+
|------|-------------|
105+
| `Sav.*.MeTTaLog` | Device Specific Executable for Windows, MacOSX or Linux. |
106+
107+
---
108+
109+
## 🔗 Documentation
110+
111+
If available, documentation and contribution guidelines can be found at:
112+
113+
- [MeTTa-WAM GitHub Repository](https://github.com/trueagi-io/metta-wam)
114+
115+

‎.Attic/master-0.6.1/corelib.metta‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
!(import! stdlib_mettalog.metta)

‎.Attic/master-0.6.1/corelib.metta.pl‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
%% Generated from /home/deb12user/metta-wam/prolog/metta_lang/corelib.metta at 2025-05-30T23:04:41-07:00
2+
:- set_prolog_flag(mettalog_rt,true).
3+
%:- set_prolog_flag(mettalog_rt_args, ['--repl=false']).
4+
%:- set_prolog_flag(mettalog_rt_args, ['--repl']).
5+
:- include(library(metta_lang/metta_transpiled_header)).
6+
%:- ensure_loaded(library(metta_lang/metta_interp)).
7+
:- ensure_loaded(library(metta_rt)). % avoids starting the REPL
8+
:- setup_library_calls.
9+
:- style_check(-discontiguous).
10+
:- style_check(-singleton).
11+
12+
13+
14+
top_call_1:- eval_H(['import!','stdlib_mettalog.metta'],ExecRes).
15+
16+
17+
18+
19+
:- time(top_call_1).
20+
21+

‎.Attic/master-0.6.1/environment.default.metta‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
2+
; Use this file to configure the environment. Settings from this file will be used in
3+
; addition to settings configured programmatically through the EnvironmentBuilder API.
4+
; The API will always take precedence over settings from this file if there is a conflict.
5+
6+
; NOTE: stdlib operations such as string manipulation and arithmetic are not available when
7+
; running this file
8+
9+
(#includePath
10+
"{$cfgdir}/modules/"
11+
)
12+
13+
(#gitCatalog
14+
(#name "trueagi-catalog")
15+
(#url "https://github.com/trueagi-io/metta-catalog.git")
16+
(#refreshTime 259200) ; 3 days = 3 days * 24 hrs * 60 minutes * 60 seconds
17+
)

‎.Attic/master-0.6.1/init.default.metta‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
2+
; The contents of this file are evaluated for each new runner in the runner's top context

0 commit comments

Comments
 (0)