| [Top] | [Contents] | [Index] | [ ? ] |
The function + and the concept
number are predefined in PowerLoom.
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.
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. You may create case-sensitive modules, but if you do so, when inside that module all PowerLoom commands and other symbols such as AND, EXISTS, etc. will need to be referred to using uppercase names, since no automatic case-conversion will take place.
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.
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 PowerLoom may return unknown if asked
about P, but true if asked about (not P).
Actually, PowerLoom isn’t quite as strict as just stated–its search for an identical proposition can accomodate changes in the names of variables.
The order of solutions will not necessarily be the same as shown here.
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.
Lisp programmers are typically spoiled, and find it inconvenient to wrap double-quotes around their arguments.
but they are mistaken :).
| [Top] | [Contents] | [Index] | [ ? ] |
This document was generated by Hans Chalupsky on January 6, 2023 using texi2html 1.82.