[m-dev.] for review: add mdb support for interactive queries

[Fergus Henderson]

On 04-Mar-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> s/your/you are/ (or at least "you're")
> 
> Also, the documentation doesn't discuss this, and I confess I haven't
> looked at the code, but I assume that you can't interactively call a
> predicate/function which is not exported from its module.  Is that
> right?  If so, I think that should be explicitly mentioned here,

Fixed, thanks.

I will commit this change now.

--- backup/user_guide.texi	Thu Mar  4 11:33:13 1999
+++ ./user_guide.texi	Thu Mar  4 13:29:06 1999
@@ -1356,10 +1356,13 @@
 or by typing @samp{quit.}.
 
 The module names @var{module1}, @var{module2}, @dots{} specify
-which modules will be imported.  You need to import all the modules
-that define symbols used in your query.  Note that you can also
+which modules will be imported.  Note that you can also
 add new modules to the list of imports directly at the query prompt,
 by using a command of the form @samp{["@var{module}"]}, e.g. @samp{["int"]}.
+You need to import all the modules that define symbols used in your query.
+Queries can only use symbols that are exported from a module;
+entities which are declared in a module's implementation section
+only cannot be used.
 
 The three variants differ in what kind of goals they allow. 
 For goals which perform I/O, you need to use @samp{io_query};
@@ -1381,7 +1384,7 @@
 Each query will be written to a file named @file{query.m} in the current
 directory, so make sure you don't name your source file @file{query.m}.
 Note that dynamic linking may not be supported on some systems;
-if your using a system for which dynamic linking is not supported,
+if you are using a system for which dynamic linking is not supported,
 you will get an error message when you try to run these commands.
 
 @end table
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.