Skip to content

Use PeTTa as interpreter#3

Open
rmgaray wants to merge 1 commit intomilestone3from
rmgaray/execute-with-petta
Open

Use PeTTa as interpreter#3
rmgaray wants to merge 1 commit intomilestone3from
rmgaray/execute-with-petta

Conversation

@rmgaray
Copy link
Copy Markdown
Collaborator

@rmgaray rmgaray commented May 1, 2026

This PR adds execution of MeTTa programs using swipl and PeTTa. The output of the execution of MeTTa programs is captured by f1r3fly, parsed as JSON and then passed to the Rho program as a native data structure.

Example:

$ cargo run --bin rholang-cli -- --quiet rholang/examples/system-contract/swipl/01-compile-metta.rho
{"results" : [["Pair", 3, 1], ["Pair", "y", "x"]]}
Estimated deploy cost: Cost { value: 1269, operation: "subtraction" }

@rmgaray rmgaray requested a review from nalane May 1, 2026 16:49
@nalane nalane requested a review from nrutledge May 1, 2026 17:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant