# [plt-scheme] Creating new syntax for decision tables

Hi,
I would like to introduce new syntax into scheme which would allow for
more concise descriptions of large boolean formulas of a certain type.
Specifically, I would like to be able to say something like
(table
(a : T T F)
(b : F * F)
(c : * F T))
Where each column going down represents a possible way this table
might be true. For instance the first row is true if a is true and b
is false (the * means we don't care about the value of c). Thus I
would like the above expression to expand to,
(or
(and a (not b) #t)
(and a #t (not c))
(and (not a) (not b) c))
I ran into two problems doing this. The first was that I didn't know
how to convert the T, F, and * into appropriate transformations. The
second is that the macro needs to expand one column at a time, but the
"..." notation in scheme seems to favor expanding things one row at a
time.
Thanks,
Andrew Gacek