finished parser
updated the parser
forward chaining -> check
reviewed fc
finalized forward chaining
release backward chaining
addd two example files