Bias updated.
Induction field added.
Bias updated.
Top theory added.
Top theory added.
References to the ILP systems updated.
Bias finished.
Xhail clausal examples.
Infix notation convention.
Imparo example added.
Removed op from Progol.: