habedi-work/chase-rs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

WIP

Browse Source
This commit is contained in:
Hassan Abedi 2026-03-09 11:11:10 +01:00
parent 8f9806c515
commit 585843f635
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

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