🚀 An Implementation of MeTTa designed to run on the Warren Abstract Machine (WAM)

Quick Links

• https://github.com/trueagi-io/metta-wam/ Install MeTTaLog
• https://github.com/logicmoo/metta-wam/ Interpeter/Compiler Devel
• https://github.com/logicmoo/metta-testsuite/ Testing Suite
• Getting Started
  • Installation
• Running MeTTaLog
  • With Docker
• Continuous Reports https://logicmoo.github.io/metta-testsuite/ci/
• Nightly Reports https://logicmoo.github.io/metta-wam/nightly/
• More Reports https://logicmoo.github.io/metta-wam
• Testing Readme and Result Links
• Overview Documentation.

Getting Started

⚙️ Installation

Before you get started make sure pip and venv are working good.

Linux/WSL/OS X Clone and set up MeTTaLog with the following commands:

git clone https://github.com/trueagi-io/metta-wam
cd metta-wam
source ./INSTALL.sh --allow-system-modifications # Follow the default prompts 

The INSTALL.sh script handles the installation of essential components and updates:

• Ensures Python's pip is installed or installs it.
• Installs or Updates SWI-Prolog to ensure version 9.3.9 or higher is present.
• Installs janus: A Python package that interfaces with SWI-Prolog.
• Installs pyswip: Another Python package that provides further integration.
• Installs hyperon: Hyperon pip package needed for running compatibility tests.
• Installs ansi2html: Unit Test Visibility.
• Installs junit2html: Unit Test Reporting.
• Installs mettalog-vspace: Allows Rust MeTTa use extra functionality found in mettalog.
• Installs mettalog-jupyter-kernel: Work with metta files in Jupyter Notebooks.
• Installs metakernel: (No relation!) but allows our Jupyter Kernel to work.

Note: Running this script modifies software configurations and installs packages. Ensure you're prepared for these changes.

Windows Install - Comming Soon

🐳 Running MeTTaLog with Docker

This section guides you through using Docker to set up

Ensures that MeTTaLog is isolated from your local filesystem and operates in a controlled environment.

Building the Docker Image

To create a Docker image with MeTTaLog installed, use the following command:

docker build -t mettalog .

This command constructs a Docker image named mettalog based on the Dockerfile in the current directory.

Interacting with MeTTaLog in Docker

After building the image, you can run MeTTaLog inside a Docker container. This isolates it from your local filesystem, which means it won't have direct access to your local files unless explicitly configured to do so.

To start an interactive container with a bash shell, use:

docker run -it mettalog bash -l

Once inside the container, you have several options to interact with MeTTaLog. See Running MeTTaLog.

Transferring Files to and from the Container

Docker allows you to copy files between the host and the container, which can be useful for moving scripts or data into the container before running them, or extracting results afterward. Refer to the Docker documentation on copying files for more details.

For comprehensive information about Docker's capabilities, consult the Docker manuals and reference documentation.

Running MeTTaLog

Interact directly with MeTTaLog through the REPL:

mettalog --repl

metta+> !(+ 1 1)
Deterministic: 2

; Execution took 0.000105 secs. (105.29 microseconds)
metta+>^D   # Exit the REPL with `ctrl-D`.

To run a script:

mettalog examples/puzzles/nalifier.metta

To run a script and then enter the repl:

mettalog examples/puzzles/fish_riddle_1_no_states.metta --repl
metta+>!(query &self (because blue house keeps parrots the $who is the fish owner))
[(Succeed ((quote (because blue house keeps parrots the brit is the fish owner))))]
metta+>!(halt! 7)

Unit tests

One examples is provided in this repository

mettalog --test examples/tests/unit_test_example.metta
# The output is saved as an HTML file in the same directory.

The rest of the tests are in a large REPO @

git clone https://github.com/logicmoo/metta-testsuite/
ls ./tests/  # this is a symlink that was already made with # ln -s metta-testsuite/tests/ ./tests  

Run a single test

mettalog --test tests/baseline_compat/metta-morph_tests/tests0.metta 

Execute baseline sanity tests:

mettalog --test --clean ./tests/baseline_compat/

