Logic

Field Summary
`static boolean`	$ACCELERATE_FRAME_COMPUTATIONSp$ Used to test how big is the effect of the frame specialists.
`static List`	$ACTIVATED_NETWORKS$
`static StellaSpecialVariable`	$ADDEDNEWTYPEp$ Used by 'infer-variable-types'.
`static boolean`	$ALLOW_RECURSIVE_DECISION_NODES$
`static boolean`	$AND_MISSED_A_BINDING$
`static Cons`	$ANNOTATION_TRANSLATION_TABLE$
`static boolean`	$AUTO_COERCE_PROPOSITIONAL_ARGUMENTSp$ If TRUE, automatically coerce propositional arguments of a proposition, even if the corresponding argument type of the hosting relation doesn't indicate that.
`static char`	$AUTOMATIC_INSTANCE_CHARACTER$ Character that identifies variables representing instances named by the system.
`static StellaSpecialVariable`	$AUTOMATICINSTANCETABLE$ Used by 'evaluate-automatic-instance' to record current bindings of automatic instance symbols.
`static List`	$AVAILABLE_POWERLOOM_FEATURES$ List of PowerLoom environment features.
`static boolean`	$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$ If TRUE, wrap all literal proposition arguments so that they can all support backlink indices.
`static int`	$BASE_COUNTER$
`static BooleanVectorIndexNode`	$BOOLEAN_VECTOR_INDEX$ Points to the head of a discrimination tree of containing all boolean vectors.
`static StellaSpecialVariable`	$BOTTOM_UP_VARIABLE_COUNTER$
`static StellaSpecialVariable`	$BOUNDTOOFFSETCOUNTER$ Enables 'select-optimal-query-pattern' to tell 'copy-variables-vector' that it should initialize the 'bound-to-offset' slot of each variable in the copy operation.
`static Cons`	$BUILT_IN_MODULE_NAMES$
`static boolean`	$CACHE_FAILED_GOALSp$
`static int`	$CACHE_GOAL_QUANTUM$ Only goals whose success or failure took at least this number of query clock ticks will be cached.
`static boolean`	$CACHE_INFERABLE_SUBCOLLECTIONSp$ If TRUE, prevents caching of computations of all inferable subcollections of a collection.
`static boolean`	$CACHE_SUCCEEDED_GOALSp$
`static Vector`	$CANDIDATE_CLAUSES$
`static StellaSpecialVariable`	$CANONICALVARIABLECOUNTER$ Number of the last canonically-mapped variable.
`static StellaSpecialVariable`	$CANONICALVARIABLENAMEMAPPING$ Maps variables to symbols in SYSTEM-DEFINED-ARGUMENT-NAMES.
`static StellaSpecialVariable`	`$CAREFUL_LOGIC_COMMAND_LOOP_EXIT$p` If TRUE exiting from the logic-command loop (or PowerLoom listener) will be protected by a confirmation dialog.
`static StringHashTable`	$CASE_ANTECEDENT_TABLE$
`static HashTable`	$CASE_NAME_TABLE$
`static List`	$CASE_RULE_NAMES$
`static Keyword`	$CASE_SOLUTION_COMBINATION$
`static StringHashTable`	$CASE_TYPES_TABLE$
`static int`	$CASE_VARIABLE_COUNTER$
`static KeyValueList`	$CHECK_TYPES_AGENDA$ List of propositions that have failed a type check, but might pass once finalization is complete.
`static StellaSpecialVariable`	$CLASSIFICATIONSESSION$ Points to state of on-going classification session.
`static StellaSpecialVariable`	$CLASSIFY_FROM_NON_INFERABLE_PARENTS_ONLYp$ If true (the default) only consider those relations (or instances) for classification that have at least one non-inferable parent (or type).
`static StellaSpecialVariable`	$CLIPPINGENABLEDp$ When enabled, slot-value assertions can be retracted by later conflicting assertions.
`static boolean`	$CLOSED_WORLD_TRAINING_EXAMPLES$
`static StellaSpecialVariable`	$COLLECTFORWARDPROPOSITIONS$ Collect goes-true propositions produced by forward chaining.
`static StellaSpecialVariable`	$COMPUTEDQUERYp$ Used to signal 'ground-value-of' that it can call 'bound-to' safely.
`static boolean`	$CONTEXT_DEPENDENT_SEARCH_MODEp$ Signals that we are performing search across multiple contexts.
`static int`	$CONTROL_FRAME_ID_COUNTER$ Generates unique IDs for control frames.
`static List`	$CURRENT_POWERLOOM_FEATURES$ List of currently enabled PowerLoom environment features.
`static StellaSpecialVariable`	$CURRENTJUSTIFICATION$
`static StellaSpecialVariable`	$CURRENTLYEXECUTINGFORWARDCHAININGQUEUE$ Points to an active queue of propositions that will trigger forward inference.
`static boolean`	$CYC_KLUDGES_ENABLEDp$
`static boolean`	$DEBUG_MODEp$ If set to TRUE, simplify printing so that it doesn't break during a debugging session.
`static int`	$DEFAULT_EXPLANATION_DEPTH$ Maximal explanation depth used if not otherwise specified.
`static int`	$DEFAULT_MAXIMUM_DEPTH$ Possibly a good value for the maximum backtracking depth.
`static List`	$DEFAULT_POWERLOOM_FEATURES$ List of PowerLoom environment features enabled upon call to 'reset-features'.
`static StellaSpecialVariable`	$DEFAULTCREATIONTYPE$
`static StellaSpecialVariable`	$DEFERINGDEFAULTFORWARDINFERENCESp$ True if we are propagating strict inferences, and posting derived default propositions to temporary queues.
`static List`	$DELETED_CASE_VARIABLES$
`static Cons`	$DEMO_FILES$ List of example demo files.
`static StellaSpecialVariable`	$DEMO_LEVEL$
`static StellaSpecialVariable`	$DERIVE_DEFERRED_SATELLITE_RULES_INVOCATIONS$
`static StellaSpecialVariable`	$DESCRIPTIONUNDERCONSTRUCTION$ Pofints to a description or its parse tree which is the input to the description being constructed.
`static StellaSpecialVariable`	$DISTRIBUTEDOPENGOALp$ Used by 'distribute-open-goal' to signal that a goal was distributed by 'help-distribute-goal'.
`static StellaSpecialVariable`	$DONT_CHECK_FOR_DUPLICATE_PROPOSITIONSp$ If TRUE never check for the existence of duplicate propositions when building a new proposition.
`static StellaSpecialVariable`	$DONTUSEDEFAULTKNOWLEDGEp$ Controls whether queries use default knowledge or not.
`static StellaSpecialVariable`	$DOWNCASEOPERATORSp$ Controls whether down-casing happens during logical form printing (leading to lots more string garbage).
`static boolean`	$DROP_FUNCTION_VALUESp$
`static int`	$DUPLICATE_GOAL_SEARCH_DEPTH$ Sets the maximum number of frames search looking for a duplicate subgoal.
`static int`	$DUPLICATE_RULE_SEARCH_DEPTH$ Set limit on number of frames searched looking for a duplicate rule.
`static Keyword`	$DUPLICATE_SUBGOAL_STRATEGY$ Determines what kind of duplicate subgoal test to use.
`static int`	$DUPLICATEINSTANCESCACHECROSSOVERPOINT$ Point where a cache of generated instances in a description extension iterator is switched from a list to a hash table
`static boolean`	$EMIT_THINKING_DOTSp$ When TRUE, various kinds of characters are emitted to STANDARD-OUTPUT while PowerLoom is 'thinking'.
`static boolean`	$ENABLE_USER_THING$
`static boolean`	$ENFORCE_LINKED_VARIABLES$
`static boolean`	$EQUIVALENCE_COLLECTIONSp$ Experiment with equality reasoning on collections.
`static double`	$ERROR_CUTOFF$
`static int`	$ERROR_PRINT_CYCLE$
`static StellaSpecialVariable`	$EVALUATIONMODE$ Indicates the context for evaluating a proposition.
`static StellaSpecialVariable`	$EXCLUDEDPROPOSITIONS$ List of propositions that shouldn't be saved by `saveModule`.
`static java.lang.String`	$EXPLANATION_ASSERTION_MARKER$
`static StellaSpecialVariable`	$EXPLANATION_AUDIENCE$ Keywords that controls the language for justifications.
`static java.lang.String`	$EXPLANATION_CUTOFF_MARKER$
`static java.lang.String`	$EXPLANATION_FAILURE_MARKER$
`static StellaSpecialVariable`	$EXPLANATION_FORMAT$ Keyword to control the explanation format.
`static java.lang.String`	$EXPLANATION_INFERENCE_MARKER$
`static StellaSpecialVariable`	$EXPLANATION_STYLE$ Keywords that controls how detailed explanations will be.
`static java.lang.String`	$EXPLANATION_TAB_STRING$
`static KeyValueList`	$EXPLANATION_VOCABULARIES$ List of vocabularies with keyword keys
`static StellaSpecialVariable`	$EXPLANATION_VOCABULARY$ The currently active vocabulary lookup table
`static int`	$EXPRESSION_SIZE_CUTOFF$ Limit on how big an s-expression we will print within an error message.
`static StellaSpecialVariable`	$EXTERNALVARIABLES$ Used by 'evaluate-DESCRIPTION-term' for collecting a list of variables declared external to the description in which they are referenced.
`static boolean`	$FAIL_UNBOUND_CLAUSESp$
`static int`	$FAILED_GOAL_CUTOFFS$
`static Vector`	$FAILED_GOALS_CACHE$
`static Cons`	$FILE_LOAD_PATH$
`static StellaSpecialVariable`	$FILLINGCONSTRAINTPROPAGATIONQUEUESp$ True if we are inside of 'react-to-kb-update'.
`static StellaSpecialVariable`	$FINALIZEOBJECTSIMMEDIATELYp$
`static StellaSpecialVariable`	$FINDSUPERSANDSUBSDESCRIPTION$ Points to a possibly unnamed description being temporarily classified.
`static FloatHashTable`	$FLOAT_LOGIC_WRAPPER_TABLE$
`static StellaSpecialVariable`	$FREESKOLEMS$ Cons-list of top-level existentially-quantified skolems.
`static StellaSpecialVariable`	$GENERATE_ALL_PROOFSp$ If TRUE, the backchainer follows all lines of proof for each goal, rather than switching to a new goal once the first proof of a goal is achieved.
`static boolean`	$GLOBALLY_CLOSED_COLLECTIONSp$ If TRUE, all collections are assumed to be closed.
`static boolean`	$GREEDY_NETWORK_PRUNING$
`static boolean`	$HANDLE_EXPLICITLY_QUALIFIED_LOGIC_OBJECTSp$
`static TaxonomyGraph`	$IMPLICATION_SUBSUMPTION_GRAPH$
`static int`	$INDENT_QUANTUM$ The number of spaces added by a call to 'increase-indent'.
`static StellaSpecialVariable`	$INDENTCOUNTER$ The number of spaces prepended during printing a logical form.
`static boolean`	$INDUCE_RULES_FROM_SIGNATURES$
`static List`	$INDUCED_DECISION_RULES$
`static int`	$INDUCED_RULE_COUNTER$
`static StellaSpecialVariable`	$INFERENCELEVEL$ Specifies the level/depth of inference applied during a query.
`static StellaSpecialVariable`	$INHIBITOBJECTFINALIZATIONp$ Used to prevent finalization from triggering in the middle of 'delicate' computations.
`static int`	$INITIAL_BACKTRACKING_DEPTH$ Value of the initial depth used during an interative deepening search.
`static IntegerHashTable`	$INTEGER_LOGIC_WRAPPER_TABLE$
`static StellaSpecialVariable`	$INVISIBLEASSERTIONp$ Used to signal an assertion that doesn't blow away inference caches.
`static boolean`	$ITERATIVE_DEEPENING_MODEp$ Default setting.
`static boolean`	$JUST_IN_TIME_FORWARD_INFERENCEp$ If TRUE, ensures that forward propagation has been applied to each instance 'touched' during a query.
`static Cons`	$KIF_SENTENCE_OPERATORS$
`static Cons`	$KIF_TERM_OPERATORS$
`static Keyword`	$LAST_KB_ACTION$ Records whether the last KB access was a query or an update.
`static boolean`	$LAZY_SATELLITE_RULESp$ If true, inversion of forall propositions happens lazily.
`static Vector`	$LEARNING_CURVE$
`static double`	$LEARNING_RATE$
`static StellaSpecialVariable`	$LOADINGREGENERABLEOBJECTSp$ If TRUE, objects being created are regenerable, and should not be indexed using the backlinks procedures.
`static boolean`	$LOG_ANTECEDENT_CONSTRUCTION$
`static boolean`	$LOG_DECISION_RULE_CONSTRUCTION$
`static boolean`	$LOG_INDUCED_RULES$
`static boolean`	$LOG_MATCH_RULES$
`static java.lang.String`	$LOGIC_COMMAND_RESULT_INDENT$
`static KeyValueList`	$LOGIC_DIALECT_PRINT_FUNCTIONS$ Table to allow extension of the logical form printing code by associating keywords with print functions.
`static StellaSpecialVariable`	$LOGIC_DIALECT$ Indicates the current dialect of logic used to phrase queries, assertions, and definitions.
`static Module`	$LOGIC_MODULE$
`static java.lang.String`	$LOGIC_PROMPT$ The prompt used by the PowerLoom listener.
`static Cons`	$LOGIC_RELEVANT_STELLA_COMMANDS$
`static StellaSpecialVariable`	$LOGICVARIABLETABLE$ Table mapping logic variable names to variables or skolems.
`static List`	$MASTER_NEURAL_NETWORK_LIST$
`static int`	$MAX_INLINE_LABEL_LENGTH$ Maximum length of a label string for which the following proposition will be printed on the same line.
`static double`	$MAX_MOVEMENT$
`static int`	$MAX_STRUCTURE_DEPTH$
`static StellaSpecialVariable`	$MAX_WHYNOT_PROOF_CLASS_DEVIATIONS$
`static int`	$MAXIMUM_BACKTRACKING_DEPTH$ Value for the maximum depth allowable during backtrack search.
`static double`	$MAXIMUM_SCORE_CUTOFF$ Positive scores above maximum-score-cutoff get trimmed to 1.0 during partial match operations.
`static int`	$MIN_CLOCK_TICKS_PER_WHYNOT_ANTECEDENT$
`static double`	$MINIMUM_SCORE_CUTOFF$ Positive scores below minimum-score-cutoff get trimmed to 0.0 during partial match operations.
`static KeyValueList`	$MISSING_KEY_VALUE_LIST$ Represents a key-value list that should never be used.
`static double`	$MODE_SWITCH$
`static double`	$MOMENTUM_TERM$
`static StellaSpecialVariable`	$MOST_RECENT_EXPLANATION_MAPPING$
`static QueryIterator`	$MOST_RECENT_QUERY$
`static StellaSpecialVariable`	$NATURALDEDUCTIONMODEp$ When enabled, blocks normalizations that significantly change the behavior of inference rules.
`static Keyword`	$NEURAL_NETWORK_TRAINING_METHOD$
`static int`	$NOW_TIMESTAMP$ The NOW time stamp is incremented whenever a series of one or more updates is followed by a query.
`static int`	$NUM_CASES$
`static int`	$NUM_LGGS$
`static int`	$NUM_NEIGHBORS$
`static int`	$NUM_TRAINING_PER_CASE$
`static boolean`	$ONLY_VARIABLIZE_VISITED_INSTANCES$
`static PropertyList`	$OPERATOR_NAME_TO_SURROGATE_TABLE$ Maps names of KIF operators to relational surrogates.
`static int`	$OPTIMAL_GOAL_ORDERING_CUTOFF$
`static StellaSpecialVariable`	$OPTIMALGOALORDERINGRECURSIONS$
`static boolean`	$OPTIMIZE_INDUCED_QUERIES$
`static List`	$PARALLEL_STRATEGIES$ List of strategies (keywords) that fork a parallel control stack before executing.
`static Keyword`	$PARTIAL_MATCH_MODE$
`static List`	$PARTIAL_SUPPORT_CACHE$
`static int`	$PARTIAL_SUPPORT_COUNTER$
`static Module`	$PL_ANONYMOUS_MODULE$
`static Module`	$PL_KERNEL_MODULE$
`static Cons`	$PLANABLE_PREDICATES$
`static boolean`	$PLANNING_MODE$
`static StellaSpecialVariable`	$POSTOPTIMIZATIONp$ Used by 'simplify-description' to permit application of order-dependent optimizations.
`static Keyword`	$POWERLOOM_EXECUTION_MODE$ Either :development, :debugging or :release (so far) which controls whether certain internal error and warning messages are surfaced to the user.
`static Cons`	$POWERLOOM_KB_FILE_EXTENSIONS$ If the extension of a KB file is unspecified in a `load` or `demo` command, try to find it with one of these extensions.
`static java.lang.Object`	$POWERLOOM_LOCK$ Lock object for synchronizing safe multi-process access to PowerLoom
`static int`	$POWERLOOM_MAJOR_VERSION_NUMBER$
`static int`	$POWERLOOM_MINOR_VERSION_NUMBER$
`static int`	$POWERLOOM_PATCH_LEVEL$
`static java.lang.String`	$POWERLOOM_RELEASE_STATE$
`static java.lang.String`	$POWERLOOM_VERSION_STRING$
`static StellaSpecialVariable`	$PRETTYPRINTKIFp$ Controls whether KIF expressions print on single lines (unformatted) or multi-line indented.
`static StellaSpecialVariable`	$PRETTYPRINTLOGICALFORMSp$ Controls whether logical forms print on single lines (unformatted) or multi-line indented.
`static boolean`	$PRINT_CASE_DISTANCES$
`static StellaSpecialVariable`	$PRINTFUNCTIONSASRELATIONSp$ Controls whether functions are printed as relations (F i v) or as functions (= (F i) v).
`static StellaSpecialVariable`	$PRINTINFRAME$ If set, controls diagnostic printing by making variable bindings appear relative to the frame 'printInFrame'.
`static StellaSpecialVariable`	$PRINTLOGICALFORMSTREAM$ Eliminates necessity of passing stream argument throughout 'print-logical-form' functions.
`static StellaSpecialVariable`	$PRINTMODE$ Controls the kind of detail that gets printed about individual objects.
`static StellaSpecialVariable`	$PROMPT_SHOW_MODULEp$ Flag to control whether the logic prompt shows the module name.
`static int`	$PROTOTYPE_ID_COUNTER$
`static HashTable`	$QUERY_CACHE$ Caches in-line queries, so that they don't have to be reparsed and reoptimized each time they are invoked.
`static Keyword`	$QUERY_OPTIMIZATION_STRATEGY$ Keyword indicating what clause reordering strategy should be used for conjunctive queries.
`static StellaSpecialVariable`	$QUERYITERATOR$ Points to the query iterator for the currently executing query.
`static StellaSpecialVariable`	$QUERYOPTIMIZERCONTROLFRAME$ Keeps track of last control frame allocated by the query optimizer.
`static StellaSpecialVariable`	$RECORD_JUSTIFICATIONSp$ If TRUE every query records justifications to enable the explanation of concluded results.
`static StellaSpecialVariable`	$RECURSIVEGETCOMPLEMENTARGUMENT$ Used to prevent infinite looping.
`static StellaSpecialVariable`	$REVERSEPOLARITYp$ Signals atomic proposition provers that polarity is negative.
`static Keyword`	$RULE_COMBINATION$
`static Keyword`	$RULE_INDUCTION_STRATEGY$
`static int`	$SAVE_NETWORK_CYCLE$
`static java.lang.String`	$SAVE_NETWORK_FILE$
`static PropositionNeuralNetwork`	$SAVED_NET$
`static List`	$SEEN_INSTANCES$
`static double`	$SHRINK_FACTOR$
`static double`	$SIGMOID_PRIME_OFFSET$
`static Keyword`	$SIGNATURE_STRATEGY$
`static int`	$SIMILAR_WHYNOT_PROOF_CUTOFF$
`static boolean`	$SIMPLIFY_RULE_ANTECEDENTp$ Flag to control whether we try to simplify the rule antecedent.
`static int`	$SKOLEM_ID_COUNTER$
`static StellaSpecialVariable`	$SKOLEMNAMEMAPPINGTABLE$ If set, maps some skolems to names other than their own.
`static int`	$SPECIALIZED_BACKLINKS_CROSSOVER_POINT$ When 'dependent-propositions-list' gets this long in a backlinks index, then we create a hash table index and other specialized indices.
`static StellaSpecialVariable`	$SPECIALMARKERTABLE$ Special variable that points to the marker table referenced by the function 'test-special-marker-table?'.
`static StringHashTable`	$STRING_LOGIC_WRAPPER_TABLE$
`static KeyValueMap`	$STRUCTURED_OBJECTS_INDEX$ Contains a table of propositions and descriptions, indexed by a structure hash code which might be shared by different objects.
`static int`	$SUCCEEDED_GOAL_CUTOFFS$
`static Vector`	$SUCCEEDED_GOALS_CACHE$
`static StellaSpecialVariable`	$SUPPRESSINSERTIONINTOCLASSEXTENSIONp$ Used when creating a skolem (e.g., a prototype) that isn't visible in the corresponding class extension.
`static StellaSpecialVariable`	$SUPPRESSNONLOGICOBJECTWARNINGp$
`static StellaSpecialVariable`	$SUPPRESSUNTYPEDTYPEERRORp$ Used by 'safe-logical-type' to ask for a type without signalling an error if none exists.
`static HashTable`	$SYMBOL_VARIABLE_HASH_TABLE$
`static List`	$TABOO_OPERATORS$
`static StellaSpecialVariable`	$TERMSOURCEBEINGPARSED$ Points to the source of the relation being parsed.
`static StellaSpecialVariable`	$TERMUNDERCONSTRUCTION$ Points to the parse tree which is the input to the proposition being constructed.
`static List`	$TESTING_EXAMPLES$
`static int`	$THINKING_DOT_COUNTER$ Used to determine when to generate linefeeds after forty-or-so thinking dots.
`static PropertyList`	$THINKING_DOT_TABLE$ Maps kind of thinking keywords to characters.
`static StellaSpecialVariable`	$TOPLEVELPRINTKIFPROPOSITIONp$
`static boolean`	$TRACE_FOIL$
`static boolean`	$TRACE_ID3$
`static boolean`	$TRACE_NEURAL_NETWORK_TRAINING$
`static boolean`	$TRAIN_CACHED_NETWORKSp$
`static List`	$TRAINING_EXAMPLES$
`static Keyword`	$TYPE_CHECK_POLICY$ Three policies are implemented: :AUTOMATICALLY-FIX-TYPE-VIOLATIONS asserts missing types to fix type violations (default), :REPORT-TYPE-VIOLATIONS complains about missing or incorrect types, :SIGNAL-TYPE-VIOLATIONS throws exception for missing or incorrect types, and :IGNORE-TYPE-VIOLATIONS which disables all type checking.
`static StellaSpecialVariable`	$TYPE_CHECK_STRATEGY$ Determines whether there is a slow but thorough type test when variables are bound, a fast but very shallow one, or none.
`static StellaSpecialVariable`	$TYPECHECKMODE$ Controls the behavior of the type-checking routines in the event that a type-check fails.
`static List`	$UNFINALIZED_OBJECTS$ List of objects whose definitions and/or associated axioms and constraints are not yet processed.
`static StellaSpecialVariable`	$UNIFICATION_VECTOR_1$
`static StellaSpecialVariable`	$UNIFICATION_VECTOR_2$
`static StellaSpecialVariable`	$UNIFY_PROPOSITIONSp$
`static StellaSpecialVariable`	$VARIABLEIDCOUNTER$
`static StellaSpecialVariable`	$VARIABLETYPEPROPOSITIONS$ List of propositions extracted from parsing a list of quantified, typed variables.
`static List`	$VISITED_INSTANCES$
`static List`	$VISITED_PROPOSITIONS$
`static StellaSpecialVariable`	$VISITEDUNFASTENEDDEFININGPROPOSITIONS$ Used by 'recursively-fasten-down-propositions'.
`static double`	$WEIGHT_DECAY$
`static double`	$WEIGHT_RANGE$
`static Symbol`	`ANONYMOUS_VARIABLE_NAME` Variables with name 'ANONYMOUS-VARIABLE-NAME' are considered anonymous, and are not assumed to be identical to any other variable also named 'ANONYMOUS-VARIABLE-NAME'.
`static AssertionInferenceLevel`	`ASSERTION_INFERENCE`
`static BacktrackingInferenceLevel`	`BACKTRACKING_INFERENCE`
`static LogicObject`	`BOTTOM` The undefined individual.
`static TruthValue`	`DEFAULT_FALSE_TRUTH_VALUE` Value representing DEFAULT-FALSE.
`static TruthValue`	`DEFAULT_TRUE_TRUTH_VALUE` Value representing DEFAULT-TRUE.
`static Iterator`	`EMPTY_PROPOSITIONS_ITERATOR` This iterator returns no values whenever its called.
`static double`	`ESTIMATED_CARDINALITY_OF_DESCRIPTION` Indefensible estimate of the number instances generable by an arbitrary unnamed description.
`static double`	`ESTIMATED_CARDINALITY_OF_MEMBER_OF` Even more indefensible estimate of the number instances generable by a 'member-of' predicate.
`static double`	`ESTIMATED_CARDINALITY_OF_SUBSET_OF` Egregiously indefensible estimate of the number instances generable by a 'subset-of' predicate.
`static double`	`ESTIMATED_NUMBER_OF_PREDICATE_BINDINGS` Very crude estimate of the number of stored propositions that will match a predicate at least one of whose arguments are bound.
`static double`	`ESTIMATED_SIZE_OF_CLASS_EXTENSION` Must be greater than ESTIMATED-NUMBER-OF-PREDICATE-BINDINGS to force the optimizer to prefer predicates containing at least one bound variable.
`static double`	`ESTIMATED_SLOT_VALUE_COLLECTION_SIZE` Estimate of the average size of a collection representing the fillers of a slot.
`static Vector`	`FAKE_IO_VARIABLES` Installed in a description with undetermined arity.
`static Proposition`	`FALSE_PROPOSITION`
`static TruthValue`	`FALSE_TRUTH_VALUE` Value representing FALSE.
`static TruthValue`	`INCONSISTENT_TRUTH_VALUE` Value representing a contradiction.
`static double`	`INFERABLE_PENALTY_COST` Amount of penalty for using inferable relations as goals.
`static Keyword`	`KWD__g`
`static Keyword`	`KWD_3_VALUED_P`
`static Keyword`	`KWD_ABOUT`
`static Keyword`	`KWD_ALL`
`static Keyword`	`KWD_ALL_SUBGOAL_STRATEGIES`
`static Keyword`	`KWD_AMPLIFICATION`
`static Keyword`	`KWD_AND`
`static Keyword`	`KWD_AND_INTRODUCTION`
`static Keyword`	`KWD_ANNOTATIONS`
`static Keyword`	`KWD_ANTECEDENTS`
`static Keyword`	`KWD_ARITY`
`static Keyword`	`KWD_ASCII`
`static Keyword`	`KWD_ASSERT`
`static Keyword`	`KWD_ASSERT_FALSE`
`static Keyword`	`KWD_ASSERT_TRUE`
`static Keyword`	`KWD_ASSERTION`
`static Keyword`	`KWD_ATOMIC_GOAL`
`static Keyword`	`KWD_ATTRIBUTES`
`static Keyword`

static boolean

$ACCELERATE_FRAME_COMPUTATIONSp$
Used to test how big is the effect of the frame specialists.

static List

$ACTIVATED_NETWORKS$

static StellaSpecialVariable

$ADDEDNEWTYPEp$
Used by 'infer-variable-types'.

static boolean

$ALLOW_RECURSIVE_DECISION_NODES$

static boolean

$AND_MISSED_A_BINDING$

static Cons

$ANNOTATION_TRANSLATION_TABLE$

static boolean

$AUTO_COERCE_PROPOSITIONAL_ARGUMENTSp$
If TRUE, automatically coerce propositional arguments of a proposition, even if the corresponding argument type of the hosting relation doesn't indicate that.

static char

$AUTOMATIC_INSTANCE_CHARACTER$
Character that identifies variables representing instances named by the system.

static StellaSpecialVariable

$AUTOMATICINSTANCETABLE$
Used by 'evaluate-automatic-instance' to record current bindings of automatic instance symbols.

static List

$AVAILABLE_POWERLOOM_FEATURES$
List of PowerLoom environment features.

static boolean

$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$
If TRUE, wrap all literal proposition arguments so that they can all support backlink indices.

static int

$BASE_COUNTER$

static BooleanVectorIndexNode

$BOOLEAN_VECTOR_INDEX$
Points to the head of a discrimination tree of containing all boolean vectors.

static StellaSpecialVariable

$BOTTOM_UP_VARIABLE_COUNTER$

static StellaSpecialVariable

$BOUNDTOOFFSETCOUNTER$
Enables 'select-optimal-query-pattern' to tell 'copy-variables-vector' that it should initialize the 'bound-to-offset' slot of each variable in the copy operation.

static Cons

$BUILT_IN_MODULE_NAMES$

static boolean

$CACHE_FAILED_GOALSp$

static int

$CACHE_GOAL_QUANTUM$
Only goals whose success or failure took at least this number of query clock ticks will be cached.

static boolean

$CACHE_INFERABLE_SUBCOLLECTIONSp$
If TRUE, prevents caching of computations of all inferable subcollections of a collection.

static boolean

$CACHE_SUCCEEDED_GOALSp$

static Vector

$CANDIDATE_CLAUSES$

static StellaSpecialVariable

$CANONICALVARIABLECOUNTER$
Number of the last canonically-mapped variable.

static StellaSpecialVariable

$CANONICALVARIABLENAMEMAPPING$
Maps variables to symbols in SYSTEM-DEFINED-ARGUMENT-NAMES.

static StellaSpecialVariable

$CAREFUL_LOGIC_COMMAND_LOOP_EXIT$p
If TRUE exiting from the logic-command loop (or PowerLoom listener) will be protected by a confirmation dialog.

