Merge pull request #1 from piyushk/master

renamed locations from r3_x to l3_x
fixed a number of problems found on the real robot.
minor change in real_facts.asp
for testing
Merge pull request #2 from shiqizhang6/master

minor change in real_facts.asp
merged with upstream