Newsgroups: comp.ai.shells
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!swrinde!elroy.jpl.nasa.gov!llyene!gauss!jns
From: jns@gauss.jpl.nasa.gov (John Spagnuolo)
Subject: c or prolog shell
Message-ID: <1995Jun9.205529.4256@llyene.jpl.nasa.gov>
Keywords: wff, propositional calculus, conjunctive normal form
Sender: jns@gauss (John Spagnuolo)
Organization: Jet Propulsion Laboratory, FIST Lab, 301-284A
Date: Fri, 9 Jun 1995 20:55:29 GMT
Lines: 6

Does anyone have a c or prolog program
that puts a well formed formula (wff) 
into conjunctive normal form?
ok if works only for propositional logic.
                  Thanks
             John Spagnuolo Jr.             e-mail: jns@gauss.jpl.nasa.gov
