FizzBuzz alternative

fizzbuzz.pl

% tested with http://eclipseclp.org/

divisors_term(_, [3,5],"FizzBuzz").
divisors_term(_, [3],  "Fizz").
divisors_term(_, [5],  "Buzz").
divisors_term(N, [],   N).

% first clause, always fails, but with side-effects
fizz_buzz :-
    % backtrackably iterates N from 1 to 100 by 1
    between(1, 100, 1, N),
    % find all X matching the test into list D
    findall(X, (member(X, [3,5]), 0 is N mod X), D),
    % transform list of divisor to term
    divisors_term(N, D, T),
    % write term
    writeln(T),
    % fail, retry
    fail.

% second clause (trivially succeeds): tried after all choice 
% points in first clause are exhausted (after iteration).
fizz_buzz.