Did you know ... Search Documentation:
Pack pac -- prolog/zdd/one-sided-seq.pl
PublicShow source