2 releases
0.1.1 | Jul 25, 2024 |
---|---|
0.1.0 | Jun 11, 2024 |
#489 in Programming languages
45KB
912 lines
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.
Dependencies
~3.5–5MB
~88K SLoC