|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
false.
createNativeClass, applied to
a STELLA class.
inModule, applied to a
module argument.
clearModule, applied to a
module argument.
lookupCoersionMethod to
locate a coersion method.
describe when no second
argument is given.
resetStellaFeatures.
clearModule, applied to a
module argument.
saveModule.
finalizeOneClass
and finalizeLocalSlot, applied to a RELATION argument.
htmlWrite3PartHrefInDetail.
htmlWrite3PartHrefInDetail.
true if html graphing is available.
true all passes of a translation will always be performed
regardless of whether any errors were encountered.
null.
true by rememberUnfinalizedClass; set
to false by cleanupUnfinalizedClasses.
true when outputting a defprint, used to
conditionally dereference streams in print-native-stream
statements.
load or demo command, try to find it with one of these extensions.
true pretty-print Stella and translated code.
true conses will be pretty printed.
true conses will be printed as readable Stella code.
true, record object signatures into a persistent table.
$MAX_RECYCLE_LIST_BYTES$ limit is still met.
TRUE calls to renamed_New or free on classes with :recycle-method;
specifications will actually operate on recycle lists.
true, always redefine classes, even if an
identical class exists
undefineOldClass.
true if using specials is enabled and legal.
startupTimeProgn form.
true translate those constructs that have native PowerLoom
counterparts directly into PowerLoom.
selectFileExtension.
true, safeLookupSlot and lookupFunction will
try to retrieve a previously recorded signature if normal lookup fails.
true, the walker will try to find previously recorded
signatures for referenced but undefined functions, methods, etc.
wrapperValueType and
typeToWrappedType.
x)
selectionPattern.n in radians.
demon in the location(s) specified by its internal
structure.
self or a superslot of self is marked active.
x + y
value to property in configuration and return it.
hookfunction into hooklist.
path to the end of the PowerLoom load path.
node to graph.
root as a root node to graph.
keywords.
source, starting from start, of
the first character that is not white space.
instanceref.
self.
allFactsOf (which see).
module.
s are lower case.
module.
module.
self.
cloneMemoizedIterator.
self.
allocateTransitiveClosureIterator (which see),
but return a SUPPORTED-CLOSURE-ITERATOR instead.
module.
nextP
function within itself during iterator allocation.systemName
graph that has been finalized,
return an iterator that generates all the graph's nodes.
module.
module.
s are upper case.
_theVariableSelf_.conslist1 and conslist2.
code to arguments, returning a value of type
OBJECT.
inputVariables and body queryBody.
code to arguments, returning a value of type
BOOLEAN.
code to arguments, returning a value of type
FLOAT.
code to arguments, returning a value of type
INTEGER.
code to arguments, returning a value of type
OBJECT.
variables
and body queryBody.
code to arguments, returning a value of type
STRING.
n in radians.
propositionAoptions is true.
query in module and environment.
ask (which see), but return the highest partial match score
for the supplied proposition instead of a truth value.
relation arg value) is TRUE
in module.
query, instantiate the query proposition for each generated
solution and assert the resulting propositions.
RelationAndArguments satisfies
the relation relation.
proposition is true in module.
dbInstanceName (for
example, "edb") according to options.
relation arg) is TRUE in module.
n in radians.
x / y in radians.
proposition relative to a set of variable bindings.true if m is a base measure.
message.
self.
self.
self.
stream filling buffer between start and end (depending
on how many characters are available).
buffer to stream, using data in the buffer starting at position
start stopping just before end.
date
adjusted for timezone.
date adjusted for timezone.
date adjusted for timezone.
date
adjusted for timezone.
instanceref.
ask (which see).
name or any of its children.
defconcept command (which see).
defdb command (which see).
deffunction command (which see).
defobject command (which see).
defproposition command (which see).
defquery command (which see).
defrelation command (which see).
deftable command (which see).
deftable command (which see).
listUndefinedRelations (which see).
context.
retrieve (which see).
retrievePartial (which see).
module to the level specified
by 'levelKeyword'.
value.
name.
name.
mt, or return
the current context if mt is not a defined microtheory in Cyc.
module and return it.
ch.
ch as an integer.
ch is lowercase, return its uppercase version,
otherwise, return 'ch' unmodified.
c into a one-element string and return the result.
ch is uppercase, return its lowercase version,
otherwise, return 'ch' unmodified.
module.
module.
$UNFINALIZED_CLASSES$,
and set $NEWLY_UNFINALIZED_CLASSESP$ to false.
self an empty dictionary.
self to have zero entries.
self an empty list.
self an empty property list.
self.
property in configuration and return the previous
value.
name or any of its children.
module as well as
the contents of all of its children, recursively.
name or any of its children.
list to its empty state.
name.
graph,
but retain information about the native network and associated links.
node,
but retain information about the native object and associated links.
addTrace.
self so it can be used to
iterate over the collection represented by self, while allowing to iterate
over it multiple times via multiple clones.
self.
file to Common-Lisp.
systemName to Common Lisp.
mt, or return
the current microtheory if no name was supplied.
code (0 <= code <= 255).
restvariable into a CONS
list containing all its elements (uses argument list iteration to do so).
y to be a compatible type with x.
y to be a compatible type with x.
self, or self if it is a
literal (e.g., string or number) that can't be coerced.
name.
self.
istream for translation into outputModule.
true if method is an evaluable command.
x and y are compatible.
nameComponents is a cons to be processed into a namestring.
composeNamestring, which will probably be
easier to use when called from non-Lisp languages.
julianDay begins at noon.
pid
name and return it.
list1, list2, and otherlists.
iterator1, then those of iterator2, and then those of all otheriterators.
list2 and all otherlists onto the end of list1.
set2 and all othersets onto the end of set1.
sentence
in the module module.
tree is a term expression (a string or an s-expression),
or is a class reference (a symbol or surrogate).
tv1 and tv2.
host.
value and rest.
self.
self into a cons list and return the result.
self into a Stella CONS.
self.
self into a cons list and return the result.
self.
self.
self into a cons list of
_LkeyGLvalueG_ pairs and return the result.
self.
renamed_Object is a CONS, return it.
self into a cons list of
_LkeyGLvalueG_ pairs and return the result.
self.
count command line arguments into a CONS list.
self into a cons list
of result tuples.
self.
values, in order.
objectref denotes a literal or scalar.
matchConsTree (which see).
tree identified by a path
specified as a list of index values.
tree identified by a path
specified as a list of index values.
homeContext
that enables context-dependent access machinery to determine the
visibility of objects from modules.self.
self.
self.
self.
self.
self.
self.
self.
self.
self.
fromfile to file tofile, clobbering
any data already in tofile.
consList.
n radians.
statement to C++ and print the result.
systemname to C++.
nofRows rows and
nofColumns columns, and initialize it in row-major-order from values.
nofRows rows and
nofColumns columns, and initialize it in row-major-order from values.
name in the designated module, with the
designated parent superconcept (which can be left undefined).
self.
members in
module using environment.
members
in module using environment.
name with arity arity in the designated
module.
name, creating it if
necessary.
name as a child of parent.
name of type concept in the designated
module.
renamed_New operator.
name with arity arity in the
designated module.
name visible in module,
creating it if necessary.
node to nativeobject and add it
to graph.
name,
a submodule of parents.
demon from the location(s) specified by its internal
structure.
date interpreted in timezone
timezone is the number of hours added to UTC to get local time.
date
The Format is YYYY-MM-DDThh:mm:ss+zz:zz, with the string stopping at
when a null value is first encountered.
time specified in milliseconds.
decomposeNamestring, which will probably be
easier to use when called from non-Lisp languages.
self is default false.
self is default true.
self is a default truth value.
name and attach it to a class or slot.
name as an arithmetic comparision operation using the
test testName.
name as an arithmetic comparision operation using the
test testName.
name to be a constraint computation which uses
constraintTest to determine if a fully bound set of variables
satisfies the constraint.
mt is a defined microtheory in the
Cyc instance represented by store (if store is supplied as NULL, it
defaults to the store of $CYC_MODULE$)..
self is NULL or the NIL_LIST.
property with value for the logical host host.
name.
definstance is an alias
for defobject which see).
name.
defrule is an alias
for defproposition which see).
deletedP method which always returns FALSE.
relation.
proposition.
self where all logic objects are
replaced by their generated parse-tree version.
self, if it has one.
self.
objectspec, and destroy all
propositions and indices that reference it.
self.
self and all its subclasses.
self which can be a term or a proposition.
renamed_Object, retracting all facts attached to it.
methodTree.
collectiontype containing values, in order.
self and otherlist (i.e., all elements
that are in self but not in otherSet).
self and otherset as a new set (i.e.,
all elements that are in self but not in otherset).
self and otherlist (i.e., all elements
that are in self but not in otherSet).
ch represents a digit.
timeValue to its
equivalent value as a timeDuration object.
directory as a file name, i.e., without a terminating
directory separator.
level-th parent directory component of directory
including the final directory separator, or the empty string if directory does
not have that many parents.
self.
feature is currently disabled.
feature is currently disabled.
tv1 and tv2.
x by y.
x / y
clearInstances that evaluates its argument.
true when iterating over a DTD definition.
module to the persistent store store which can
either be an output stream or a persistent OBJECT-STORE.
renamed_Char is uppercase, return its lowercase version,
otherwise, return 'char' unmodified.
hookfunction from hooklist.
path from the PowerLoom load path.
keywords.
self has zero entries.
self has no more elements.
true iff self equals nil.
self has zero entries.
self has no members.
self has zero entries.
x is the wrapped empty string ""
true if self has length 0.
feature is currently enabled.
feature is currently enabled.
timeStructure.
filename does not exist.
filename exists.
true if the strings s1 and s2 are the same
except for the amounts of whitespace separating words.
x and y are eqP or equivalent literals
such as strings that also might be wrapped in non-identical wrappers.
true iff the cons trees tree1 and tree2 are
structurally equivalent.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
self (can be negative).
equalP hash code for self.
equalP hash code for self.
x and y are eqlP or considered equal
by a user-defined objectEqualP method.
equalP as the
equality test (and equalHashCode as the hash function), otherwise,
use eqlP (and hashCode) (the default).
equalP as the
equality test and equalHashCode as the hash function, otherwise,
use eqlP and hashCode (the default).
self occurs in otherlist and vice versa.
self occurs in otherset and vice versa.
self occurs in otherlist and vice versa.
module.command within module and return
the result.
expression and return the result.
expression and return the result.
x is an even number.
e.
n.
x ^ y
x ^ y.
self.
self is false (or default-false if we are
considering default assertions).
self represents some form of falsehood.
name (a string or symbol) from store
and return it as an appropriate logic object.
fetchQuery using taskId; subtaskId,database
and specifying a single additional parameterValue.
name (a string or symbol) from store
and return it as a named description.
self.
self, or NULL if empty.
files directory (including logical host) and
extension components and return the result.
files extension (or type) if it has any including
the separator character.
file interpreted as a directory, i.e., with a
terminating directory separator.
file including the final
directory separator or the empty string if file does not include a directory.
file by removing any
directory and logical host components.
files extension (or type) if there is any and
return the result.
self in row-major-order
from values.
self in row-major-order
from values.
substitutionList with template variable substitions
for the names YEAR and DATE which correspond to the current year and date.
graph.
file in the current load path and, if found,
return its full name.
string1 and
string2, starting at position start1 and start2 respectively.
string1 and string2 where
they mismatch, starting at position start1 and start2 respectively.
name in module or create one with type
if it does not yet exist.
pathname if one exists,
otherwise create one
graph with label label.
self.
self, or NULL if empty.
forms whose value is defined
or NULL otherwise.
x.
x in a base-60 form.
self.
x in units with decimals digits.
input to be (at least) length long, using padchar to
fill if necessary.
self.
self, or NULL if empty.
self and other objects,
and then deallocate the storage for self.
self.
x by y.
x and y.
self.
xmlAnswer from Fetch based on
the database table tableName and uses it to generate an assertion
for an appropriate relation for inclusion in module.
prefix with a number appended that
is not currently in use in moduleD In a non-case-sensitive module, the returned
name will be all upper case (This latter feature may change!)
prefix and ending with a globally gensym'd integer.
relation.
self.
relation arg1 arg2)
is true.
relation arg1 arg2)
is true.
date
in timezone.
module.
obj, which must
be of type proposition, cons, vector or PL-iterator.
name that is local to
or visible from the module module.
concept that
has an attribute matching value for the binary relation relation, i.e.,
_relationLresultGValue_ holds.
concept.
concept that
have an attribute matching value for the binary relation relation, i.e.,
_relationLresultGValue_ holds.
concept.
relation.
relation.
renamed_Object belongs to.
relation.
renamed_Object was created.
v such that (relation arg v)
has been asserted or can be inferred.
name if it exists.
self.
name.
obj, if it has one.
obj can be found from
module.
relation.
nth column of
sequence.
nth column of
sequence.
nth column
of sequence.
nth column of
sequence.
nth column of sequence.
name that is local to
or visible from the module module.
name.
module.
prop.
relation.
relation.
relationAndArguments that
has been asserted (or inferred by forward chaining).
relationAndArguments that
have been asserted (or inferred by forward chaining).
module.
renamed_Object among their arguments,
and that are TRUE in the scope of the module module.
treeName.
relation.
name that is local to
or visible from the module module.
relation.
relation.
relation
in either antecedent or consequent position.
obj, if it has one.
slotName on the class
representing the type of self.
className.
className.
pathname, or null
if no such context exists.
pathname, or null
if no such module exists.
name visible in module if it
exists.
date in timezone.
renamed_Object belongs to.
key.
urlPath on host and port.
expression (may be empty).
form.
expression (may be empty).
expression.
global.
x >= y
x >= y
x > y
x > y
self (can be negative).
code onto a bucket index for a hash table
of size (i.e., onto the interval [0..size-1].
eqlP or equalP
equality tests, O(1) insert and memberP operations & O(N) intersection
etc.eqlP HASH-SET containing values.
string and return it.
pathname, or null
if no such module exists.
printConceptOutline
printConceptOutline
printOutline
printOutline
printOutline
printOutline
printOutline
self.
surrogate into module and return the imported surrogate.
symbol into module and return the imported symbol.
self is inconsistent (true and false).
self represents INCONSISTENT.
tree and return
the result.
currentDepth on stream using the value of the global
variable $OUTLINE_INDENT_STRING$
dialect.
self.
self.
self.
self.
self.
self.
graph.
node.
self.
self, or null.
name.
item into the collector self.
value to the set self unless it is already a member.
value to the front of the list self.
value to the set self unless it is already a member.
value to the END of the sequence self.
value identified by key into self.
key, value> into the association
self.
key in self
to value or add a new entry if no entry with key exists yet.
key, value> into the property list self.
key in self
to value or add a new entry if no entry with key exists yet.
key,value> to self unless an identical
entry already exists.
value as the last entry in the list self.
value to the end of set self unless it is already a member.
value to the front of the list self unless its
already a member.
source begining at start and
ending at end into target starting at targetIndex.
varsAvalues in template replace it
with its corresponding <value> string.
x.
true if x is the floating point representation of an integer.
name and symbol-id offset.
newname which is interned in the same module as basesymbol.
newname which is interned in the same module as basesymbol.
name.
name.
module with name name.
name.
name which is assumed to be the printed
representation of a STELLA symbol, surrogate or keyword, intern
it into the current or specified module and return the result.
name.
name in module (if localP do
not consider inherited modules).
name.
name in module (if localP do
not consider inherited modules).
arguments.
self and otherlist.
self and otherset as a new set.
self and otherlist.
x
self.
renamed_Object is a member of the concept concept.
true iff renamed_Object is an instance of the class named type.
tv is a default truth value.
obj is an enumerated collection.
obj is an enumerated list
obj is an enumerated set.
tv is a false truth value.
obj is of type FLOAT (double)
tv is an inconsistent truth value.
obj is of type INTEGER
obj is of type LOGIC-OBJECT
obj is of type NUMBER.
tv is a strict (non-default) truth value.
obj is of type STRING
sub is a subconcept/subrelation of renamed_Super.
tv is a true truth value.
relation arg value) has
been asserted (or inferred by forward chaining).
proposition is TRUE in the module module.
relation args) has
been asserted (or inferred by forward chaining).
relation arg) has
been asserted (or inferred by forward chaining).
tv is an unknown truth value.
systemname to Java.
statement to C++ and print the result.
julianDaystarts at noon.
eqlP or
equalP equality tests, O(1) access operations even for large numbers
of entries by using a hash table, light-weight KV-CONS representation for
small tables and iteration even if the dictionary is represented by a
hash table.self into a property list with identical and identically
ordered keys and values.
key, value> to the front of the association
self.
self.
self.
self.
self.
renamed_Object within the cons-list
self (counting from zero); or return null if renamed_Object does not occur within
self (uses an eqlP test).
renamed_Object within the list
self (counting from zero); or return NULL if renamed_Object does not occur within
self (uses an eqlP test).
renamed_Object within the vector
self (counting from zero); or return null if renamed_Object does not occur within
self (uses an eqlP test).
self.
self.
self.
self.
self.
x <= y
x <= y
x < y
x < y
ch represents a letter.
parent and child in graph.
values, in order.
values,
terminated by the last value rather than by nil.
getList method.QUERY_ITERATORDconsify but return a LIST instead.
self into a Stella LIST.
self.
self.
self.
self.
self.
module (or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive type assertions.
module (or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive ancestor relations.
module.
file and evaluate them.
filename and evaluate them.
file and return its content as a configuration table.
input into module.
file and evaluate them.
stream and evaluate them.
inputFile into outputModule.
istream into outputModule.
stream and evaluate them.
stream and evaluate them.
language-compile out-of-date translated files of system
systemname and then load them into the running system (this is only
supported/possible for Lisp at the moment).
n.
n.
o1 and o2 that can appear in logical
forms.
level is lower than or equal to the current
log level of module.
message to modules log stream if
loglevel is the same or lower than the modules log level.
message to modules log stream if
loglevel is the same or lower than the modules log level.
key in self and
return its value, or NULL if no such solution exists.
key in self and
return its value, or NULL if no such entry exists.
key in self and
return its value, or NULL if no such entry exists.
name.
name names an evaluable command return its associated
command object; otherwise, return null.
property in configuration and return its value.
property in configuration, assume it is a multi-valued
property and return its value(s) as a list.
name.
name if it exists.
slotName on renamed_Class.
parameter for module.
name has a macro definition, return the method object
holding its expander function.
nativeName if it exists
and the underlying programming languages supports such lookups.
kindofsym visible from the current module (case-sensitive).
renamed_Class with name slotName.
name visible from the current module.
name visible from module.
name visible from the current module.
name visible from module.
name visible from module.
name visible from module.
key in self and return the result.
key in self and return the result.
ch represents a lower-case character.
statement to Common-Lisp and print the result.
makeMatchingName, which will probably be
easier to use when called from non-Lisp languages.
size initchars.
size.
systemname
into language and then compile and load them (the latter is only possible
for Lisp right now).
name using namespaceName
to refer to namespace.
name using
namespaceName to refer to namespace.
name associated with element
nil iff self is null or self otherwise.
self is NULL or self otherwise.
pattern against tree and return a list of
variable bindings if they match, or NULL otherwise.
x and y.
renamed_Object is a member of the collection self.
true iff renamed_Object is a member of the cons list
self (uses an eqlP test).
self and return TRUE
if one of them is eqlP to 'value.
renamed_Object is a member of the set self.
renamed_Object is a member of the list
self (uses an eqlP test).
value is a member of the sequence self.
true iff renamed_Object is a member of the cons list
self (uses an eqP test).
renamed_Object is a member of the cons list
self (uses an 'eq?' test).
baseIterator without having to generate all its values first.inputargs.
basefile, supply any missing components from
defaults if supplied and return the result.
self with values from renamed_Default.
self that represent larger
time units than the smallest non-null in self with values from renamed_Default.
x and y.
julianDaystarts at noon.
x and y.
true if renamed_Class has more than one direct superclass.
x * y
self (settable via setf).
self to ch and return ch.
self (settable via setf).
self to ch and return ch.
self (settable via setf).
self to ch and return ch.
self.
self at position.
self at position to ch.
self (settable via setf).
self to ch and return ch.
oldChars with the
corresponding member of newChars in the string self.
self (settable via setf).
self to ch and return ch.
s into a regular string with the same content.
name.
inputstream using the native language
readline algorithm and return the result.
self at position.
self at position to value.
x
self and return true if more
elements are available, false otherwise.
self (or
one of its clones) by either using one of the values generated so far or by
generating and saving the next value of the baseIterator.
true iff x equals nil.
true if the collection self forbids duplicate values.
self has at least 1 entry.
true iff self is not equal to nil.
self has at least 1 entry.
self has at least one member.
self has at least 1 entry.
x is not the wrapped empty string ""
true if self has length > 0.
source, starting from start, of the first
character that is not included in match.
self, or NULL if it is empty.
self at position.
self, or NULL if empty.
rest position times to self.