backward chaining is now working
Merge remote-tracking branch 'origin/master'

Conflicts:
	ExpertShell/src/gui/MainScreen.java