Logic Family Tree - Logic Programming Example
This example demonstrates logic programming with family tree relationships using Aprender's logic module.
Run command:
cargo run --example logic_family_tree --release
Topics covered:
- Datalog-style logic programming
- Family relationship inference (parent, grandparent, sibling, ancestor)
- Rule-based reasoning
- Query execution
See also: