Mangle Engine (Legacy)

This crate provides an AST-based interpreter for Mangle. It is considered legacy and serves as a reference implementation for the semantics of the language (specifically, the naive bottom-up evaluation).

For the new, performance-oriented IR-based execution, see mangle-interpreter (Edge) and mangle-vm (Server).

mangle-engine

This package is part of the Mangle logic programming language. It contains code related to the evaluation of programs.

"Naive evaluation" refers to the method of deriving facts from existing facts by applying rules, until no more new facts are generated.

See https://codeberg.org/TauCeti/mangle-rs for more information about Mangle.