forward-backward-chaining

1. sudo apt-get install libgtk2.0-dev
2. sudo apt-get install libglade2-0
3. ./run.sh