Re: First Order Logic
- To: mathgroup at smc.vnet.net
- Subject: [mg65384] Re: First Order Logic
- From: Bill Rowe <readnewsciv at earthlink.net>
- Date: Wed, 29 Mar 2006 06:34:27 -0500 (EST)
- Sender: owner-wri-mathgroup at wolfram.com
On 3/28/06 at 4:05 AM, clintonleforte at charter.net (clinton lefort)
>I have just downloaded a Mathematica Package named otter.m having
>to do with First Order Logic, designed by a Professor of Philosophy
>at Stanford. I am very interested in this aspect of Mathematica,
>its logic rules and Mathematical Logic.
>I am a little embarrased of my lack of knowledge of Mathematica.
>For this reason I do not want to approach the group as a whole,
>I have placed otter.m in this path: SH (my HD)
This directory is intended for packages you want to automatically load when you start a session. In general, this isn't were you want to put packages you want to evaluate or use occasionally. I suggest putting the package in the directory returned by evaluating $UserBaseDirectory.
>Would there be a better way to upload .nb into my system?
There is a significant difference between .nb files and .m files. In general, you will want to open .nb using the File->Open menu item in the front end. But you will want to load .m files using Get or Needs.
>How should I upload notebooks and then access them in Mathematica. In
>my present sitatuation it would seem to be
This is close to correct syntax. What you want would be
rather than what you wrote. An equivalent would be
>I placed otter.m in the autoloads directory then called it in
No, not fine. BeginPackage is not used to load a package. Instead it is used to set up a context where you can create a package. This is definitely not what you want to do when evaluating a package.
To reply via email subtract one hundred and four
Prev by Date:
Next by Date:
Re: Writing prime factor decomposision in conventional form
Previous by thread:
First Order Logic
Next by thread:
72 dpi vs actual dpi