diff --git a/README.md b/README.md index 1ad7cc7..87a09e9 100644 --- a/README.md +++ b/README.md @@ -31,6 +31,8 @@ See [ROADMAP.md](ROADMAP.md) for the list of implemented and planned features. ### Quickstart +#### Example + ```rust use chase_rs::{chase, Atom, Instance, Term}; use chase_rs::chase::rule::RuleBuilder; @@ -62,7 +64,7 @@ assert!(result.terminated); println!("Derived {} facts", result.instance.len()); ``` -### Existential Rules +#### Existential Rules Rules with head-only variables (existential quantification) automatically generate fresh labeled nulls: @@ -74,7 +76,7 @@ let rule = RuleBuilder::new() .build(); ``` -### Usful Commands +#### Usful Commands ```bash # Run all tests @@ -90,6 +92,8 @@ make build make run ``` +--- + ### License This project is licensed under [BSD-3](LICENSE).