GitHub - TuanDoan14112003/inference-engine

Name		Name	Last commit message	Last commit date
Latest commit History 92 Commits
.idea		.idea
UnitTest		UnitTest
.DS_Store		.DS_Store
.gitignore		.gitignore
Intro_To_AI_Assignment_2.pdf		Intro_To_AI_Assignment_2.pdf
TTAlgorithm.py		TTAlgorithm.py
backwardChainingAlgorithm.py		backwardChainingAlgorithm.py
clause.py		clause.py
dpllAlgorithm.py		dpllAlgorithm.py
environment.py		environment.py
forwardChainingAlgorithm.py		forwardChainingAlgorithm.py
generalLogicParser.py		generalLogicParser.py
iengine.exe		iengine.exe
iengine.py		iengine.py
propositionalSymbol.py		propositionalSymbol.py
resolutionAlgorithm.py		resolutionAlgorithm.py
test.txt		test.txt
testGenerator.py		testGenerator.py