Newsgroups: comp.ai.shells
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!news.alpha.net!uwm.edu!fnnews.fnal.gov!nntp-server.caltech.edu!netline-fddi.jpl.nasa.gov!llyene!gauss!jns
From: jns@gauss.jpl.nasa.gov (John Spagnuolo)
Subject: need shareware
Message-ID: <1995Jun14.170254.13547@llyene.jpl.nasa.gov>
Keywords: well formed formula
Sender: jns@gauss (John Spagnuolo)
Organization: Jet Propulsion Laboratory, FIST Lab, 301-284A
Date: Wed, 14 Jun 1995 17:02:54 GMT
Lines: 4

Does anyone out there have a shell in c or prolog that gets a well formed formula and puts it in conjunctive normal form?
wff in propositional logic.
                            Thanks
                          jns@gauss.jpl.nasa.gov
