You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Same translation pipeline ( https://github.com/patham9/PeTTa/blob/main/src/translator.pl ) translating from MeTTa to Prolog, but eval calls the resulting Prolog goals directly (technically compilation to Prolog still, there is no classical AST-walking eval loop of a traditional interpreter) while add-atom of a function asserts the translated clause which triggers clause indexing and compilation to bytecode.