[Top] [Contents] [Index] [ ? ]

Footnotes

(1)

The function + and the concept number are predefined in PowerLoom.

(2)

Many of the Powerloom API procedures take a module argument that causes a temporary switch to a different module within the scope of that procedure.

(3)

PowerLoom modules are case-insensitive by default. This means, for example, that a logical constant named "Foo" may be referenced by any of the symbols 'FOO', 'foo', 'foO' etc.

(4)

Actually, PowerLoom implements a five-valued logic -- the remaining two values are "default true" and "default false". However, the present discussion defers the subject of default truth values.

(5)

Because proving negations can be very difficult, PowerLoom will only conduct a very quick and shallow search for a disproof. More extensive reasoning is used if a negation is asked about explicitly, thus it may be the case that PowerLoom will return unknown if asked about P, but true if asked about (not P).

(6)

Actually, PowerLoom isn't quite as strict as just stated--its search for an identical proposition can accomodate changes in the names of variables.

(7)

If you are executing within a case sensitive module, then you may see some differences in behavior between commands evaluated by the command interpreter and commands invoked from the Lisp Listener.

(8)

Lisp programmers are typically spoiled, and find it inconvenient to wrap double-quotes around their arguments.

(9)

but they are mistaken :).



This document was generated by Hans Chalupsky on September, 30 2003 using texi2html