|
|||||||||
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.
file
s directory (including logical host) and
extension components and return the result.
file
s 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.
file
s 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.
julianDay
starts 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 module
s log stream if
loglevel
is the same or lower than the module
s log level.
message
to module
s log stream if
loglevel
is the same or lower than the module
s 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
initchar
s.
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
.
julianDay
starts 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
.
self
is NULL or the NIL_LIST
.
x
and y
represent the same Concept
x
and y
represent the same Instance
x
and y
represent the same Propositions
x
and y
represent the same Relation
true
iff the cons trees tree1
and tree2
are
structurally equivalent.
x
and y
are HASH-SET's with equivalent members.
x
and y
represent the same set of key/value pairs.
x
and y
represent the same set of key/value pairs.
x
and y
are structurally
equivalent.
x
and y
represent the same set of key/value pairs..
x
and y
are SET's with equivalent members.
x
and y
are eqP
.
x
and y
represent the same set of key/value pairs.
x
and y
are structurally
equivalent.
x
and y
are literal wrappers whose
literals are considered eqlP
.
self
(can be negative).
self
.
self
.
self
, which
may be a Stella class that is used in PowerLoom as well as
a more normal powerloom object.
self
to name
.
self
to a float, or throw a Stella Exception if the coersion is not feasible.
self
to an integer, or throw a Stella Exception if the coersion is not feasible.
self
.
self
as a string.
x
is an odd number.
filename
for input and return the resulting input stream.
host
at port
and return the result
as an input/output stream pair.
filename
for output and return the resulting output stream.
url
.
true
if the collection self
is ordered.
true
if currentDepth
exceeds depthLimit
.
self
.
dateTimeString
and
returns a time structure if successful.
dateTimeString
and
returns a time structure if successful.
dateTimeString
and
returns a time structure if successful.
name
of a STELLA symbol, surrogate or
keyword and return its symbol name, module name and type (which is either
:SYMBOL, :SURROGATE or :KEYWORD).
minsize
.
self
into a key-value list with identical and identically
ordered keys and values.
x
is greater than 0.
self
or NULL
if the table is empty.
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).
content
as data to urlPath
on host
and port
.
list1
and self
.
list2
onto the front of the list self
.
proposition
.
form
to stream
according
to the current setting of $LOGIC_DIALECT$
.
self
.
true
if self
is not a defined relation.
self
to stream
.
self
to stream
.
module
.
form
to stream
according to
the current setting of $LOGIC_DIALECT$
.
thing
and its subparts on stream
.
relation
.
module
.
renamed_Class
.
form
to stream
according to
the current setting of $LOGIC_DIALECT$
.
justification
to stream
according to
maxdepth
and style
.
xmlExpression
on stream
.
true
if self
is not public.
name
.
statement
to Common-Lisp and print the result.
self
or one it its ancestors is marked public.
self
.
self
.
value
be the new first element of self
.
value
to the front of the list self
.
value
to the front of set self
unless it is already a member.
path
to the front of the PowerLoom load path.
value
onto the cons list variable
, unless value
is already a member of the list.
key
with value
on session
.
name
is a symbol or surrogate qualified with a module
pathname or a module pathname ending with a S
.
inputstream
and return the result.
self
.
stream
, parses the header fields
and stores the results in fields
.
stream
and return the result.
stream
and return the result and
a keyword that indicates the terminator for that line ending:
CCR
CLF
CCRLF
or CEOF
.
stream
and return
the result.
string
and
return the result.
stream
and return
its s-expression representation (see xmlTokenListToSExpression
).
referenceCount
that is incremented whenever the object is assigned to a slot, and decremented
whenever it is deassigned from a slot.true
if slotName
is the name of some registered;
slot in the system.
fn
as a logic-object print function for dialect
.
slot
as a slot name, and
initialize its symbolSlotOffset
so that it can be used by lookupSlot
.
name
as a specialist which
executes code
.
name
as a function name in module
which will invoke the
native code procedure described by functionReferenceD
The name
is a fully-qualified name which will be interpreted by the normal
rules for reading names in PowerLoom.
stellaName
based on the nativeName
for the particular programming language in question.
x
by y
.
self
that
match value
.
value
from the set self
if it is a member and
return self
.
self
that match value
.
value
from the sequence self
, and left shift
the values after it to close the gap.
key
from self
.
key
.
key
from self
.
key
.
key
from self
.
value
from property
in configuration
and return it.
self
.
self
and return the
result.
self
and return the result.
key
,value
>.
self
for which testP
evaluates to true
.
self
for which
'test?' evaluates to TRUE.
self
for which
'test?' evaluates to TRUE.
node
from graph
and disconnect incident links.
root
from graph
s root nodes.
proposition
.
renumberRatio
, relabel
the whole graph non-incrementally.
old
in string
with renamed_New
.
name
.
self
.
size
.
self
to size
.
self
.
proposition
.
relation
arg
value
) is TRUE
in module
.
instanceref
.
self
.
query
which has to be a strict or partial retrieval
command, instantiate the query proposition for each generated solution
and retract the resulting propositions.
arguments
satisfies
the relation relation
.
proposition
in module
.
assertRule
to
observe the effects of querying with or without a particular (named) rule
being asserted within the current context.
relation
arg
) is TRUE in module
.
query
satisfy the query proposition.
retrieve
(which see) that generates scored
partial solutions based on the current partial match strategy.
self
.
self
.
self
(in place).
arg
to the right by 1 position.
module
.
hooklist
, applying
each one to argument
.
self
.
self
.
importSurrogate
(which see).
importSymbol
(which see).
lookupSlot
.
query
in module moduleName
and environment
.
sentence
is true in the module
named moduleName
.
instanceortuple
satisfies the
definition of the relation relationref
and return the result truth value
of the query.
file
(if file
is non-NULL).
table
as a configuration file.
value
to stream
as a properly formatted configuration
value.
name
to file
.
mod
into a file named filename
.
mappingFilename
.
name
.
name
, as
well as the contents of all of its children, recursively.
sentence
in the module named moduleName
.
name
in the designated module, with
with the concept named parentName
as superconcept (which can be left
undefined).
name
with arity arity
in the designated
module.
name
as a child of parentName
.
name
of type conceptName
in the designated
module.
name
with arity arity
in the
designated module.
objectName
, retracting all facts
attached to it.
true
iff the value value
is embedded within
the cons tree tree
.
true
iff the value value
is embedded within
the cons tree tree
.
self
is a string or a symbol, search for an object named
self
of type type
.
self
.
self
, or NULL if empty.
values
, in order.
values
, in order.
count
.
property
in configuration
to value
and return it.
valuesStructure
valuesStructure
valuesStructure
saveAllNeuralNetworks
appended
with extension Derr
.
features
.
module
to the level specified
by 'levelKeyword'.
path
.
module
.
safety
, debug
,
speed
, and space
.
feature
.
saveAllNeuralNetworks
.
features
.
newLanguage
.
command
within module
and
return the result.
relationName
.
name
.
name
that is local to
or visible from the module moduleName
.
conceptName
.
conceptName
.
relationName
.
v
such that (relationName
argName
v
)
has been asserted or can be inferred.
relationName
.
name
that is local to
or visible from the module moduleName
.
name
.
relationAndArguments
that
has been asserted (or inferred by forward chaining).
relationAndArguments
that
have been asserted (or inferred by forward chaining).
objectName
among
their arguments, and that are TRUE in the scope of the module moduleName
.
relationName
.
name
that is local to
or visible from the module moduleName
.
relationName
.
relationName
found in the module named moduleName
.
true
if symbol
is shadowed in its home module.
arg
to the right by count
positions and
0-extend from the left if arg
is positive or 1-extend if it is
negative.
measureName
.
signal
that throws a READ-EXCEPTION.
x
: -1 if negative, 0 if zero, 1 if positive
n
radians.
relationAndArguments
is true in the module named moduleName
.
self
according to
predicate
, and return the result.
self
according to
predicate
, and return the result.
self
according to
predicate
, and return the result.
sort
but assumes each element of self
is a tuple (a cons)
whose n
-th element (0-based) will be used for comparison.
subobject
specializes the description for superobject
and return the result truth
value of the query.
selectionPattern
or a more specific pattern that substitutes
one of the relations in specializingRelations
.name
.
n
.
name
as a function name in the module named moduleName
.
sentence
in the module named
moduleName
.
query
satisfy the query proposition.
moduleName
into a file named filename
.
filename
.
string
starts with prefix
starting from
start
(which defaults to 0 if it is supplied as NULL).
place
and return the result.
true
if self
is a native collection.
self
is a member of the STELLA class OBJECT
.
streamD
Does not retain them.stream
according to a particular tokenization table
.stream
and return it as a string.
tv2
has greater strength than tv1
, adapt the strength of tv1
(not
its value!) and return the result.
self
is a strict truth value.
string1
, string2
, and otherstrings
.
x
is the empty string ""
self
.
self
.
self
.
className
.
self
.
name
.
x
is not the empty string ""
self
at position
.
self
.
oldChars
with the
corresponding member of newChars
in the string self
.
self
.
x
and y
lexicographically, and return -1, 0,
or 1, depending on whether x
is less than, equal, or greater than y
.
x
and y
are equal strings or are both undefined.
x
and y
are equal strings ignoring character case or
are both undefined.
x
is lexicographically > y
, considering case.
x
is lexicographically >= y
, considering case.
x
is lexicographically >= y
, ignoring case.
x
is lexicographically > y
, ignoring case.
tree
relative to module
, or
$MODULE$
if no module is specified.
x
is lexicographically < y
, considering case.
x
is lexicographically <= y
, considering case.
x
is lexicographically <= y
, ignoring case.
x
is lexicographically < y
, ignoring case.
input
string.
inputDate
string.
input
string.
s
into a mutable string with the same content.
string
with respect to module
and environment
and return the corresponding logical term.
duration
.
true
if subclass
is a subclass of superclass
.
self
also occurs in otherlist
.
self
also occurs in otherset
.
self
also occurs in otherlist
.
outvalue
by
invalue
in the cons list self
.
old
with renamed_New
in the set self
unless renamed_New
is already a member.
outvalue
by
invalue
in the list self
.
old
with renamed_New
in the set self
unless renamed_New
is already a member.
oldvalue
by
newvalue
in the cons tree tree
.
self
and otherlist
by destructively
removing elements from self
that also occur in otherlist
.
self
and otherset
by destructively
removing elements from self
that also occur in otherset
.
self
and otherlist
by destructively
removing elements from self
that also occur in otherlist
.
x
- y
true
iff the class named subType
is a subclass
of the class named superType
.
self
.
symbolToSurrogate
which see).
surrogate
into a symbol with the same name and module.
symbol
.
symbol
whose key is eqP
to key
.
self
into a surrogate with the same name and module.
symbol
.
self
has dynamic storage, an initial value expression.
self
has dynamic storage, an initial value expression.
true
if system name
has been loaded.
n
radians.
true
if node
is a taxonomy root node.
subNode
is a descendant of superNode
.
self
.
self
, or NULL if empty.
t1
to t2
.
command
, measure and report its CPU and elapsed time
needed for its execution, and then return its result.
t1
by t2
.
session
has timed out.
duration
to its
equivalent value as dimensioned number.
date
t2
from t1
.
keyword
is a trace keyword that has been enabled with addTrace
print all the elements in body
to standard output.
input
to output
using
module
as the destination module.
input
to output
using
module
as the destination module.
input
to PowerLoom and write the
translation to the file output
.
inputFile
for translation in outputModule
.
istream
for translation in outputModule
.
systemname
into
outputlanguage
.
true
if current output language is Common-Lisp.
true
if current output language is C++
true
if current output language is Java
expr
into an intermediate form in auxModule
.
expr
into an intermediate form in auxModule
.
self
is true (or default-true if we are
considering default assertions).
selectionPattern
.self
represents some form of truth.
evaluate
that only evaluates tree
if it
represents an evaluable expression.
class1
and class2
.
type1
and type2
.
array
at position [row
, column
].
array
at position [row
, column
].
array
at position [row
, column
]
to value
and return the result.
array
at position [row
, column
]
to value
and return the result.
self
has a complex type return its
type specifier, otherwise, return type
of self
.
type
into a symbol with the same name and module.
self
,
or 'self' if it is not a bare literal type.
proposition
.
self
.
module
.
self
from its home module and the surrogate table.
self
from its home module and the symbol table.
self
and otherlist
.
self
and otherset
as a new set.
self
and otherlist
.
self
is unknown.
self
represents UNKNOWN.
parent
and child
.
ch
from inputstream
.
slot
as a slot name,
so that it can no longer be used by lookupSlot
.
features
.
feature
.
features
.
arg
to the right by 1 position and 0-extend
from the left.
string
and return the result.
module
, or $MODULE$
if no
module is specified.
source
string relative to module
,
or $MODULE$
if no module is specified.
wrapper
and return its values as a regular BOOLEAN.
wrapper
and return the result.
wrapper
and return the result.
wrapper
and return the result.
wrapper
and return the result.
wrapper
and return the result.
wrapper
and return the result.
wrapper
and return the result.
renamed_Char
is lowercase, return its uppercase version,
otherwise, return 'char' unmodified.
store
has had the truth value of proposition
change according to updateMode
.
graph
s roots according to node
s current state.
ch
represents an upper-case character.
values
, in order.
from
(or $MODULE$
if from
is NULL.
true
if self
is visible from the current module.
true
if self
is visible from the current module.
tv2
has lesser strength than tv1
, adapt the strength of tv1
(not
its value!) and return the result.
ch
is a white space character.
deviatingVariable
.body
within the context resulting from contextform
.
body
within the meta cache of the current module.
body
within the module resulting from moduleform
.
body
within the world resulting from worldform
.
body
within the module resulting from moduleform
.
system
.
value
.
value
.
self
,
or self
if it is not a wrapped type.
self
.
content
as an HTTP 1.0 request on stream
using method
.
self
.
true
if attribute
is an XML attribute with name name
in namespace namespace
.
true
if attribute
is a global XML attribute with name name
in namespace namespace
.
true
if attribute
is a local XML attribute with name name
.
true
if item
is an XML attribute object
true
if form
is a CONS headed by a CDATA tag
true
if item
is an XML CDATA tag object
true
if form
is a CONS headed by an XML DECLARATION tag
true
if item
is an XML declaration object
true
if form
is a CONS headed by a DOCTYPE tag
true
if form
is a CONS headed by an XML ELEMENT tag
true
if tag
is an XML element with the name name
in namespace namespace
.
true
if item
is an XML element object
stream
.
attribute
is a local attribute with name
and whose
parent element matches elementName
and elementNamespace
.
attributes
with name
and namespace
and
return its value.
true
if form
is a CONS headed by an XML PROCESSING INSTRUCTION tag
true
if item
is an XML processing instruction object
item
against XML element tags.
tokenlist
(using doctype
for guidance) into a
representative s-expression and return the result.
true
if the input was yes
or false
if the input was no
.
true
if the input was y
or false
if the input was n
.
x
is 0.
value
of at least length
'size', padded if necessary with 0 characters.
place
and return the result.
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |