Help for this page

Select Code to Download


  1. or download this
    
:- use_module(library(clpfd)).
...
    
:- writeln('searching...').
:- time(solve(S)), writeln(S).
  2. or download this
    ?- [g].
searching...
...
% g compiled 5.10 sec, 832 bytes
true.