We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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