Re: Sublists question

From: Bart Demoen (bmd_at_cs.kuleuven.ac.be)
Date: 03/30/04

  • Next message: zeus: "Re: Sublists question" 
    Date: Tue, 30 Mar 2004 08:17:24 +0200

    no-spam wrote:

    >>> test_17_3R2 :-
    >>> make_list(51,L),
    >>> sublist_i_k(17,3,L_17_3),
    >>> sublist_i_k(16,3,L_16_3),
    >>> sublist_i_k(15,3,L_15_3),
    >>> sublist_i_k(14,3,L_14_3),
    >>> sublist_i_k(13,3,L_13_3),
    >>> sublist_i_k(12,3,L_12_3),
    >>> sublist_i_k(11,3,L_11_3),
    >>> sublist_i_k(10,3,L_10_3),
    >>> sublist_i_k(9,3,L_9_3),
    >>> sublist_i_k(8,3,L_8_3),
    >>> sublist_i_k(7,3,L_7_3),
    >>> sublist_i_k(6,3,L_6_3),
    >>> sublist_i_k(5,3,L_5_3),
    >>> sublist_i_k(4,3,L_4_3),
    >>> sublist_i_k(3,3,L_3_3),
    >>> sublist_i_k(2,3,L_2_3),
    >>> sublist_i_k(1,3,L_1_3),
    >>> is_sublist(L_17_3,L),
    >>> is_sublist(L_16_3,L),
    >>> is_sublist(L_15_3,L),
    >>> is_sublist(L_14_3,L),
    >>> is_sublist(L_13_3,L),
    >>> is_sublist(L_12_3,L),
    >>> is_sublist(L_11_3,L),
    >>> is_sublist(L_10_3,L),
    >>> is_sublist(L_9_3,L),
    >>> is_sublist(L_8_3,L),
    >>> is_sublist(L_7_3,L),
    >>> is_sublist(L_6_3,L),
    >>> is_sublist(L_5_3,L),
    >>> is_sublist(L_4_3,L),
    >>> is_sublist(L_3_3,L),
    >>> is_sublist(L_2_3,L),
    >>> is_sublist(L_1_3,L),
    >>> write(L),nl.
    [...]
    > Aha. I see what you mean. I could, in fact, put a "!" after the last
    > sublist_i_k call in test_17_3R2 (above).

    You could, but that wouldn't make much difference, as
    sublist_i_k is (supposed to be) delivering exactly one solution.

    Cheers

    Bart Demoen

  • Next message: zeus: "Re: Sublists question"