Heimseite
Seitenübersicht
An/abmeldung
Anschlagbrett
Herunterladen(c) 2005-2024 XLOG Technologies AG
/**
* Warranty & Liability
* To the extent permitted by applicable law and unless explicitly
* otherwise agreed upon, XLOG Technologies AG makes no warranties
* regarding the provided information. XLOG Technologies AG assumes
* no liability that any problems might be solved with the information
* provided by XLOG Technologies AG.
*
* Rights & License
* All industrial property rights regarding the information - copyright
* and patent rights in particular - are the sole property of XLOG
* Technologies AG. If the company was not the originator of some
* excerpts, XLOG Technologies AG has at least obtained the right to
* reproduce, change and translate the information.
*
* Reproduction is restricted to the whole unaltered document. Reproduction
* of the information is only allowed for non-commercial uses. Selling,
* giving away or letting of the execution of the library is prohibited.
* The library can be distributed as part of your applications and libraries
* for execution provided this comment remains unchanged.
*
* Restrictions
* Only to be distributed with programs that add significant and primary
* functionality to the library. Not to be distributed with additional
* software intended to replace any components of the library.
*
* Trademarks
* Jekejeke is a registered trademark of XLOG Technologies AG.
*/
:- ensure_loaded('../example22/problems.p').
:- ensure_loaded('../example22/sudoku_shuffle.p').
/**
* opening(N):
* The predicate succeeds in a new problem.
*/
% opening(-Martrice)
opening(N) :-
problem(0, M), sudoku(M, [], L), random_label(L), !,
F is 29/81, filter(M, N, F).
/*******************************************************************/
/* Binominal Reveal */
/*******************************************************************/
/**
* filter(M, N, F):
* The predicate succeeds in N with a partial reveal of the matrice M,
* according to the probability F to hide a cell value.
*/
% filter(+Matrice, -Matrice, +Float)
filter([], [], _).
filter([X|L], [Y|R], F) :-
filter_row(X, Y, F),
filter(L, R, F).
% filter_row(+List, -List, +Float)
filter_row([], [], _).
filter_row([X|L], [Y|R], F) :-
random(K),
(K < F -> Y = X; Y = _),
filter_row(L, R, F).