/**
 * Testing new min choose.
 *
 * Warranty & Liability
 * To the extent permitted by applicable law and unless explicitly
 * otherwise agreed upon, XLOG Technologies GmbH makes no warranties
 * regarding the provided information. XLOG Technologies GmbH assumes
 * no liability that any problems might be solved with the information
 * provided by XLOG Technologies GmbH.
 *
 * Rights & License
 * All industrial property rights regarding the information - copyright
 * and patent rights in particular - are the sole property of XLOG
 * Technologies GmbH. If the company was not the originator of some
 * excerpts, XLOG Technologies GmbH 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 GmbH.
 */

% :- reexport(../compiler/asp3).
:- reexport(library(minimal/asp)).

:- forward foo/2.

min_choose(1,[foo(1),foo(2),foo(3),foo(4)]) <= posted(init14).

min_choose(2,[foo(1),foo(2),foo(3),foo(4)]) <= posted(init24).

min_choose(3,[foo(1),foo(2),foo(3),foo(4)]) <= posted(init34).

min_choose(4,[foo(1),foo(2),foo(3),foo(4)]) <= posted(init44).

random_min_choose(1,[foo(1),foo(2),foo(3),foo(4)]) <= posted(rinit14).

random_min_choose(2,[foo(1),foo(2),foo(3),foo(4)]) <= posted(rinit24).

random_min_choose(3,[foo(1),foo(2),foo(3),foo(4)]) <= posted(rinit34).

random_min_choose(4,[foo(1),foo(2),foo(3),foo(4)]) <= posted(rinit44).

% ?- post(init34), (foo(X), write(foo(X)), write('. '), fail; true).
% foo(1). foo(2). foo(3). Yes ;
% foo(1). foo(2). foo(4). Yes ;
% foo(1). foo(3). foo(4). Yes ;
% foo(2). foo(3). foo(4). Yes

% ?- post(rinit34), (foo(X), write(foo(X)), write('. '), fail; true).
% foo(4). foo(3). foo(2). Yes ;
% foo(4). foo(3). foo(1). Yes ;
% foo(4). foo(2). foo(1). Yes ;
% foo(3). foo(2). foo(1). Yes