com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_conjunctive_pruning

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_conjunctive_pruning

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_conjunctive_pruning
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_conjunctive_pruning.$prune_unknown_sentence_literal_inconsistency_applicability$UnaryFunction
static class	removal_modules_conjunctive_pruning.$residual_transformation_non_wff_applicability$UnaryFunction
static class	removal_modules_conjunctive_pruning.$thing_tupleP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const29$unknownSentence
static SubLObject	$const36$applicableWhenTypedOnlyWhenSpecia
static SubLObject	$const38$isa
static SubLObject	$const39$rdf_type
static SubLInteger	$int24$128
static SubLInteger	$int9$1024
static SubLSymbol	$kw1$RESIDUAL_TRANSFORMATION_NON_WFF
static SubLSymbol	$kw10$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw12$TACTICAL
static SubLSymbol	$kw14$UNINITIALIZED
static SubLSymbol	$kw16$IGNORE
static SubLSymbol	$kw27$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY
static SubLSymbol	$kw33$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION
static SubLSymbol	$kw4$RESIDUAL_TRANSFORMATION
static SubLSymbol	$kw41$PRUNE_CIRCULAR_TERM_OF_UNIT
static SubLSymbol	$kw6$NEG
static SubLSymbol	$kw8$POS
static SubLList	$list0
static SubLList	$list2
static SubLList	$list25
static SubLList	$list26
static SubLList	$list28
static SubLList	$list30
static SubLList	$list34
static SubLList	$list37
static SubLList	$list42
static SubLList	$list7
static SubLString	$str15$unknown_non_wff_reason
static SubLString	$str17$_is_not_a_valid_arg
static SubLString	$str18$_for_
static SubLString	$str19$_in_
static SubLString	$str20$variable_constraint_tuple_mismatc
static SubLString	$str21$_is_constrained_to_disjoint_colle
static SubLSymbol	$sym11$RESIDUAL_TRANSFORMATION_NON_WFF_APPLICABILITY
static SubLSymbol	$sym13$RESIDUAL_TRANSFORMATION_NON_WFF_EXPAND
static SubLSymbol	$sym22$DNF_VARIABLE_CONSTRAINT_TUPLES
static SubLSymbol	$sym23$THING_TUPLE_
static SubLSymbol	$sym3$SUPPORTING_RESIDUAL_CONJUNCTION_PROBLEM_MINIMAL_PROBLEM_QUERY
static SubLSymbol	$sym31$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY_APPLICABILITY
static SubLSymbol	$sym32$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY_EXPAND
static SubLSymbol	$sym35$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION_
static SubLSymbol	$sym40$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION_
static SubLSymbol	$sym43$PRUNE_CIRCULAR_TERM_OF_UNIT_APPLICABILITY
static SubLSymbol	$sym44$PRUNE_CIRCULAR_TERM_OF_UNIT_EXPAND
static SubLSymbol	$sym5$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	conjunctive_pruning_module_p(SubLObject hl_module)
static SubLObject	declare_removal_modules_conjunctive_pruning_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	dnf_variable_constraint_tuples_internal(SubLObject dnf)
static SubLObject	dnf_variable_constraint_tuples(SubLObject dnf)
static SubLObject	init_removal_modules_conjunctive_pruning_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	prune_rt_problems_applicable_when_typed_only_when_specialization_applicability(SubLObject contextualized_dnf_clause)
static SubLObject	prune_unknown_sentence_literal_inconsistency_applicability(SubLObject contextualized_dnf_clause)
static SubLObject	residual_transformation_non_wff_applicability(SubLObject contextualized_dnf_clause)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_conjunctive_pruning_file()
static SubLObject	supporting_residual_conjunction_problem_minimal_problem_query_internal(SubLObject problem) Return a problem query that is a minimal set of literals suitable for simplification and pruning algorithms that only need to check local literal consistency (wrt residual problem literals) since they can assume the parent problem would have been simplified or pruned had it been required (see problem-query-semantically-invalid?) Specifically, take a residual problem of some residual transformation link and add the literals from the problem query that share variables with the residual problem.
static SubLObject	supporting_residual_conjunction_problem_minimal_problem_query(SubLObject problem)
static SubLObject	thing_tupleP(SubLObject tuple)

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

$list0

public static final SubLList $list0

$kw1$RESIDUAL_TRANSFORMATION_NON_WFF

public static final SubLSymbol $kw1$RESIDUAL_TRANSFORMATION_NON_WFF

$list2

public static final SubLList $list2

$sym3$SUPPORTING_RESIDUAL_CONJUNCTION_PROBLEM_MINIMAL_PROBLEM_QUERY

public static final SubLSymbol $sym3$SUPPORTING_RESIDUAL_CONJUNCTION_PROBLEM_MINIMAL_PROBLEM_QUERY

$kw4$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw4$RESIDUAL_TRANSFORMATION

$sym5$VARIABLE_P

public static final SubLSymbol $sym5$VARIABLE_P

$kw6$NEG

public static final SubLSymbol $kw6$NEG

$list7

public static final SubLList $list7

$kw8$POS

public static final SubLSymbol $kw8$POS

$int9$1024

public static final SubLInteger $int9$1024

$kw10$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw10$_MEMOIZED_ITEM_NOT_FOUND_

$sym11$RESIDUAL_TRANSFORMATION_NON_WFF_APPLICABILITY

public static final SubLSymbol $sym11$RESIDUAL_TRANSFORMATION_NON_WFF_APPLICABILITY

