prolog-squared 1.1.0

A Meta-Interpretive Learning framework implementing second-order SLD resolution
Documentation