🧰 Troubleshooting

Some prolog commands not found

If you already have a recent enough version of SWI-Prolog installed, that will be used instead of mettalog installing its own. Some of the packages might not be installed, and mettalog might give an error such as:

ERROR: save_history/0: Unknown procedure el_write_history/2

In that case, you need to rebuild your SWI-Prolog installation to include the missing packages. The most reliable way to do this is to make sure the following Debian/Ubuntu packages are installed using:

sudo apt install build-essential autoconf git cmake libpython3-dev libgmp-dev libssl-dev unixodbc-dev \
        libreadline-dev zlib1g-dev libarchive-dev libossp-uuid-dev libxext-dev \
        libice-dev libjpeg-dev libxinerama-dev libxft-dev libxpm-dev libxt-dev \
        pkg-config libdb-dev libpcre3-dev libyaml-dev libedit-dev

then rebuild SWI-Prolog using the instructions from the SWI-Prolog -- Installation on Linux, *BSD (Unix). The main part of this (assuming that you are in the swipl or swipl-devel directory) is:

cd build
cmake -DCMAKE_INSTALL_PREFIX=$HOME -DCMAKE_BUILD_TYPE=PGO -G Ninja ..
ninja
ctest -j $(nproc) --output-on-failure
ninja install

If you installed SWI-Prolog as a package from your Linux distribution and run into issues, it is likely that you will need to apt remove it and then either

• build SWI-Prolog from source making sure that all the operating system packages are installed first, or
• rerun the metta-wam INSTALL.sh script.

🙌 Acknowledgments

Thanks to the Hyperon Experimental MeTTa, PySWIP teams, and Flybase for their contributions to this project.

☎️ Support

For queries or suggestions, please open an issue on our GitHub Issues Page.

📜 License

MeTTaLog is distributed under the LGPL License, facilitating open collaboration and use.

Prerequisites for using MeTTaLog in Rust

• A build of Hyperon Experimental is required.

  /home/user$ metta
  metta> !(import-py! mettalog)
  metta> !(mettalog:repl)
  metta@&self +> !(ensure-loaded! whole_flybase)

  metta@&self +> !(let $query 
                     (, (fbgn_fbtr_fbpp_expanded $GeneID $TranscriptType $TranscriptID $GeneSymbol $GeneFullName $AnnotationID $_ $_ $_ $_ $_) 
					    (dmel_unique_protein_isoforms $ProteinID $ProteinSymbol $TranscriptSymbol $_) 
						(dmel_paralogs $ParalogGeneID $ProteinSymbol $_ $_ $_ $_ $_ $_ $_ $_ $_) 
						(gene_map_table $MapTableID $OrganismAbbreviation $ParalogGeneID $RecombinationLoc $CytogeneticLoc $SequenceLoc) 
						(synonym $SynonymID $MapTableID $CurrentSymbol $CurrentFullName $_ $_))
					(match &self $query $query))
                    

metta> !(test_custom_v_space)

; (add-atom &vspace_8 a)
; (add-atom &vspace_8 b)
; (atom-count &vspace_8)
Pass Test:(Values same: 2 == 2)
Pass Test:(Values same: Test Space Payload Attrib == Test Space Payload Attrib)
; (get-atoms &vspace_8)
Pass Test:( [a, b] == [a, b] )
; (add-atom &vspace_9 a)
; (add-atom &vspace_9 b)
; (add-atom &vspace_9 c)
; (remove-atom &vspace_9 b)
Pass Test:(remove_atom on a present atom should return true)
; (remove-atom &vspace_9 bogus)
Pass Test:(remove_atom on a missing atom should return false)
; (get-atoms &vspace_9)
Pass Test:( [a, c] == [a, c] )
; (add-atom &vspace_10 a)
; (add-atom &v

space_10 b)
; (add-atom &vspace_10 c)
; (atom-replace &vspace_10 b d)
; (add-atom &vspace_10 d)
Pass Test:(Expression is true: True)
; (get-atoms &vspace_10)
Pass Test:( [a, c, d] == [a, d, c] )
; (add-atom &vspace_11 (A B))
; (add-atom &vspace_11 (C D))
; (add-atom &vspace_11 (A E))
; (match &vspace_11 ($_105354) (A $_105354))
; RES: (metta-iter-bind  &vspace_11 (A B) (B))
; RES: (metta-iter-bind  &vspace_11 (A E) (E))
Pass Test:( [ { $xx <- B },
 { $xx <- E } ] == [{xx: B}, {xx: E}] )
