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)