com.cyc.cycjava.cycl
Class backward_utilities

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.backward_utilities

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class backward_utilities
extends SubLTranslatedFile

Nested Class Summary

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const4$isa
static SubLObject	$const5$genls
static SubLObject	$const6$TheList
static SubLObject	$const8$abnormal
static SubLSymbol	$inference_recursive_query_overhead$ The overhead of doing any recursive ask.
static SubLSymbol	$kw10$POS
static SubLSymbol	$kw9$NEG
static SubLList	$list0
static SubLList	$list1
static SubLList	$list13
static SubLList	$list15
static SubLList	$list7
static SubLSymbol	$sym11$LISTP
static SubLSymbol	$sym12$INFERENCE_CANONICALIZE_HL_SUPPORT_LITERAL
static SubLSymbol	$sym14$INFERENCE_MAKE_COMMUTATIVE_LITERAL
static SubLSymbol	$sym16$CYC_VAR_
static SubLSymbol	$sym2$ASSERTION_P
static SubLSymbol	$sym3$VARIABLE_P
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	additional_source_variable_pos_lits(SubLObject literal, SubLObject dependent_dnf, SubLObject support) Check for variables mentioned in LITERAL but not also mentioned in DEPENDENT-DNF.
static SubLObject	declare_backward_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	direction_is_relevant(SubLObject assertion)
static SubLObject	inference_canonicalize_commutative_args(SubLObject args)
static SubLObject	inference_canonicalize_hl_support_asent(SubLObject asent)
static SubLObject	inference_canonicalize_hl_support_literal(SubLObject asent)
static SubLObject	inference_make_commutative_asent(SubLObject predicate, SubLObject args)
static SubLObject	init_backward_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	relevant_directions()
static SubLObject	rule_relevant_to_proof(SubLObject assertion)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_backward_utilities_file()

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$inference_recursive_query_overhead$

public static SubLSymbol $inference_recursive_query_overhead$

The overhead of doing any recursive ask.

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$sym2$ASSERTION_P

public static final SubLSymbol $sym2$ASSERTION_P

$sym3$VARIABLE_P

public static final SubLSymbol $sym3$VARIABLE_P

$const4$isa

public static final SubLObject $const4$isa

$const5$genls

public static final SubLObject $const5$genls

$const6$TheList

public static final SubLObject $const6$TheList

$list7

public static final SubLList $list7

$const8$abnormal

public static final SubLObject $const8$abnormal

$kw9$NEG

public static final SubLSymbol $kw9$NEG

$kw10$POS

public static final SubLSymbol $kw10$POS

$sym11$LISTP

public static final SubLSymbol $sym11$LISTP

$sym12$INFERENCE_CANONICALIZE_HL_SUPPORT_LITERAL

public static final SubLSymbol $sym12$INFERENCE_CANONICALIZE_HL_SUPPORT_LITERAL

$list13

public static final SubLList $list13

$sym14$INFERENCE_MAKE_COMMUTATIVE_LITERAL

public static final SubLSymbol $sym14$INFERENCE_MAKE_COMMUTATIVE_LITERAL

$list15

public static final SubLList $list15

$sym16$CYC_VAR_

public static final SubLSymbol $sym16$CYC_VAR_

Method Detail

rule_relevant_to_proof

public static final SubLObject rule_relevant_to_proof(SubLObject assertion)

relevant_directions

public static final SubLObject relevant_directions()

direction_is_relevant

public static final SubLObject direction_is_relevant(SubLObject assertion)

additional_source_variable_pos_lits

public static final SubLObject additional_source_variable_pos_lits(SubLObject literal,
                                                                   SubLObject dependent_dnf,
                                                                   SubLObject support)

Check for variables mentioned in LITERAL but not also mentioned in DEPENDENT-DNF. For such variables, compute their type constraints implied by their originating SUPPORT, or #$Thing if the arg-type code yields no type constraints.

inference_canonicalize_hl_support_asent

public static final SubLObject inference_canonicalize_hl_support_asent(SubLObject asent)

inference_make_commutative_asent

public static final SubLObject inference_make_commutative_asent(SubLObject predicate,
                                                                SubLObject args)

inference_canonicalize_commutative_args

public static final SubLObject inference_canonicalize_commutative_args(SubLObject args)

inference_canonicalize_hl_support_literal

public static final SubLObject inference_canonicalize_hl_support_literal(SubLObject asent)

declare_backward_utilities_file

public static final SubLObject declare_backward_utilities_file()

init_backward_utilities_file

public static final SubLObject init_backward_utilities_file()

setup_backward_utilities_file

public static final SubLObject setup_backward_utilities_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.