There was an earlier system called Thelma (https://github.com/stassa/thelma https://github.com/stassa/thelma), an acronym for "Theory Learning Machine". Then I

There was an earlier system called Thelma (https://github.com/stassa/thelma https://github.com/stassa/thelma), an acronym for "Theory Learning Machine". Then I created a new system and, well, I couldn't resist a bad pun. They're a bit of a tradition in ILP.