Re: reduction to 3-CNF

Hi Salvador,

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

Is it possible to do with the Prolog linked with Perl ? I never programmed
with prolog !?!

Thanks

Roberto Slepetys

----- Original Message ----- 
From: "Salvador Fandiño" <[email protected]>
To: "Roberto Slepetys Ferreira" <[email protected]>;
<[email protected]>
Cc: "Roberto Slepetys Ferreira" <[email protected]>
Sent: Thursday, March 04, 2004 6:27 AM
Subject: Re: reduction to 3-CNF


> 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
>