Deductive rule-based systems
Load a past exam question:
← Load a past exam question!
Generate assertions using forward chaining
« prev step
next step »
|
autoplay
Assertions
Edit assertions »
Rules
Edit rules »