<div class="notebook"> <div class="nb-cell markdown"> # Compare clp(fd) with plain Prolog arithmetic </div> <div class="nb-cell program"> add(A,B,C) :- C is A+B. </div> <div class="nb-cell query"> time(forall(between(1, 1 000 000, _), add(1,1,X))). </div> <div class="nb-cell program"> :- use_module(library(clpfd)). add(A,B,C) :- C #= A+B. </div> <div class="nb-cell query"> time(forall(between(1, 1 000 000, _), add(1,1,X))). </div> <div class="nb-cell query"> listing(add/3). </div> </div>