MathGroup Archive 1995

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

Search the Archive

Re: Logic Problems

  • Subject: [mg2524] Re: Logic Problems
  • From: fateman at (Richard J Fateman)
  • Date: Thu, 16 Nov 1995 06:45:25 GMT
  • Approved:
  • Distribution: local
  • Newsgroups: wri.mathgroup
  • Organization: University of California, Berkeley
  • Sender: daemon at ( )

In article <48c00u$3f2 at>, Paul A. Rubin <rubin at> wrote:
>In article <47pnbh$fhc at>,
>   TTCJ34A at (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

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

  • Prev by Date: RE: Positive[a] = True ???
  • Next by Date: help
  • Previous by thread: Re: Logic Problems
  • Next by thread: Re: Logic Problems