(parameter side of) truthtable generator.
swipl support for tt (truthtable generator)
ttvars -- truthtable variables generator.

(Just renamed from tt)