Twelf 1.7.1 (built 03/19/11 at 09:41:05 on gs6177)
%% OK %%
%% OK %%
%% OK %%
[Opening file /home/www/twelfwiki/code/4d0e22815b2c22f6bdbf55889da1fb94]
elem : type.
a : elem.
b : elem.
c : elem.
d : elem.
list : type.
nil : list.
, : elem -> list -> list.
%infix right 10 ,.
sample-list : list = a , c , a , b , a , c , a , a , b , c , c , d , nil.
member : elem -> list -> type.
member/hit : {A:elem} {L:list} member A (A , L).
member/skip : {A:elem} {L:list} {B:elem} member A L -> member A (B , L).
%query 1 *

member d sample-list.
---------- Solution 1 ----------
Empty Substitution.
____________________________________________

%query 3 3

member a sample-list.
---------- Solution 1 ----------
Empty Substitution.
---------- Solution 2 ----------
Empty Substitution.
---------- Solution 3 ----------
Empty Substitution.
____________________________________________

%query * 2

member b sample-list.
---------- Solution 1 ----------
Empty Substitution.
---------- Solution 2 ----------
Empty Substitution.
____________________________________________

%query * 0

member c sample-list.
Skipping query (bound = 0)
____________________________________________

%query 8 0

member c sample-list.
Skipping query (bound = 0)
____________________________________________

%query 3 *

member a sample-list.
---------- Solution 1 ----------
Empty Substitution.
---------- Solution 2 ----------
Empty Substitution.
---------- Solution 3 ----------
Empty Substitution.
---------- Solution 4 ----------
Empty Substitution.
---------- Solution 5 ----------
Empty Substitution.
[Closing file /home/www/twelfwiki/code/4d0e22815b2c22f6bdbf55889da1fb94]
/home/www/twelfwiki/code/4d0e22815b2c22f6bdbf55889da1fb94:24.2-24.33 Error: 
Query error -- wrong number of solutions: expected 3 in * tries, but found 5
%% ABORT %%