Source
Source | Size | ||
---|---|---|---|
.. | |||
__init__.py | 26 B | ||
backward_agent.py | 1.60 KB | ||
backward_chaining_proof_tree.jpg | 69.37 KB | ||
backward_example.py | 1.79 KB | ||
criminal.scm | 3.07 KB | ||
README.md | 9.85 KB |
Source | Size | ||
---|---|---|---|
.. | |||
__init__.py | 26 B | ||
backward_agent.py | 1.60 KB | ||
backward_chaining_proof_tree.jpg | 69.37 KB | ||
backward_example.py | 1.79 KB | ||
criminal.scm | 3.07 KB | ||
README.md | 9.85 KB |