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

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)
wrote:

>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,
>yet.

>My question:

>I have placed otter.m in this path:     SH (my HD) 
>/applications/Library/Mathematica/Autoload/

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

><<`otter.m

This is close to correct syntax. What you want would be

<<otter`

rather than what you wrote. An equivalent would be

Get["otter`"]

alternatively,

Needs["otter`"]

>Solution:

>I placed otter.m in the autoloads directory then called it in
>notebook BeginPackage[`otter.m]

>Fine.

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