; (add-atom &vspace_12 (A B))
Pass Test:(Values same: CSpace == CSpace)
; (match &vspace_12 ($_117600) (A $_117600))
; RES: (metta-iter-bind  &vspace_12 (A B) (B))
Pass Test:( [ { $v <- B } ] == [{v: B}] )
; (add-atom &vspace_12 (big-space None))
; (add-atom &vspace_13 (A B))
; (match &vspace_13 ($_129826) (A $_129826))
; RES: (metta-iter-bind  &vspace_13 (A B) (B))
; (match &vspace_13 ($_135548) (: B $_135548))
Pass Test:(Values same: [[B]] == [[B]])

Python interaction

Module loading ; using the python default module resolver $PYTHONPATH !(import! &self motto.llm_gate) ; using the python path !(import! &self ../path/to/motto/llm_gate.py) ; Rust way (was the only way to load llm_gate functions from Rust) !(import! &self motto)

; Script running !(pymain! &self ../path/to/motto/test_llm_gate.py ( arg1 arg2 )) ; Single methods is python files !(pyr! &self ../path/to/motto/test_llm_gate.py "run_tests" ((= verbose True)))

; Can define a shortcut
(: run-llm-tests (-> Bool Ratio))
(= 
  (run-llm-tests $verbose)
  (pyr! &self ../path/to/motto/test_llm_gate.py "run_tests" ((= verbose $verbose))))

MeTTaLog Extras

; For the compiler to know that the member function will be a predicate 
(: member/2 Compiled)

; Declare member/2
(: member/2 Nondeterministic)


; Allow rewrites of member to invert using superpose
(: member/2 (Inverted 1 superpose))

; MeTTa file loading
!(include! &self ../path/to/motto/test_llm_gate.metta)

; Http Files
!(include! &self https://somewhere/test_llm_gate.metta)

; interfacing to Prolog
(:> OptionsList (List (^ Expresson (Arity 2))))
(:> ThreadOptions OptionsList)
(:> ThreadId Number)
(: make-thread (-> Expression ThreadOptions ThreadId))
(: thread_create/3 Deterministic)
;; (add-atom &self (Imported thread_create/3 2 make-thread))
(= 
  (make-thread $goal $options)
  (let True 
    (as-tf (thread_create! $goal $result $options))
	$result))

; returns a number and keeps going
!(make-thread (shell! "xeyes") ((detached False)))

To get comparable Interp vs Compiler statistics in one Main Output

clear ; mettalog --test --v=./src/main --log --html tests/*baseline*/ \
  --output=4-06-main-both --clean
clear ; mettalog --test --v=./src/canary-lng --log --html tests/*baseline*/ \
  --output=4-06-canary-lng-both --clean
clear ; mettalog --test --v=./src/canary --log --html tests/*baseline*/ \
  --output=4-06-canary-wd-both --clean

Vs for diffing

clear ; mettalog --test --v=./src/canary --log --html --compile=full tests/baseline_compat/ \
  --output=4-06-compile_full --clean

clear ; mettalog --test --v=./src/canary --log --html --compile=false tests/baseline_compat/ \
  --output=4-06-compile_false --clean

Metta Functions Task List

Function Name	Doc. (@doc)	Test Created	Impl. in Interpreter	Impl. in Transpiler	Arg Types Declared
functionA	- [ ]	- [ ]	- [ ]	- [ ]	- [ ]
functionB	- [ ]	- [ ]	- [ ]	- [ ]	- [ ]
functionC	- [ ]	- [ ]	- [ ]	- [ ]	- [ ]

Launch Jupyter notebook

- Contains a Jupyter Kernel for MeTTa (in-progress) ``` ./scripts/start_jupyter.sh ```