bitPhile

backward-chaining

1 min read

Taking a goal and proofing it by applying inference rules on KB.

Graph View