Home

Jump to bottom

Patrick Hammer edited this page Oct 24, 2025 · 7 revisions

Welcome to the PeTTa wiki!

This is the place to learn about using PeTTa and about its internal mechanics.

Introduction:

PeTTa, modular MeTTa to Prolog compiler featuring Prolog-comparable execution speed for MeTTa code and H-E compatibility

Installation:

Obtain Swi-Prolog v9.3.x from https://www.swi-prolog.org/ or from your favorite package manager.
git clone https://github.com/patham9/PeTTa

Usage:

In PeTTa folder:

sh run.sh ./examples/NAME.metta

Pass -s, silent or --silent if compiler output should be omitted.