________________________________________________________________________

This file is part of Logtalk <http://logtalk.org/>  

Logtalk is free software. You can redistribute it and/or modify it under
the terms of the FSF GNU General Public License 3  (plus some additional
terms per section 7).        Consult the `LICENSE.txt` file for details.
________________________________________________________________________


% start by loading the example:

| ?- logtalk_load(clp_bp(loader)).
...


| ?- clique::go.
clique(17)
clique(16)
clique(15)
clique(14)
clique(13)
clique(12)
clique(11)
clique(10)
clique(9)
clique(8)
clique(7)
clique(6)
clique(5)
{13,14,15,16,17}
cputime=447
yes


| ?- magic::go.
[[2,6,38,41,42,43,3],[29,4,30,39,28,5,40],[22,32,24,33,31,17,16],[34,36,21,1,11,35,37],[19,25,44,15,47,13,12],[23,45,8,26,7,48,18],[46,27,10,20,9,14,49]]
execution time is 357milliseconds
yes


| ?- puzzle::solve(V).
V = [9,5,6,7,1,0,8,2] ?
yes


| ?- steiner::go.
[{1,2,3},{1,4,5},{1,6,7},{1,8,9},{2,4,6},{2,5,8},{2,7,9},{3,4,9},{3,5,7},{3,6,8},{4,7,8},{5,6,9}]
cputime=80
yes


| ?- queens3::top.
[1,3,5,56,53,4,61,7,52,70,55,81,6,82,50,57,8,63,58,77,83,49,9,40,65,72,47,64,59,10,54,51,75,67,41,43,18,11,28,89,62,74,48,69,33,17,12,66,73,34,38,42,68,91,31,19,13,96,93,86,90,79,71,95,60,76,20,14,78,2,84,94,87,36,30,88,35,45,21,15,92,85,80,27,22,46,44,39,37,29,24,26,16,23,25,32]
yes


| ?- srq::q.
[[0,1,0,0,1,0,0,0,0,0],[0,0,1,1,0,1,0,1,0,0],[1,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,1],[0,0,0,0,0,0,1,0,1,0]]
time : 2
yes


| ?- srq::q_all.
[[0,1,0,0,1,0,0,0,0,0],[0,0,1,1,0,1,0,1,0,0],[1,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,1],[0,0,0,0,0,0,1,0,1,0]]

no more solutions time all: 2
yes
