PeTTa
Responsible: Patrick Hammer
PeTTa is a high-performance compiler and runtime for MeTTa, translating source code into optimized Prolog. Its 'Smart Dispatch' compiler eliminates slow dynamic dispatch methods, achieving execution speeds comparable to handwritten Prolog while fully adhering to Hyperon-Experimental semantics.
</> Example Implementation
PeTTa smart dispatch
PeTTa's Smart Dispatch compiler translates MeTTa patterns directly into indexed Prolog clauses for maximum performance.
; PeTTa compiles MeTTa to optimized Prolog
; Smart Dispatch eliminates dynamic overhead
(= (fibonacci 0) 0)
(= (fibonacci 1) 1)
(= (fibonacci $n)
(+ (fibonacci (- $n 1))
(fibonacci (- $n 2))))
!(fibonacci 10) ; => 55
; Runs at native Prolog speed