static StringHashTable

$CASE_ANTECEDENT_TABLE$

static HashTable

$CASE_NAME_TABLE$

static List

$CASE_RULE_NAMES$

static Keyword

$CASE_SOLUTION_COMBINATION$

static StringHashTable

$CASE_TYPES_TABLE$

static int

$CASE_VARIABLE_COUNTER$

static KeyValueList

$CHECK_TYPES_AGENDA$
List of propositions that have failed a type check, but might pass once finalization is complete.

static StellaSpecialVariable

$CLASSIFICATIONSESSION$
Points to state of on-going classification session.

static StellaSpecialVariable

$CLASSIFY_FROM_NON_INFERABLE_PARENTS_ONLYp$
If true (the default) only consider those relations (or instances) for classification that have at least one non-inferable parent (or type).

static StellaSpecialVariable

$CLIPPINGENABLEDp$
When enabled, slot-value assertions can be retracted by later conflicting assertions.

static boolean

$CLOSED_WORLD_TRAINING_EXAMPLES$

static StellaSpecialVariable

$COLLECTFORWARDPROPOSITIONS$
Collect goes-true propositions produced by forward chaining.

static StellaSpecialVariable

$COMPUTEDQUERYp$
Used to signal 'ground-value-of' that it can call 'bound-to' safely.

