GitHub - leo-ware/logic: Forward chaining and iterative backward chaining for inference in first-order logic. Efficient knowledge-base indexing. Python API and a Prolog interpreter.

leo-ware / logic Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Forward chaining and iterative backward chaining for inference in first-order logic. Efficient knowledge-base indexing. Python API and a Prolog interpreter.

1 star 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
__tests__		__tests__
experiments		experiments
src		src
.gitignore		.gitignore
conftest.py		conftest.py
poetry.lock		poetry.lock
pyproject.toml		pyproject.toml

About

Forward chaining and iterative backward chaining for inference in first-order logic. Efficient knowledge-base indexing. Python API and a Prolog interpreter.

prolog python3 logic-programming

Activity

1 star

1 watching

0 forks

Report repository