Prolog Language Using Modern Prolog Forall instead of failure-driven loops
Example
Some "classic" Prolog textbooks still use the confusing and error-prone failure-driven loop syntax where a fail construct is used to force backtracking to apply a goal to every value of a generator. For example, to print all numbers up to a given limit:
fdl(X) :- between(1,X,Y), print(Y), fail.
fdl(_).
The vast majority of Modern Prologs no longer require this syntax, instead providing a higher order predicate to address this.
nicer(X) :- forall(between(1,X,Y), print(Y)).
Not only is this much easier to read, but if a goal that could fail was used in place of print, its failure would be correctly detected and passed on - whereas failures of the goals in a failure-driven loop are confused with the forced failure that drives the loop.
Visual Prolog has a custom syntactic sugar for these loops, combined with function predicates (see below):
vploop(X) :- foreach Y = std::fromTo(1,X) do
console::write(X)
end foreach.
Although this looks like an imperative for loop, it still follows Prolog rules: in particular, each iteration of the foreach is its own scope.
