mangle-engine
| Crates.io | mangle-engine |
| lib.rs | mangle-engine |
| version | 0.1.1 |
| source | src |
| created_at | 2024-06-11 20:50:39.708479 |
| updated_at | 2024-07-25 09:39:20.572251 |
| description | Rust implementation of Mangle, a logic programming language |
| homepage | https://github.com/google/mangle |
| repository | https://github.com/google/mangle |
| max_upload_size | |
| id | 1268899 |
| size | 21,685 |
Burak Emir (burakemir)
documentation
https://github.com/google/mangle
README
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.