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 >