Merge pull request logic-and-learning-lab#29 from logic-and-learning-…

…lab/pipable

Pipable

added example of learning a program with multiple distinct head predi…

…cate symbols

fixed info output bug

tweak to readme