A high-performance MeTTa runtime by Patrick Hammer that compiles to Prolog, using tabling and 'smart dispatch' to eliminate slow dynamic method lookups.