1:- module(plain_zdd, []). 2:- set_prolog_flag(stack_limit, 10_200_147_483_648). 3:- use_module(zdd(zdd)). 4 5zdd_demo(E, C):- call_with_time_limit(10, 6 zdd((X<< E, card(X, C))))