$kw12$TACTICAL

public static final SubLSymbol $kw12$TACTICAL

$sym13$RESIDUAL_TRANSFORMATION_NON_WFF_EXPAND

public static final SubLSymbol $sym13$RESIDUAL_TRANSFORMATION_NON_WFF_EXPAND

$kw14$UNINITIALIZED

public static final SubLSymbol $kw14$UNINITIALIZED

$str15$unknown_non_wff_reason

public static final SubLString $str15$unknown_non_wff_reason

$kw16$IGNORE

public static final SubLSymbol $kw16$IGNORE

$str17$_is_not_a_valid_arg

public static final SubLString $str17$_is_not_a_valid_arg

$str18$_for_

public static final SubLString $str18$_for_

$str19$_in_

public static final SubLString $str19$_in_

$str20$variable_constraint_tuple_mismatc

public static final SubLString $str20$variable_constraint_tuple_mismatc

$str21$_is_constrained_to_disjoint_colle

public static final SubLString $str21$_is_constrained_to_disjoint_colle

$sym22$DNF_VARIABLE_CONSTRAINT_TUPLES

public static final SubLSymbol $sym22$DNF_VARIABLE_CONSTRAINT_TUPLES

$sym23$THING_TUPLE_

public static final SubLSymbol $sym23$THING_TUPLE_

$int24$128

public static final SubLInteger $int24$128

$list25

public static final SubLList $list25

$list26

public static final SubLList $list26

$kw27$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY

public static final SubLSymbol $kw27$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY

$list28

public static final SubLList $list28

$const29$unknownSentence

public static final SubLObject $const29$unknownSentence

$list30

public static final SubLList $list30

$sym31$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY_APPLICABILITY

public static final SubLSymbol $sym31$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY_APPLICABILITY

$sym32$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY_EXPAND

public static final SubLSymbol $sym32$PRUNE_UNKNOWN_SENTENCE_LITERAL_INCONSISTENCY_EXPAND

$kw33$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION

public static final SubLSymbol $kw33$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION

$list34

public static final SubLList $list34

$sym35$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION_

public static final SubLSymbol $sym35$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION_

$const36$applicableWhenTypedOnlyWhenSpecia

public static final SubLObject $const36$applicableWhenTypedOnlyWhenSpecia

$list37

public static final SubLList $list37

$const38$isa

public static final SubLObject $const38$isa

$const39$rdf_type

public static final SubLObject $const39$rdf_type

$sym40$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION_

public static final SubLSymbol $sym40$PRUNE_RT_PROBLEMS_APPLICABLE_WHEN_TYPED_ONLY_WHEN_SPECIALIZATION_

$kw41$PRUNE_CIRCULAR_TERM_OF_UNIT

public static final SubLSymbol $kw41$PRUNE_CIRCULAR_TERM_OF_UNIT

$list42

public static final SubLList $list42

$sym43$PRUNE_CIRCULAR_TERM_OF_UNIT_APPLICABILITY

public static final SubLSymbol $sym43$PRUNE_CIRCULAR_TERM_OF_UNIT_APPLICABILITY

$sym44$PRUNE_CIRCULAR_TERM_OF_UNIT_EXPAND

public static final SubLSymbol $sym44$PRUNE_CIRCULAR_TERM_OF_UNIT_EXPAND

Method Detail

conjunctive_pruning_module_p

public static final SubLObject conjunctive_pruning_module_p(SubLObject hl_module)

supporting_residual_conjunction_problem_minimal_problem_query_internal

public static final SubLObject supporting_residual_conjunction_problem_minimal_problem_query_internal(SubLObject problem)

Return a problem query that is a minimal set of literals suitable for simplification and pruning algorithms that only need to check local literal consistency (wrt residual problem literals) since they can assume the parent problem would have been simplified or pruned had it been required (see problem-query-semantically-invalid?) Specifically, take a residual problem of some residual transformation link and add the literals from the problem query that share variables with the residual problem.

supporting_residual_conjunction_problem_minimal_problem_query

public static final SubLObject supporting_residual_conjunction_problem_minimal_problem_query(SubLObject problem)

residual_transformation_non_wff_applicability

public static final SubLObject residual_transformation_non_wff_applicability(SubLObject contextualized_dnf_clause)

dnf_variable_constraint_tuples_internal

public static final SubLObject dnf_variable_constraint_tuples_internal(SubLObject dnf)

dnf_variable_constraint_tuples

public static final SubLObject dnf_variable_constraint_tuples(SubLObject dnf)

thing_tupleP

public static final SubLObject thing_tupleP(SubLObject tuple)

prune_unknown_sentence_literal_inconsistency_applicability

public static final SubLObject prune_unknown_sentence_literal_inconsistency_applicability(SubLObject contextualized_dnf_clause)

prune_rt_problems_applicable_when_typed_only_when_specialization_applicability

public static final SubLObject prune_rt_problems_applicable_when_typed_only_when_specialization_applicability(SubLObject contextualized_dnf_clause)

declare_removal_modules_conjunctive_pruning_file

public static final SubLObject declare_removal_modules_conjunctive_pruning_file()

init_removal_modules_conjunctive_pruning_file

public static final SubLObject init_removal_modules_conjunctive_pruning_file()

setup_removal_modules_conjunctive_pruning_file

public static final SubLObject setup_removal_modules_conjunctive_pruning_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.