static boolean

$CONTEXT_DEPENDENT_SEARCH_MODEp$
Signals that we are performing search across multiple contexts.

static int

$CONTROL_FRAME_ID_COUNTER$
Generates unique IDs for control frames.

static List

$CURRENT_POWERLOOM_FEATURES$
List of currently enabled PowerLoom environment features.

static StellaSpecialVariable

$CURRENTJUSTIFICATION$

static StellaSpecialVariable

$CURRENTLYEXECUTINGFORWARDCHAININGQUEUE$
Points to an active queue of propositions that will trigger forward inference.

static boolean

$CYC_KLUDGES_ENABLEDp$

static boolean

$DEBUG_MODEp$
If set to TRUE, simplify printing so that it doesn't break during a debugging session.

static int

$DEFAULT_EXPLANATION_DEPTH$
Maximal explanation depth used if not otherwise specified.

static int

$DEFAULT_MAXIMUM_DEPTH$
Possibly a good value for the maximum backtracking depth.

static List

$DEFAULT_POWERLOOM_FEATURES$
List of PowerLoom environment features enabled upon call to 'reset-features'.

static StellaSpecialVariable

$DEFAULTCREATIONTYPE$

static StellaSpecialVariable

$DEFERINGDEFAULTFORWARDINFERENCESp$
True if we are propagating strict inferences, and posting derived default propositions to temporary queues.

static List

$DELETED_CASE_VARIABLES$

static Cons

$DEMO_FILES$
List of example demo files.

static StellaSpecialVariable

$DEMO_LEVEL$

static StellaSpecialVariable

$DERIVE_DEFERRED_SATELLITE_RULES_INVOCATIONS$

static StellaSpecialVariable

$DESCRIPTIONUNDERCONSTRUCTION$
Pofints to a description or its parse tree which is the input to the description being constructed.

static StellaSpecialVariable

$DISTRIBUTEDOPENGOALp$
Used by 'distribute-open-goal' to signal that a goal was distributed by 'help-distribute-goal'.

static StellaSpecialVariable

$DONT_CHECK_FOR_DUPLICATE_PROPOSITIONSp$
If TRUE never check for the existence of duplicate propositions when building a new proposition.

