mangle_ast

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://github.com/google/mangle for more information about Mangle.