Re: reduction to 3-CNF

2004-04-19 Thread Sven Hilbert 
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:
 IN: LogicalExpand [  a  b  ! ( c || ( d  ! e))]
 OUT: a  b  e  (! c || a)  b  ! c  ! d
 

regards
Sven

Re: reduction to 3-CNF

2004-03-04 Thread Fandiño 
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!?
Yahoo! Search - Find what you’re looking for faster
http://search.yahoo.com