static StellaSpecialVariable

$DONTUSEDEFAULTKNOWLEDGEp$
Controls whether queries use default knowledge or not.

static StellaSpecialVariable

$DOWNCASEOPERATORSp$
Controls whether down-casing happens during logical form printing (leading to lots more string garbage).

static boolean

$DROP_FUNCTION_VALUESp$

static int

$DUPLICATE_GOAL_SEARCH_DEPTH$
Sets the maximum number of frames search looking for a duplicate subgoal.

static int

$DUPLICATE_RULE_SEARCH_DEPTH$
Set limit on number of frames searched looking for a duplicate rule.

static Keyword

$DUPLICATE_SUBGOAL_STRATEGY$
Determines what kind of duplicate subgoal test to use.

static int

$DUPLICATEINSTANCESCACHECROSSOVERPOINT$
Point where a cache of generated instances in a description extension iterator is switched from a list to a hash table

static boolean

$EMIT_THINKING_DOTSp$
When TRUE, various kinds of characters are emitted to STANDARD-OUTPUT while PowerLoom is 'thinking'.

static boolean

$ENABLE_USER_THING$

static boolean

$ENFORCE_LINKED_VARIABLES$

static boolean

$EQUIVALENCE_COLLECTIONSp$
Experiment with equality reasoning on collections.

static double

$ERROR_CUTOFF$

static int

$ERROR_PRINT_CYCLE$

static StellaSpecialVariable

$EVALUATIONMODE$
Indicates the context for evaluating a proposition.

static StellaSpecialVariable

$EXCLUDEDPROPOSITIONS$
List of propositions that shouldn't be saved by saveModule.

static java.lang.String

$EXPLANATION_ASSERTION_MARKER$

static StellaSpecialVariable

$EXPLANATION_AUDIENCE$
Keywords that controls the language for justifications.

static java.lang.String

$EXPLANATION_CUTOFF_MARKER$

static java.lang.String

$EXPLANATION_FAILURE_MARKER$

static StellaSpecialVariable

$EXPLANATION_FORMAT$
Keyword to control the explanation format.

static java.lang.String

$EXPLANATION_INFERENCE_MARKER$

static StellaSpecialVariable

$EXPLANATION_STYLE$
Keywords that controls how detailed explanations will be.

static java.lang.String

$EXPLANATION_TAB_STRING$

static KeyValueList

$EXPLANATION_VOCABULARIES$
List of vocabularies with keyword keys

static StellaSpecialVariable

$EXPLANATION_VOCABULARY$
The currently active vocabulary lookup table

static int

$EXPRESSION_SIZE_CUTOFF$
Limit on how big an s-expression we will print within an error message.

static StellaSpecialVariable

$EXTERNALVARIABLES$
Used by 'evaluate-DESCRIPTION-term' for collecting a list of variables declared external to the description in which they are referenced.

static boolean

$FAIL_UNBOUND_CLAUSESp$

static int

$FAILED_GOAL_CUTOFFS$

static Vector

$FAILED_GOALS_CACHE$

static Cons

$FILE_LOAD_PATH$

static StellaSpecialVariable

$FILLINGCONSTRAINTPROPAGATIONQUEUESp$
True if we are inside of 'react-to-kb-update'.

static StellaSpecialVariable

$FINALIZEOBJECTSIMMEDIATELYp$

static StellaSpecialVariable

$FINDSUPERSANDSUBSDESCRIPTION$
Points to a possibly unnamed description being temporarily classified.

static FloatHashTable

$FLOAT_LOGIC_WRAPPER_TABLE$

static StellaSpecialVariable

$FREESKOLEMS$
Cons-list of top-level existentially-quantified skolems.

static StellaSpecialVariable

$GENERATE_ALL_PROOFSp$
If TRUE, the backchainer follows all lines of proof for each goal, rather than switching to a new goal once the first proof of a goal is achieved.

static boolean

$GLOBALLY_CLOSED_COLLECTIONSp$
If TRUE, all collections are assumed to be closed.

static boolean

$GREEDY_NETWORK_PRUNING$

static boolean

$HANDLE_EXPLICITLY_QUALIFIED_LOGIC_OBJECTSp$

static TaxonomyGraph

$IMPLICATION_SUBSUMPTION_GRAPH$

static int

$INDENT_QUANTUM$
The number of spaces added by a call to 'increase-indent'.

static StellaSpecialVariable

$INDENTCOUNTER$
The number of spaces prepended during printing a logical form.

static boolean

$INDUCE_RULES_FROM_SIGNATURES$

static List

$INDUCED_DECISION_RULES$

static int

$INDUCED_RULE_COUNTER$

static StellaSpecialVariable

$INFERENCELEVEL$
Specifies the level/depth of inference applied during a query.

static StellaSpecialVariable

$INHIBITOBJECTFINALIZATIONp$
Used to prevent finalization from triggering in the middle of 'delicate' computations.

static int

$INITIAL_BACKTRACKING_DEPTH$
Value of the initial depth used during an interative deepening search.

static IntegerHashTable

$INTEGER_LOGIC_WRAPPER_TABLE$

static StellaSpecialVariable

$INVISIBLEASSERTIONp$
Used to signal an assertion that doesn't blow away inference caches.

static boolean

$ITERATIVE_DEEPENING_MODEp$
Default setting.

static boolean

$JUST_IN_TIME_FORWARD_INFERENCEp$
If TRUE, ensures that forward propagation has been applied to each instance 'touched' during a query.

static Cons

$KIF_SENTENCE_OPERATORS$

static Cons

$KIF_TERM_OPERATORS$

static Keyword

$LAST_KB_ACTION$
Records whether the last KB access was a query or an update.

static boolean

$LAZY_SATELLITE_RULESp$
If true, inversion of forall propositions happens lazily.

static Vector

$LEARNING_CURVE$

static double

$LEARNING_RATE$

static StellaSpecialVariable

$LOADINGREGENERABLEOBJECTSp$
If TRUE, objects being created are regenerable, and should not be indexed using the backlinks procedures.

static boolean

$LOG_ANTECEDENT_CONSTRUCTION$

static boolean

$LOG_DECISION_RULE_CONSTRUCTION$

static boolean

$LOG_INDUCED_RULES$

static boolean

$LOG_MATCH_RULES$

static java.lang.String

$LOGIC_COMMAND_RESULT_INDENT$

static KeyValueList

$LOGIC_DIALECT_PRINT_FUNCTIONS$
Table to allow extension of the logical form printing code by associating keywords with print functions.

static StellaSpecialVariable

$LOGIC_DIALECT$
Indicates the current dialect of logic used to phrase queries, assertions, and definitions.

static Module

$LOGIC_MODULE$

static java.lang.String

$LOGIC_PROMPT$
The prompt used by the PowerLoom listener.

static Cons

$LOGIC_RELEVANT_STELLA_COMMANDS$

static StellaSpecialVariable

$LOGICVARIABLETABLE$
Table mapping logic variable names to variables or skolems.

static List

$MASTER_NEURAL_NETWORK_LIST$

static int

$MAX_INLINE_LABEL_LENGTH$
Maximum length of a label string for which the following proposition will be printed on the same line.

static double

$MAX_MOVEMENT$

static int

$MAX_STRUCTURE_DEPTH$

static StellaSpecialVariable

$MAX_WHYNOT_PROOF_CLASS_DEVIATIONS$

static int

$MAXIMUM_BACKTRACKING_DEPTH$
Value for the maximum depth allowable during backtrack search.

static double

$MAXIMUM_SCORE_CUTOFF$
Positive scores above *maximum-score-cutoff* get trimmed to 1.0 during partial match operations.

static int

$MIN_CLOCK_TICKS_PER_WHYNOT_ANTECEDENT$

static double

$MINIMUM_SCORE_CUTOFF$
Positive scores below *minimum-score-cutoff* get trimmed to 0.0 during partial match operations.

static KeyValueList

$MISSING_KEY_VALUE_LIST$
Represents a key-value list that should never be used.

static double

$MODE_SWITCH$

static double

$MOMENTUM_TERM$

static StellaSpecialVariable

$MOST_RECENT_EXPLANATION_MAPPING$

static QueryIterator

$MOST_RECENT_QUERY$

static StellaSpecialVariable

$NATURALDEDUCTIONMODEp$
When enabled, blocks normalizations that significantly change the behavior of inference rules.

static Keyword

$NEURAL_NETWORK_TRAINING_METHOD$

static int

$NOW_TIMESTAMP$
The NOW time stamp is incremented whenever a series of one or more updates is followed by a query.

static int

$NUM_CASES$

static int

$NUM_LGGS$

static int

$NUM_NEIGHBORS$

static int

$NUM_TRAINING_PER_CASE$

static boolean

$ONLY_VARIABLIZE_VISITED_INSTANCES$

static PropertyList

$OPERATOR_NAME_TO_SURROGATE_TABLE$
Maps names of KIF operators to relational surrogates.

static int

$OPTIMAL_GOAL_ORDERING_CUTOFF$

static StellaSpecialVariable

$OPTIMALGOALORDERINGRECURSIONS$

static boolean

$OPTIMIZE_INDUCED_QUERIES$

static List

$PARALLEL_STRATEGIES$
List of strategies (keywords) that fork a parallel control stack before executing.

static Keyword

$PARTIAL_MATCH_MODE$

static List

$PARTIAL_SUPPORT_CACHE$

static int

$PARTIAL_SUPPORT_COUNTER$

static Module

$PL_ANONYMOUS_MODULE$

static Module

$PL_KERNEL_MODULE$

static Cons

$PLANABLE_PREDICATES$

static boolean

$PLANNING_MODE$

static StellaSpecialVariable

$POSTOPTIMIZATIONp$
Used by 'simplify-description' to permit application of order-dependent optimizations.

static Keyword

$POWERLOOM_EXECUTION_MODE$
Either :development, :debugging or :release (so far) which controls whether certain internal error and warning messages are surfaced to the user.

static Cons

$POWERLOOM_KB_FILE_EXTENSIONS$
If the extension of a KB file is unspecified in a load or demo command, try to find it with one of these extensions.

static java.lang.Object

$POWERLOOM_LOCK$
Lock object for synchronizing safe multi-process access to PowerLoom

static int

$POWERLOOM_MAJOR_VERSION_NUMBER$

static int

$POWERLOOM_MINOR_VERSION_NUMBER$

static int

$POWERLOOM_PATCH_LEVEL$

static java.lang.String

$POWERLOOM_RELEASE_STATE$

static java.lang.String

$POWERLOOM_VERSION_STRING$

static StellaSpecialVariable

$PRETTYPRINTKIFp$
Controls whether KIF expressions print on single lines (unformatted) or multi-line indented.

static StellaSpecialVariable

$PRETTYPRINTLOGICALFORMSp$
Controls whether logical forms print on single lines (unformatted) or multi-line indented.

static boolean

$PRINT_CASE_DISTANCES$

static StellaSpecialVariable

$PRINTFUNCTIONSASRELATIONSp$
Controls whether functions are printed as relations (F i v) or as functions (= (F i) v).

static StellaSpecialVariable

$PRINTINFRAME$
If set, controls diagnostic printing by making variable bindings appear relative to the frame '*printInFrame*'.

static StellaSpecialVariable

$PRINTLOGICALFORMSTREAM$
Eliminates necessity of passing stream argument throughout 'print-logical-form' functions.

static StellaSpecialVariable

$PRINTMODE$
Controls the kind of detail that gets printed about individual objects.

static StellaSpecialVariable

$PROMPT_SHOW_MODULEp$
Flag to control whether the logic prompt shows the module name.

static int

$PROTOTYPE_ID_COUNTER$

static HashTable

$QUERY_CACHE$
Caches in-line queries, so that they don't have to be reparsed and reoptimized each time they are invoked.

static Keyword

$QUERY_OPTIMIZATION_STRATEGY$
Keyword indicating what clause reordering strategy should be used for conjunctive queries.

static StellaSpecialVariable

$QUERYITERATOR$
Points to the query iterator for the currently executing query.

static StellaSpecialVariable

$QUERYOPTIMIZERCONTROLFRAME$
Keeps track of last control frame allocated by the query optimizer.

static StellaSpecialVariable

$RECORD_JUSTIFICATIONSp$
If TRUE every query records justifications to enable the explanation of concluded results.

static StellaSpecialVariable

$RECURSIVEGETCOMPLEMENTARGUMENT$
Used to prevent infinite looping.

static StellaSpecialVariable

$REVERSEPOLARITYp$
Signals atomic proposition provers that polarity is negative.

static Keyword

$RULE_COMBINATION$

static Keyword

$RULE_INDUCTION_STRATEGY$

static int

$SAVE_NETWORK_CYCLE$

static java.lang.String

$SAVE_NETWORK_FILE$

static PropositionNeuralNetwork

$SAVED_NET$

static List

$SEEN_INSTANCES$

static double

$SHRINK_FACTOR$

static double

$SIGMOID_PRIME_OFFSET$

static Keyword

$SIGNATURE_STRATEGY$

static int

$SIMILAR_WHYNOT_PROOF_CUTOFF$

static boolean

$SIMPLIFY_RULE_ANTECEDENTp$
Flag to control whether we try to simplify the rule antecedent.

static int

$SKOLEM_ID_COUNTER$

static StellaSpecialVariable

$SKOLEMNAMEMAPPINGTABLE$
If set, maps some skolems to names other than their own.

static int

$SPECIALIZED_BACKLINKS_CROSSOVER_POINT$
When 'dependent-propositions-list' gets this long in a backlinks index, then we create a hash table index and other specialized indices.

