Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

clpfd: unexpected failure #9

Open
UWN opened this issue Aug 9, 2021 · 4 comments
Open

clpfd: unexpected failure #9

UWN opened this issue Aug 9, 2021 · 4 comments

Comments

@UWN
Copy link

UWN commented Aug 9, 2021 

| ?-      fd_domain([A],0,1),A#==>0#>0/0.

no            % unexpected
| ?- A=0, fd_domain([A],0,1),A#==>0#>0/0.

A = 0         % expected

Related to #86.
didoudiaz added a commit that referenced this issue Feb 8, 2022
@didoudiaz
issue #9: format/2-3 now also accept a list of character for format
7f210c9
@UWN
Copy link
Author

UWN commented Mar 15, 2022

Just a general remark: I do not test GNU any further for its clpfd-extension as this issue here is not fixed.

@didoudiaz
Copy link
Owner

I understand but this case is rather difficult to fix in practice in the general case (this is a particular case only).
Maybe raise an error when 0/0 appears (even in 0#==>0/0)...

@UWN
Copy link
Author

UWN commented Mar 16, 2022

An error for 0/0 does not make sense. Other systems just fixed this as SICStus withdrew 4.3.4, and SWI (at that time) alike.

@UWN
Copy link
Author

UWN commented Oct 4, 2022

UWN_blocking

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@didoudiaz @UWN