The Ten Divisibilities

Sign in to test your solution.
:- use_module(library(clpfd)). solution(X) :- ...