1:- module(plain_zdd, []).    2
    3:- use_module(zdd(zdd)).    4
    5% ev({exp: "(peek(@command), herbrand_in_context, plain_zdd:zdd_demo)",
    6% 	area: "command",
    7% 	echo: false,
    8%     });
    9
   10zdd_demo(E, C):- zmod:zdd,
   11	call_with_time_limit(10, (X<< E, card(X, C0))),
   12	term_string(C0, C)