Hi Roberto,
I have the same problem right now.
Did you find a solution?
(I'd prefere Perl-only-scripts...)
I am looking for some way to do the same of LogicalExpand function of
Wolfran Mathematica. It get's a logical expression in input and returns a
CNF of the logical expression.
Ex:
Hi Roberto,
reduction, if I cannot find, my second alternative is to glue my
Perl program to some Prolog interpreter (is it possible in Linux,
I never tried ?).
you can use Language::Prolog::Yaswi to call SWI-Prolog from Perl.
- Salva
__
Do you Yahoo!?