FIXED: library(apply_macros) for phrase((b->c),[]);d.  Ulrich Neumerkel.
FIXED: library(apply_macros) for phrase((b->c),[]);d.  Ulrich Neumerkel.

?- listing(a).
a :-
	(   b([], A)
	->  c(A, [])
	;   d
	).

I think we could also map If->Then to If->Then;fail to fix this.

jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel