Some tweaks to the reasoning chapter.
Added discussion on various built-in predicates to reasoning chapter.
Tweaks based on Evren's suggestions.
Update using/index.html

closing #43
Merged develop onto master including additions to the reasoning chapter