import pyreason as pr
pr.reset()
pr.settings.verbose = False
pr.add_fact(pr.Fact("has_insurance(res) : [1,1]", "f1", 0, 2))
pr.add_fact(pr.Fact("has_insurance(res) : [0,0]", "f2", 0, 2))
pr.add_rule(pr.Rule("noop(X) <- noop(X)", "dummy"))
try:
pr.reason(timesteps=1)
print("No crash — unexpected!")
except IndexError as e:
print(f"CRASHED: {e}")
import pyreason as pr
pr.reset()
pr.settings.verbose = False
pr.add_fact(pr.Fact("has_insurance(res) : [1,1]", "f1", 0, 2))
pr.add_fact(pr.Fact("has_insurance(res) : [0,0]", "f2", 0, 2))
pr.add_rule(pr.Rule("noop(X) <- noop(X)", "dummy"))
try:
pr.reason(timesteps=1)
print("No crash — unexpected!")
except IndexError as e:
print(f"CRASHED: {e}")