Glitch in DWIM

General
1

This one got me:

?- tine((betwen(1,100,_),fail;true)).
Correct to: "time((betwen(1,100,_),fail;true))"? yes
ERROR: Unknown procedure: user/0 (DWIM could not correct goal)

Was slightly confused about the user/0.

2

Its not a very good error :frowning: I’ll leave it as an exercise to the user :slight_smile:

3

For some reason I don’t get this; it just says

?- tine((betwen(1,100,_),fail;true)).
ERROR: Unknown procedure: tine/1 (DWIM could not correct goal)

Is my installations somehow broken?

1 Like
4

Thanks for checking. I can’t reproduce this either, neither on the Linux version nor on Windows.