Skip to content

Viabhav Fact Issue #131

@ColtonPayne

Description

@ColtonPayne

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}")

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions