scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard

Published 20 hours ago • verified publisher icon mthom

Don't fail listing/1 if no clauses

Open rotu opened this issue 6 months ago • 2 comments

per https://github.com/mthom/scryer-prolog/pull/2929#pullrequestreview-2836715677

A predicate without clauses that has been declared as dynamic must not fail in listing. That is the behavior in SICStus.

rotu avatar May 21 '25 17:05 rotu

Better leave such changes to the author.

UWN avatar May 21 '25 20:05 UWN

@UWN I interpreted your comments on #2929 that you wanted me to fix this behavior instead of documenting it as-is. I emailed you requesting a short video chat --- I think something is getting lost over text.

Can we please hop on a quick zoom or other video chat to discuss this? I'm sure it will be easier and less frustrating for both of us.

Better leave such changes to the author.

@triska would you like to take over this PR? Or weigh in on which changes should be made here?

rotu avatar May 21 '25 21:05 rotu

@mthom, @triska This is ready to merge. Please either merge or close (if the pre-existing behavior is desirable).

rotu avatar Jul 09 '25 14:07 rotu

This change improves SICStus compatibility? Then it seems good to implement it. Thank you a lot!

Please also see the other points raised in discussions because they may be more worthwhile to work on.

triska avatar Jul 09 '25 18:07 triska