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: