This makes sense to me
?- $(member(X,[1,2,3])).
ERROR: Goal member(1,[1,2,3]) succeeded with a choice point
This seems like the error is that we don’t know what the error is. Is this not the way to use $/0
?
?- $, member(X,[1,2,3]).
ERROR: Unknown error term: determinism_error(lists:member_/3,det,nondet,guard_in_caller)