Home

Welcome to the PeTTa wiki!

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

Introduction:

Installation:

1. Obtain Swi-Prolog v9.3.x from https://www.swi-prolog.org/ or from your favorite package manager.

2. 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.