Andrew Cropper

@hakank has identified a problem with Error with SWI-Prolog v8.5.3 and pyswipl 0.2.10: https://github.com/logic-and-learning-lab/Popper/issues/28#issuecomment-995588199 It crashes when running any examples

Metagol should support multi-predicate learning (and used to). For instance, it should be able to learn grandmother/2 and grandfather/2 at the same time, such as: ``` grandfather(A,B):-father(A,C),parent_1(C,B). grandmother(A,B):-mother(A,C),parent_1(C,B). parent_1(A,B):-mother(A,B). parent_1(A,B):-father(A,B)....

It cannot interpret non-logical symbols such as \+call(F,H).

If would be good if --stats showed the percentage of overall time spent doing each step, in addition to the absolute value.

Poor redundant literal check

1

Suppose Popper generates this rule: ```prolog f(A):- has_car(A,B), has_car(A,C), long(B), long(C). ``` Then Popper's [subsumption check](https://github.com/logic-and-learning-lab/Popper/blob/46fe4dc66928240eb1d9b977d44609ae47bfb8b5/popper/lp/test.pl#L63) will detect that two of the body literals are logically redundant. Popper will then...

Add ability to test programs using Clingo rather than Prolog

1

Self-explanatory. The only tricky part is continually adding and removing rules from the Clingo instance, but @rolfmorel knows how to do this by disabling rules.

Predicate invention does not work when directions are not given.

1

There is a problem with predicate invention. When directions are given for background relations, predicate invention does not work.