Jupyter notebooks

The executed notebook tour starts with Python atoms, keeps Python and MeTTa in one session, and ends with a rendered derivation tree. Every structural argument in it is a built term; the one cell of MeTTa source is the %%metta cell, whose subject is that the two languages share a session.

Load the extension in an ordinary Python kernel. use(m) points the cell magic at an existing MeTTa instance, so Python calls and MeTTa cells read and write the same space:

%load_ext metta.ipython
from metta.ipython import use

use(m)

Start a cell with %%metta to run the rest of that cell as MeTTa source. The magic prints one line for each directive and returns the structured answer groups as the cell value:

%%metta
!(+ 1 2)
(Parent Zoe Lia)
!(match (context-space) (Parent $parent $child) ($parent $child))

Without use(m), the extension creates its own default MeTTa runtime. A space name after %%metta targets that named space for one cell.