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