Constraint Handling Rules implement forward chaining, making them a great alternative to Prolog for saturating an implication lattice and a great alternative to Datalog for problems with non-finite domains. but how do we design a CHR-based expert system so clause bodies can be inferred from clause heads, not just the other way around, assuming fully monotonic reasoning?
- 0 Posts
- 2 Comments
Joined 3 months ago
Cake day: March 10th, 2025
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
grainier goddamn it!