mukeshtiwari/Backward chaining

Created August 25, 2016 07:53

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mukeshtiwari/d851d858f23f2e8cad99603e4ad0cecb.js"></script>
Save mukeshtiwari/d851d858f23f2e8cad99603e4ad0cecb to your computer and use it in GitHub Desktop.

Download ZIP

Raw

Backward chaining

	We can prove
	A
	A -> B
	-------
	B

	but not

	B
	A -> B
	-----------
	A

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment