goal_expansion/2 segfault

[flexoron]

v2.83.13-1-ge746b

?- [user]. b((m,p(_))). goal_expansion(p(B),(B)) :- b(B). p :- p(_). m. end_of_file.
Segmentation fault         (core dumped) tpl
$

[infradig]

And Scryer goes into a memory-eating loop. Swipl the same, but less intense. Gprolog handles it well.

[flexoron]

At least tpl handles this well

?- [user]. b((_,p(_))). goal_expansion(p(B),(B)) :- b(B). p :- p(_). m. end_of_file.
Error: max vars reached, user:1
   true.
?-