[Date Index] [Thread Index] [Author Index]

Re: Logic Problems

• To: mathgroup at smc.vnet.net
• Subject: [mg2524] Re: Logic Problems
• From: fateman at peoplesparc.cs.berkeley.edu (Richard J Fateman)
• Date: Thu, 16 Nov 1995 01:45:25 -0500
• Organization: University of California, Berkeley

In article <48c00u$3f2 at ralph.vnet.net>, Paul A. Rubin <rubin at msu.edu> wrote:
>In article <47pnbh$fhc at ralph.vnet.net>,
>   TTCJ34A at prodigy.com (DR JOHN C ERB) wrote:
>->Can Mathematica be used to solve logic problems?  

If you get a book like 
Paradigms of AI programming
 by Peter Norvig

you can learn how to do all kinds of things of this
sort.  

Since Mathematica is "equivalent" to all other computing
formalisms (assuming it doesn't run out of memory), it
is possible to "do" anything that other programs can
do, if you are willing to wait long enough.

On the other hand, there may be more convenient and/or
faster ways of expressing a computation.  This is
probably one of them.
-- 
Richard J. Fateman
fateman at cs.berkeley.edu   http://http.cs.berkeley.edu/~fateman/