static StellaSpecialVariable

$SPECIALMARKERTABLE$
Special variable that points to the marker table referenced by the function 'test-special-marker-table?'.

static StringHashTable

$STRING_LOGIC_WRAPPER_TABLE$

static KeyValueMap

$STRUCTURED_OBJECTS_INDEX$
Contains a table of propositions and descriptions, indexed by a structure hash code which might be shared by different objects.

static int

$SUCCEEDED_GOAL_CUTOFFS$

static Vector

$SUCCEEDED_GOALS_CACHE$

static StellaSpecialVariable

$SUPPRESSINSERTIONINTOCLASSEXTENSIONp$
Used when creating a skolem (e.g., a prototype) that isn't visible in the corresponding class extension.

static StellaSpecialVariable

$SUPPRESSNONLOGICOBJECTWARNINGp$

static StellaSpecialVariable

$SUPPRESSUNTYPEDTYPEERRORp$
Used by 'safe-logical-type' to ask for a type without signalling an error if none exists.

static HashTable

$SYMBOL_VARIABLE_HASH_TABLE$

static List

$TABOO_OPERATORS$

static StellaSpecialVariable

$TERMSOURCEBEINGPARSED$
Points to the source of the relation being parsed.

static StellaSpecialVariable

$TERMUNDERCONSTRUCTION$
Points to the parse tree which is the input to the proposition being constructed.

static List

$TESTING_EXAMPLES$

static int

$THINKING_DOT_COUNTER$
Used to determine when to generate linefeeds after forty-or-so thinking dots.

static PropertyList

$THINKING_DOT_TABLE$
Maps kind of thinking keywords to characters.

static StellaSpecialVariable

$TOPLEVELPRINTKIFPROPOSITIONp$

static boolean

$TRACE_FOIL$

static boolean

$TRACE_ID3$

static boolean

$TRACE_NEURAL_NETWORK_TRAINING$

static boolean

$TRAIN_CACHED_NETWORKSp$

static List

$TRAINING_EXAMPLES$

static Keyword

$TYPE_CHECK_POLICY$
Three policies are implemented: :AUTOMATICALLY-FIX-TYPE-VIOLATIONS asserts missing types to fix type violations (default), :REPORT-TYPE-VIOLATIONS complains about missing or incorrect types, :SIGNAL-TYPE-VIOLATIONS throws exception for missing or incorrect types, and :IGNORE-TYPE-VIOLATIONS which disables all type checking.

static StellaSpecialVariable

$TYPE_CHECK_STRATEGY$
Determines whether there is a slow but thorough type test when variables are bound, a fast but very shallow one, or none.

static StellaSpecialVariable

$TYPECHECKMODE$
Controls the behavior of the type-checking routines in the event that a type-check fails.

static List

$UNFINALIZED_OBJECTS$
List of objects whose definitions and/or associated axioms and constraints are not yet processed.

static StellaSpecialVariable

$UNIFICATION_VECTOR_1$

static StellaSpecialVariable

$UNIFICATION_VECTOR_2$

static StellaSpecialVariable

$UNIFY_PROPOSITIONSp$

static StellaSpecialVariable

$VARIABLEIDCOUNTER$

static StellaSpecialVariable

$VARIABLETYPEPROPOSITIONS$
List of propositions extracted from parsing a list of quantified, typed variables.

static List

$VISITED_INSTANCES$

static List

$VISITED_PROPOSITIONS$

static StellaSpecialVariable

$VISITEDUNFASTENEDDEFININGPROPOSITIONS$
Used by 'recursively-fasten-down-propositions'.

static double

$WEIGHT_DECAY$

static double

$WEIGHT_RANGE$

static Symbol

ANONYMOUS_VARIABLE_NAME
Variables with name 'ANONYMOUS-VARIABLE-NAME' are considered anonymous, and are not assumed to be identical to any other variable also named 'ANONYMOUS-VARIABLE-NAME'.

static AssertionInferenceLevel

ASSERTION_INFERENCE

static BacktrackingInferenceLevel

BACKTRACKING_INFERENCE

static LogicObject

BOTTOM
The undefined individual.

static TruthValue

DEFAULT_FALSE_TRUTH_VALUE
Value representing DEFAULT-FALSE.

static TruthValue

DEFAULT_TRUE_TRUTH_VALUE
Value representing DEFAULT-TRUE.

static Iterator

EMPTY_PROPOSITIONS_ITERATOR
This iterator returns no values whenever its called.

static double

ESTIMATED_CARDINALITY_OF_DESCRIPTION
Indefensible estimate of the number instances generable by an arbitrary unnamed description.

static double

ESTIMATED_CARDINALITY_OF_MEMBER_OF
Even more indefensible estimate of the number instances generable by a 'member-of' predicate.

static double

ESTIMATED_CARDINALITY_OF_SUBSET_OF
Egregiously indefensible estimate of the number instances generable by a 'subset-of' predicate.

static double

ESTIMATED_NUMBER_OF_PREDICATE_BINDINGS
Very crude estimate of the number of stored propositions that will match a predicate at least one of whose arguments are bound.

static double

ESTIMATED_SIZE_OF_CLASS_EXTENSION
Must be greater than ESTIMATED-NUMBER-OF-PREDICATE-BINDINGS to force the optimizer to prefer predicates containing at least one bound variable.

static double

ESTIMATED_SLOT_VALUE_COLLECTION_SIZE
Estimate of the average size of a collection representing the fillers of a slot.

static Vector

FAKE_IO_VARIABLES
Installed in a description with undetermined arity.

static Proposition

FALSE_PROPOSITION

static TruthValue

FALSE_TRUTH_VALUE
Value representing FALSE.

static TruthValue

INCONSISTENT_TRUTH_VALUE
Value representing a contradiction.

static double

INFERABLE_PENALTY_COST
Amount of penalty for using inferable relations as goals.

static Keyword

KWD__g

static Keyword

KWD_3_VALUED_P

static Keyword

KWD_ABOUT

static Keyword

KWD_ALL

static Keyword

KWD_ALL_SUBGOAL_STRATEGIES

static Keyword

KWD_AMPLIFICATION

static Keyword

KWD_AND

static Keyword

KWD_AND_INTRODUCTION

static Keyword

KWD_ANNOTATIONS

static Keyword

KWD_ANTECEDENTS

static Keyword

KWD_ARITY

static Keyword

KWD_ASCII

static Keyword

KWD_ASSERT

static Keyword

KWD_ASSERT_FALSE

static Keyword

KWD_ASSERT_TRUE

static Keyword

KWD_ASSERTION

static Keyword

KWD_ATOMIC_GOAL

static Keyword

KWD_ATTRIBUTES

static Keyword

edu.isi.powerloom.logic Class Logic

edu.isi.powerloom.logic
Class Logic