Can you provide a Minimal and reproducible working example
Also
findall(Names,call(Term),ProveResultList),
looks wrong. I would expect the Template
to have a variable from the Goal
. See findall/3.
Can you provide a Minimal and reproducible working example
Also
findall(Names,call(Term),ProveResultList),
looks wrong. I would expect the Template
to have a variable from the Goal
. See findall/3.