czer_main

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class czer_main

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class czer_main
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`czer_main.$canonicalize_clause_commutative_terms_destructive$UnaryFunction`
`static class`	`czer_main.$canonicalize_clause_quoted_terms$UnaryFunction`
`static class`	`czer_main.$canonicalize_clause_sentence_terms$UnaryFunction`
`static class`	`czer_main.$canonicalize_clause_tou_terms$UnaryFunction`
`static class`	`czer_main.$canonicalize_literal_commutative_terms_destructive$UnaryFunction`
`static class`	`czer_main.$canonicalize_literal_sentence_terms$BinaryFunction`
`static class`	`czer_main.$canonicalize_literal_sentence_terms$UnaryFunction`
`static class`	`czer_main.$commutative_terms_in_orderP$BinaryFunction`
`static class`	`czer_main.$initialize_suffix_table_for_var$UnaryFunction`
`static class`	`czer_main.$lit_L$BinaryFunction`
`static class`	`czer_main.$literal_quantified_fn_terms$UnaryFunction`
`static class`	`czer_main.$literal_terms_to_reify$BinaryFunction`
`static class`	`czer_main.$literal_terms_to_reify$UnaryFunction`
`static class`	`czer_main.$rename_clause_vars_int$BinaryFunction`
`static class`	`czer_main.$rename_clause_vars_int$UnaryFunction`
`static class`	`czer_main.$sort_clause_literals$BinaryFunction`
`static class`	`czer_main.$sort_clause_literals$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const17$skolem`
`static SubLObject`	`$const18$termDependsOn`
`static SubLObject`	`$const19$UniversalVocabularyMt`
`static SubLObject`	`$const31$Quote`
`static SubLObject`	`$const32$EscapeQuote`
`static SubLObject`	`$const48$commutativeInArgsAndRest`
`static SubLObject`	`$const52$commutativeInArgs`
`static SubLObject`	`$const62$ReifiableFunction`
`static SubLObject`	`$const63$CycLReifiableDenotationalTerm`
`static SubLObject`	`$const64$EvaluatableFunction`
`static SubLObject`	`$const75$termOfUnit`
`static SubLObject`	`$const82$evaluate`
`static SubLObject`	`$const83$ExpandSubLFn`
`static SubLObject`	`$const84$SubLQuoteFn`
`static SubLFloat`	`$float101$0_1`
`static SubLFloat`	`$float108$0_9`
`static SubLInteger`	`$int106$1000`
`static SubLInteger`	`$int107$100`
`static SubLInteger`	`$int109$10000`
`static SubLSymbol`	`$kw11$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw15$CNF`
`static SubLSymbol`	`$kw25$DNF`
`static SubLSymbol`	`$kw36$NEG`
`static SubLSymbol`	`$kw38$POS`
`static SubLSymbol`	`$kw45$HELLO_YOU_SILLY_COMPILER`
`static SubLSymbol`	`$kw46$IGNORE`
`static SubLSymbol`	`$kw47$DUMMY`
`static SubLSymbol`	`$kw49$TOO_MANY_COMMUTATIVE_IN_ARGS_AND_REST`
`static SubLSymbol`	`$kw50$CYCLIC_COMMUTATIVE_IN_ARGS`
`static SubLSymbol`	`$kw58$UNINITIALIZED`
`static SubLSymbol`	`$kw69$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE`
`static SubLSymbol`	`$kw70$TOO_MANY_SEQUENCE_VARS_IN_SCOPE_OF_SKOLEM`
`static SubLList`	`$list2`
`static SubLList`	`$list4`
`static SubLList`	`$list42`
`static SubLList`	`$list76`
`static SubLList`	`$list8`
`static SubLList`	`$list86`
`static SubLList`	`$list88`
`static SubLString`	`$str100$penultimate_resort_literals_2_suc`
`static SubLString`	`$str103$Got_a_fort_that_was_neither_a_nar`
`static SubLString`	`$str104$_s_is_not_an_element_of__s`
`static SubLString`	`$str113$_s_treated_as_variable_in_rename_`
`static SubLString`	`$str13$Invalid_attempt_to_reuse_memoizat`
`static SubLString`	`$str26$Unknown_clausal_form__s`
`static SubLString`	`$str3$Translate_el_expression_FORMULA_i`
`static SubLString`	`$str40$Tried_to_canonicalize_the_formula`
`static SubLString`	`$str56$warning__trying_to_sort_the_varia`
`static SubLString`	`$str57$warning__trying_to_string_sort_th`
`static SubLString`	`$str6$Translate_el_query_FORMULA_into_i`
`static SubLString`	`$str66$Tried_to_reify_functions_within__`
`static SubLString`	`$str77$SORT_BY_ID_called_on_list_contain`
`static SubLString`	`$str9$Converts_the_EL_term_TERM_to_its_`
`static SubLString`	`$str93$most_constrained_literals_succeed`
`static SubLString`	`$str94$fewest_arg_literals_succeeded_`
`static SubLString`	`$str95$left_weighted_literals_succeeded_`
`static SubLString`	`$str96$left_connected_literals_succeeded`
`static SubLString`	`$str97$left_rooted_literals_succeeded_`
`static SubLString`	`$str98$least_complex_literals_succeeded_`
`static SubLString`	`$str99$penultimate_resort_literals_1_suc`
`static SubLSymbol`	`$sym0$EL_FORMULA_P`
`static SubLSymbol`	`$sym1$EL_TO_HL`
`static SubLSymbol`	`$sym10$CANONICALIZE_TERM_MEMOIZED_INT`
`static SubLSymbol`	`$sym102$LIT__`
`static SubLSymbol`	`$sym105$CDR`
`static SubLSymbol`	`$sym110$RENAME_CLAUSE_VARS_INT`
`static SubLSymbol`	`$sym111$CANON_VAR_`
`static SubLSymbol`	`$sym112$ASSERTION_P`
`static SubLSymbol`	`$sym114$INITIALIZE_SUFFIX_TABLE_FOR_VAR`
`static SubLSymbol`	`$sym115$NOT_DIGIT_CHAR_P`
`static SubLSymbol`	`$sym116$VARIABLE_P`
`static SubLSymbol`	`$sym117$MIN`
`static SubLSymbol`	`$sym118$LIST_STRUCTURE`
`static SubLSymbol`	`$sym119$FALSE`
`static SubLSymbol`	`$sym12$FORT_P`
`static SubLSymbol`	`$sym120$CONSTANT_EXTERNAL_ID__`
`static SubLSymbol`	`$sym121$CONSTANT_P`
`static SubLSymbol`	`$sym14$CANON_WFF_`
`static SubLSymbol`	`$sym16$FAST_REIFIED_SKOLEM_`
`static SubLSymbol`	`$sym20$SKOLEM_FUNCTION_P`
`static SubLSymbol`	`$sym21$CYCL_GENERALIZED_TENSED_LITERAL_P`
`static SubLSymbol`	`$sym22$CANONICALIZE_WF_CYCL_INT_MEMOIZED`
`static SubLSymbol`	`$sym23$CANONICALIZE_ASK_INT_MEMOIZED`
`static SubLSymbol`	`$sym24$EL_WFF_SYNTAX_`
`static SubLSymbol`	`$sym27$CANONICALIZE_CLAUSE_QUOTED_TERMS`
`static SubLSymbol`	`$sym28$ESCAPE_QUOTE_SYNTAX_P`
`static SubLSymbol`	`$sym29$CYC_VAR_`
`static SubLSymbol`	`$sym30$QUASI_QUOTE_SYNTAX_P`
`static SubLSymbol`	`$sym33$FAST_ESCAPE_QUOTE_TERM_P`
`static SubLSymbol`	`$sym34$FORMULA_ARG1`
`static SubLSymbol`	`$sym35$CANONICALIZE_CLAUSE_SENTENCE_TERMS`
`static SubLSymbol`	`$sym37$CANONICALIZE_LITERAL_SENTENCE_TERMS`
`static SubLSymbol`	`$sym39$EL_NEGATION_P`
`static SubLSymbol`	`$sym41$CANONICALIZE_CLAUSE_COMMUTATIVE_TERMS_DESTRUCTIVE`
`static SubLSymbol`	`$sym43$CANONICALIZE_LITERAL_COMMUTATIVE_TERMS_DESTRUCTIVE`
`static SubLSymbol`	`$sym44$COMMUTATIVE_TERMS_IN_ORDER_`
`static SubLSymbol`	`$sym5$EL_TO_HL_QUERY`
`static SubLSymbol`	`$sym51$_`
`static SubLSymbol`	`$sym53$GAF_FORMULA`
`static SubLSymbol`	`$sym54$EL_VAR_`
`static SubLSymbol`	`$sym55$ATOM`
`static SubLSymbol`	`$sym59$ADD_TERM_OF_UNIT_LITS_1`
`static SubLSymbol`	`$sym60$STR`
`static SubLSymbol`	`$sym61$EQUAL_WRT_SVM`
`static SubLSymbol`	`$sym65$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER`
`static SubLSymbol`	`$sym67$RELEVANT_MT_IS_GENL_MT`
`static SubLSymbol`	`$sym68$CLAUSE_TERMS_TO_REIFY`
`static SubLSymbol`	`$sym7$CANONICALIZE_TERM`
`static SubLSymbol`	`$sym71$_`
`static SubLSymbol`	`$sym72$TERM_FUNCTIONAL_COMPLEXITY`
`static SubLSymbol`	`$sym73$TL_FIND_OR_CREATE_NART`
`static SubLSymbol`	`$sym74$QUEUE_P`
`static SubLSymbol`	`$sym78$FORT_TYPE_AND_ID__`
`static SubLSymbol`	`$sym79$LITERAL_QUANTIFIED_FN_TERMS`
`static SubLSymbol`	`$sym80$NO_FREE_VARIABLES_`
`static SubLSymbol`	`$sym81$LITERAL_TERMS_TO_REIFY`
`static SubLSymbol`	`$sym85$CANONICALIZE_CLAUSE_TOU_TERMS`
`static SubLSymbol`	`$sym87$CAR`
`static SubLSymbol`	`$sym89$VAR_IS_SCOPED_IN_FORMULA_`
`static SubLSymbol`	`$sym90$CLAUSES_IN_ORDER_`
`static SubLSymbol`	`$sym91$SORT_CLAUSE_LITERALS`
`static SubLSymbol`	`$sym92$NEGATE_ATOMIC`
`static SubLSymbol`	$tou_skolem_blist$ A binding list to remember existential variables, to remember the original EL variable as it was asserted.
`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

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`	`add_term_of_unit_lits_1(SubLObject clause)` inference requires .
`static SubLObject`	`add_term_of_unit_lits(SubLObject v_clauses)`
`static SubLObject`	`all_bindings(SubLObject symbol, SubLObject v_bindings)`
`static SubLObject`	`alphabetically_minimal_literal(SubLObject literals, SubLObject candidates, SubLObject varP)`
`static SubLObject`	`blist_vars_among(SubLObject blist, SubLObject vars)`
`static SubLObject`	`canon_fast_clausesP(SubLObject v_clauses)`
`static SubLObject`	`canon_term_L(SubLObject term1, SubLObject term2)`
`static SubLObject`	`canon_wffP(SubLObject formula, SubLObject mt)`
`static SubLObject`	`canonicalize_ask_mt(SubLObject mt)`
`static SubLObject`	`canonicalize_ask_sentence(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`canonicalize_assert_mt(SubLObject mt)`
`static SubLObject`	`canonicalize_assert_sentence(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`canonicalize_clause_commutative_terms_destructive(SubLObject clause)` A destructive version of @xref canonicalize-clause-commutative-terms.
`static SubLObject`	`canonicalize_clause_quoted_terms(SubLObject clause)`
`static SubLObject`	`canonicalize_clause_sentence_terms(SubLObject clause)` Destructively canonicalizes formula args (of any literals or denotational functions in CLAUSE) into their EL formulas.
`static SubLObject`	`canonicalize_clause_tou_terms(SubLObject clause)` replace references in .
`static SubLObject`	`canonicalize_clauses_commutative_terms_destructive(SubLObject v_clauses)` For each literal in CLAUSES, recursively sorts the arguments of all relations with commutative predicates and the arguments of all nats with commutative functors.
`static SubLObject`	`canonicalize_clauses_literals(SubLObject v_clauses)` For each clause in CLAUSES, sorts its literals into a canonical order.
`static SubLObject`	`canonicalize_clauses_quoted_terms(SubLObject v_clauses)`
`static SubLObject`	`canonicalize_clauses_sentence_terms(SubLObject v_clauses)` Destructively canonicalizes formula args (of any literals or denotational functions in CLAUSES) into their EL formulas.
`static SubLObject`	`canonicalize_clauses_terms(SubLObject v_clauses)`
`static SubLObject`	`canonicalize_clauses_tou_terms(SubLObject v_clauses)`
`static SubLObject`	`canonicalize_clauses_variables(SubLObject v_clauses)`
`static SubLObject`	`canonicalize_clauses(SubLObject v_clauses, SubLObject mt)`
`static SubLObject`	`canonicalize_cycl_int(SubLObject sentence, SubLObject mt, SubLObject testingP, SubLObject destructiveP, SubLObject unwrap_istP, SubLObject check_wffP)`
`static SubLObject`	`canonicalize_cycl_sentence(SubLObject sentence, SubLObject mt)` Converts the EL sentence SENTENCE to its canonical HL representation.
`static SubLObject`	`canonicalize_functions(SubLObject v_clauses)` Puts all functions in CLAUSES in canonical form, by destructively reifying all reifiable functions and adding termOfUnit literals.
`static SubLObject`	`canonicalize_gaf(SubLObject gaf_asent, SubLObject mt)` Return GAF-ASENT in MT expressed as a list of CNF clauses, or a CycL truth value, or NIL if it couldn't canonicalize.
`static SubLObject`	`canonicalize_literal_commutative_args(SubLObject lit)`
`static SubLObject`	`canonicalize_literal_commutative_terms_destructive(SubLObject literal)` A destructive version of @xref canonicalize-literal-commutative-terms.
`static SubLObject`	`canonicalize_literal_commutative_terms(SubLObject literal)` Recursively sorts the arguments of all relations with commutative predicates and the arguments of all nats with commutative functors.
`static SubLObject`	`canonicalize_literal_quoted_terms_recursive(SubLObject literal)` Replaces all the escape quoted terms (non variables) with just the term, since (#$EscapeQuote ) = .
`static SubLObject`	`canonicalize_literal_sentence_terms(SubLObject literal, SubLObject mt)` Canonicalizes formula args of LITERAL into their EL formulas.
`static SubLObject`	`canonicalize_literals_commutative_terms(SubLObject literals)` For each literal in LITERALS, recursively sorts the arguments of all relations with commutative predicates and the arguments of all nats with commutative functors.
`static SubLObject`	`canonicalize_literals_quoted_terms(SubLObject literals)`
`static SubLObject`	`canonicalize_mt(SubLObject mt)` Like @xref canonicalize-hlmt except does more canonicalization, possibly including reifying new narts if within-assert.
`static SubLObject`	`canonicalize_no_sentence_argsP()` fast-fail
`static SubLObject`	`canonicalize_query_clauses(SubLObject v_clauses, SubLObject mt)`
`static SubLObject`	`canonicalize_query_sentence(SubLObject sentence, SubLObject mt)` Converts the EL query SENTENCE to its canonical HL representation.
`static SubLObject`	`canonicalize_query(SubLObject formula, SubLObject mt, SubLObject destructiveP, SubLObject unwrap_istP)` Converts the EL query FORMULA to its canonical HL representation.
`static SubLObject`	`canonicalize_term_commutative_terms(SubLObject v_term)` Basically just calls @xref canonicalize-relation-commutative-terms, if TERM is either a nat or an EL formula with a predicate, variable, or logical operator as its arg0.
`static SubLObject`	`canonicalize_term(SubLObject v_term, SubLObject mt)` Converts the EL term TERM to its canonical HL representation.
`static SubLObject`	`canonicalize_terms_commutative_terms_without_reordering(SubLObject terms, SubLObject dont_reorder_argnums)` Puts each term in the list TERMS in canonical form wrt commutativity except the ones at argnum in dont-reorder-argnums, but does not change the order of the list TERMS.
`static SubLObject`	`canonicalize_wf_assert_sentence(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`canonicalize_wf_cycl_sentence(SubLObject sentence, SubLObject mt)`
`static SubLObject`	`canonicalizer_constant_L(SubLObject constant1, SubLObject constant2)`
`static SubLObject`	`check_wff_arityP()`
`static SubLObject`	`check_wff_semanticsP(SubLObject mt)`
`static SubLObject`	`clause_el_variables(SubLObject clause, SubLObject varP)`
`static SubLObject`	`clause_quantified_fn_terms(SubLObject clause)`
`static SubLObject`	`clause_terms_to_reify(SubLObject clause)`
`static SubLObject`	`clauses_free_variables(SubLObject v_clauses)`
`static SubLObject`	`clausify_eliminating_ists(SubLObject sentence, SubLObject mt, SubLObject clausal_form, SubLObject unwrap_istP)` Canonicalizes sentence into an EL clausal form of CLAUSAL-FORM.
`static SubLObject`	`clear_canon_caches()`
`static SubLObject`	`commutative_argnums(SubLObject relation_expression)` Returns the argument positions in RELATION which commute with each other.
`static SubLObject`	`commutative_terms_in_orderP(SubLObject term1, SubLObject term2)`
`static SubLObject`	`constant_median(SubLObject constants)`
`static SubLObject`	`czer_result_quiescedP(SubLObject czer_result, SubLObject caller_was_supposed_to_unwrap_istP)` Currently the only case this handles is when the caller was supposed to unwrap #$ist but there's still at least one #$ist literal in the czer result and no other literals.
`static SubLObject`	`declare_czer_main_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`default_lit_sort(SubLObject literals)`
`static SubLObject`	`default_preference_lit(SubLObject literals)`
`static SubLObject`	`el_complexity_score(SubLObject object, SubLObject varP, SubLObject factor)`
`static SubLObject`	`el_nununiquify_vars_int(SubLObject expression, SubLObject updateP, SubLObject forceP)` replace uniquified vars with origs when not ambiguous
`static SubLObject`	`el_nununiquify_vars_wrt_int(SubLObject expression_1, SubLObject expression_2, SubLObject updateP, SubLObject forceP)`
`static SubLObject`	`el_nununiquify_vars(SubLObject expression)`
`static SubLObject`	`el_nununiquifying_blist_wrt(SubLObject expression, SubLObject updateP, SubLObject forceP)`
`static SubLObject`	`evaluate_lits_at_rear(SubLObject literals)` puts evaluate literals at rear (for cosmetic sake; otherwise, order is unchanged)
`static SubLObject`	`extract_name_uniquifying_post_hyphen_integer(SubLObject symbol)`
`static SubLObject`	`fewest_arg_literals(SubLObject literals)`
`static SubLObject`	`forward_inference_reifiable_functionP(SubLObject function, SubLObject mt)`
`static SubLObject`	`guaranteed_nothing_to_reifyP(SubLObject formula)`
`static SubLObject`	`init_czer_main_file()`
`static SubLObject`	`initialize_suffix_table_for_var(SubLObject el_var)`
`static SubLObject`	`initialize_symbol_suffix_table(SubLObject formula)` Assumes the EL variable namespace is bound.
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`last_resort_min_literals_fn(SubLObject lit)`
`static SubLObject`	`last_resort_min_literals_int(SubLObject literals)`
`static SubLObject`	`last_resort_min_literals_max(SubLObject literals)`
`static SubLObject`	`last_resort_min_literals_min(SubLObject literals)`
`static SubLObject`	`last_resort_min_literals(SubLObject literals)`
`static SubLObject`	`least_complex_literals(SubLObject literals, SubLObject varP)`
`static SubLObject`	`left_connected_literals(SubLObject literals, SubLObject connected_vars)`
`static SubLObject`	`left_connected_score(SubLObject vars, SubLObject connected_vars)`
`static SubLObject`	`left_rooted_literals_int(SubLObject literals, SubLObject original)`
`static SubLObject`	`left_rooted_literals(SubLObject literals, SubLObject original)`
`static SubLObject`	`left_rooted_score(SubLObject literal, SubLObject literals, SubLObject depth)`
`static SubLObject`	`left_weighted_literals(SubLObject literals)`
`static SubLObject`	`left_weighted_score(SubLObject symbols, SubLObject symbol)`
`static SubLObject`	`lift_clauses_if_decontextualized(SubLObject czer_clauses, SubLObject mt)`
`static SubLObject`	`lit_L(SubLObject lit_1, SubLObject lit_2)`
`static SubLObject`	`literal_quantified_fn_terms(SubLObject literal)`
`static SubLObject`	`literal_terms_to_reify(SubLObject literal, SubLObject mt)`
`static SubLObject`	`literals_quantified_fn_terms(SubLObject literals)`
`static SubLObject`	`max_scored_item(SubLObject items, SubLObject score_key, SubLObject result_key)`
`static SubLObject`	`most_constrained_literals(SubLObject literals, SubLObject bound_vars, SubLObject varP)`
`static SubLObject`	`n_left_weighted_score_weights(SubLObject n, SubLObject multiplier)`
`static SubLObject`	`nat_atoms(SubLObject clause)`
`static SubLObject`	`never_commutative_gaf_clauseP(SubLObject clause)`
`static SubLObject`	`new_alphabetically_minimal_literal_int_2(SubLObject literals, SubLObject varP)`
`static SubLObject`	`new_alphabetically_minimal_literal_int(SubLObject literals, SubLObject candidates, SubLObject varP)`
`static SubLObject`	`new_bound_vars(SubLObject literal, SubLObject bound_vars)`
`static SubLObject`	`new_connected_vars(SubLObject literal, SubLObject connected_vars)`
`static SubLObject`	`old_commutative_atoms_in_orderP(SubLObject atom1, SubLObject atom2)`
`static SubLObject`	`old_commutative_conses_in_orderP(SubLObject cons1, SubLObject cons2)`
`static SubLObject`	`old_commutative_terms_in_orderP(SubLObject term1, SubLObject term2)`
`static SubLObject`	`old_last_resort_literal(SubLObject literals, SubLObject candidates, SubLObject varP)`
`static SubLObject`	`order_commutative_terms(SubLObject terms)`
`static SubLObject`	`pick_a_lit(SubLObject literals, SubLObject bound_vars, SubLObject connected_vars, SubLObject already_sorted_literals, SubLObject originals)` Returns the first literal in LITERALS with respect to the canonical ordering.
`static SubLObject`	`pred_L(SubLObject pred_1, SubLObject pred_2)`
`static SubLObject`	`psc_queryP(SubLObject mt)`
`static SubLObject`	`reify_functions(SubLObject v_clauses, SubLObject reify_skolemsP)` Destructively reifies all reifiable functions in CLAUSES.
`static SubLObject`	`reify_relation_functions(SubLObject relation, SubLObject reify_relationP)` Reifies functions contained within RELATION.
`static SubLObject`	`reify_termP(SubLObject v_term, SubLObject mt)`
`static SubLObject`	`relation_terms_to_reify(SubLObject relation, SubLObject mt)`
`static SubLObject`	`remove_newly_introduced_variables_from_bindings(SubLObject clauses_and_more, SubLObject original_formula)`
`static SubLObject`	`rename_clause_vars_int(SubLObject clause, SubLObject varP)`
`static SubLObject`	`rename_clauses_vars(SubLObject v_clauses)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_czer_main_file()`
`static SubLObject`	`sort_clause_literals_destructive(SubLObject clause, SubLObject varP)` A destructive version of @xref sort-clause-literals.
`static SubLObject`	`sort_clause_literals(SubLObject clause, SubLObject varP)` Sorts the literals in CLAUSE into a canonical order.
`static SubLObject`	`sort_clauses_literals(SubLObject v_clauses)`
`static SubLObject`	`sort_literals(SubLObject literals, SubLObject bound_vars, SubLObject connected_vars, SubLObject already_sorted_literals, SubLObject originals)`
`static SubLObject`	`standardize_variable_memory_binding(SubLObject var, SubLObject expression)`
`static SubLObject`	`tou_lits_at_rear(SubLObject literals)` puts termOfUnit literals at rear (for cosmetic sake; otherwise, order is unchanged)
`static SubLObject`	`ugly_thing_G(SubLObject ugly1, SubLObject ugly2)`
`static SubLObject`	`ugly_thing_L(SubLObject ugly1, SubLObject ugly2)`
`static SubLObject`	`unbound_vars_score(SubLObject vars, SubLObject bound_vars)`
`static SubLObject`	`unbound_vars(SubLObject vars, SubLObject bound_vars)`
`static SubLObject`	`unnegate_and_flip_negated_lits(SubLObject neg_lits, SubLObject pos_lits)` Turn pos-lits to neg-lits or vice versa if lit is an el-negation-p
`static SubLObject`	`unwrap_clauses_if_ist_permissive(SubLObject v_clauses, SubLObject input_mt)` Where possible, unwraps #$ist literals in CLAUSES

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

$tou_skolem_blist$

public static SubLSymbol $tou_skolem_blist$

A binding list to remember existential variables, to remember the original EL variable as it was asserted.

$sym0$EL_FORMULA_P

public static final SubLSymbol $sym0$EL_FORMULA_P

$sym1$EL_TO_HL

public static final SubLSymbol $sym1$EL_TO_HL

$list2

public static final SubLList $list2

$str3$Translate_el_expression_FORMULA_i

public static final SubLString $str3$Translate_el_expression_FORMULA_i

$list4

public static final SubLList $list4

$sym5$EL_TO_HL_QUERY

public static final SubLSymbol $sym5$EL_TO_HL_QUERY

$str6$Translate_el_query_FORMULA_into_i

public static final SubLString $str6$Translate_el_query_FORMULA_into_i

$sym7$CANONICALIZE_TERM

public static final SubLSymbol $sym7$CANONICALIZE_TERM

$list8

public static final SubLList $list8

$str9$Converts_the_EL_term_TERM_to_its_

public static final SubLString $str9$Converts_the_EL_term_TERM_to_its_

$sym10$CANONICALIZE_TERM_MEMOIZED_INT

public static final SubLSymbol $sym10$CANONICALIZE_TERM_MEMOIZED_INT

$kw11$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw11$_MEMOIZED_ITEM_NOT_FOUND_

$sym12$FORT_P

public static final SubLSymbol $sym12$FORT_P

$str13$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str13$Invalid_attempt_to_reuse_memoizat

$sym14$CANON_WFF_

public static final SubLSymbol $sym14$CANON_WFF_

$kw15$CNF

public static final SubLSymbol $kw15$CNF

$sym16$FAST_REIFIED_SKOLEM_

public static final SubLSymbol $sym16$FAST_REIFIED_SKOLEM_

$const17$skolem

public static final SubLObject $const17$skolem

$const18$termDependsOn

public static final SubLObject $const18$termDependsOn

$const19$UniversalVocabularyMt

public static final SubLObject $const19$UniversalVocabularyMt

$sym20$SKOLEM_FUNCTION_P

public static final SubLSymbol $sym20$SKOLEM_FUNCTION_P

$sym21$CYCL_GENERALIZED_TENSED_LITERAL_P

public static final SubLSymbol $sym21$CYCL_GENERALIZED_TENSED_LITERAL_P

$sym22$CANONICALIZE_WF_CYCL_INT_MEMOIZED

public static final SubLSymbol $sym22$CANONICALIZE_WF_CYCL_INT_MEMOIZED

$sym23$CANONICALIZE_ASK_INT_MEMOIZED

public static final SubLSymbol $sym23$CANONICALIZE_ASK_INT_MEMOIZED

$sym24$EL_WFF_SYNTAX_

public static final SubLSymbol $sym24$EL_WFF_SYNTAX_

$kw25$DNF

public static final SubLSymbol $kw25$DNF

$str26$Unknown_clausal_form__s

public static final SubLString $str26$Unknown_clausal_form__s

$sym27$CANONICALIZE_CLAUSE_QUOTED_TERMS

public static final SubLSymbol $sym27$CANONICALIZE_CLAUSE_QUOTED_TERMS

$sym28$ESCAPE_QUOTE_SYNTAX_P

public static final SubLSymbol $sym28$ESCAPE_QUOTE_SYNTAX_P

$sym29$CYC_VAR_

public static final SubLSymbol $sym29$CYC_VAR_

$sym30$QUASI_QUOTE_SYNTAX_P

public static final SubLSymbol $sym30$QUASI_QUOTE_SYNTAX_P

$const31$Quote

public static final SubLObject $const31$Quote

$const32$EscapeQuote

public static final SubLObject $const32$EscapeQuote

$sym33$FAST_ESCAPE_QUOTE_TERM_P

public static final SubLSymbol $sym33$FAST_ESCAPE_QUOTE_TERM_P

$sym34$FORMULA_ARG1

public static final SubLSymbol $sym34$FORMULA_ARG1

$sym35$CANONICALIZE_CLAUSE_SENTENCE_TERMS

public static final SubLSymbol $sym35$CANONICALIZE_CLAUSE_SENTENCE_TERMS

$kw36$NEG

public static final SubLSymbol $kw36$NEG

$sym37$CANONICALIZE_LITERAL_SENTENCE_TERMS

public static final SubLSymbol $sym37$CANONICALIZE_LITERAL_SENTENCE_TERMS

$kw38$POS

public static final SubLSymbol $kw38$POS

$sym39$EL_NEGATION_P

public static final SubLSymbol $sym39$EL_NEGATION_P

$str40$Tried_to_canonicalize_the_formula

public static final SubLString $str40$Tried_to_canonicalize_the_formula

$sym41$CANONICALIZE_CLAUSE_COMMUTATIVE_TERMS_DESTRUCTIVE

public static final SubLSymbol $sym41$CANONICALIZE_CLAUSE_COMMUTATIVE_TERMS_DESTRUCTIVE

$list42

public static final SubLList $list42

$sym43$CANONICALIZE_LITERAL_COMMUTATIVE_TERMS_DESTRUCTIVE

public static final SubLSymbol $sym43$CANONICALIZE_LITERAL_COMMUTATIVE_TERMS_DESTRUCTIVE

$sym44$COMMUTATIVE_TERMS_IN_ORDER_

public static final SubLSymbol $sym44$COMMUTATIVE_TERMS_IN_ORDER_

$kw45$HELLO_YOU_SILLY_COMPILER

public static final SubLSymbol $kw45$HELLO_YOU_SILLY_COMPILER

$kw46$IGNORE

public static final SubLSymbol $kw46$IGNORE

$kw47$DUMMY

public static final SubLSymbol $kw47$DUMMY

$const48$commutativeInArgsAndRest

public static final SubLObject $const48$commutativeInArgsAndRest

$kw49$TOO_MANY_COMMUTATIVE_IN_ARGS_AND_REST

public static final SubLSymbol $kw49$TOO_MANY_COMMUTATIVE_IN_ARGS_AND_REST

$kw50$CYCLIC_COMMUTATIVE_IN_ARGS

public static final SubLSymbol $kw50$CYCLIC_COMMUTATIVE_IN_ARGS

$sym51$_

public static final SubLSymbol $sym51$_

$const52$commutativeInArgs

public static final SubLObject $const52$commutativeInArgs

$sym53$GAF_FORMULA

public static final SubLSymbol $sym53$GAF_FORMULA

$sym54$EL_VAR_

public static final SubLSymbol $sym54$EL_VAR_

$sym55$ATOM

public static final SubLSymbol $sym55$ATOM

$str56$warning__trying_to_sort_the_varia

public static final SubLString $str56$warning__trying_to_sort_the_varia

$str57$warning__trying_to_string_sort_th

public static final SubLString $str57$warning__trying_to_string_sort_th

$kw58$UNINITIALIZED

public static final SubLSymbol $kw58$UNINITIALIZED

$sym59$ADD_TERM_OF_UNIT_LITS_1

public static final SubLSymbol $sym59$ADD_TERM_OF_UNIT_LITS_1

$sym60$STR

public static final SubLSymbol $sym60$STR

$sym61$EQUAL_WRT_SVM

public static final SubLSymbol $sym61$EQUAL_WRT_SVM

$const62$ReifiableFunction

public static final SubLObject $const62$ReifiableFunction

$const63$CycLReifiableDenotationalTerm

public static final SubLObject $const63$CycLReifiableDenotationalTerm

$const64$EvaluatableFunction

public static final SubLObject $const64$EvaluatableFunction

$sym65$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

public static final SubLSymbol $sym65$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$str66$Tried_to_reify_functions_within__

public static final SubLString $str66$Tried_to_reify_functions_within__

$sym67$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym67$RELEVANT_MT_IS_GENL_MT

$sym68$CLAUSE_TERMS_TO_REIFY

public static final SubLSymbol $sym68$CLAUSE_TERMS_TO_REIFY

$kw69$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE

public static final SubLSymbol $kw69$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE

$kw70$TOO_MANY_SEQUENCE_VARS_IN_SCOPE_OF_SKOLEM

public static final SubLSymbol $kw70$TOO_MANY_SEQUENCE_VARS_IN_SCOPE_OF_SKOLEM

$sym71$_

public static final SubLSymbol $sym71$_

$sym72$TERM_FUNCTIONAL_COMPLEXITY

public static final SubLSymbol $sym72$TERM_FUNCTIONAL_COMPLEXITY

$sym73$TL_FIND_OR_CREATE_NART

public static final SubLSymbol $sym73$TL_FIND_OR_CREATE_NART

$sym74$QUEUE_P

public static final SubLSymbol $sym74$QUEUE_P

$const75$termOfUnit

public static final SubLObject $const75$termOfUnit

$list76

public static final SubLList $list76

$str77$SORT_BY_ID_called_on_list_contain

public static final SubLString $str77$SORT_BY_ID_called_on_list_contain

$sym78$FORT_TYPE_AND_ID__

public static final SubLSymbol $sym78$FORT_TYPE_AND_ID__

$sym79$LITERAL_QUANTIFIED_FN_TERMS

public static final SubLSymbol $sym79$LITERAL_QUANTIFIED_FN_TERMS

$sym80$NO_FREE_VARIABLES_

public static final SubLSymbol $sym80$NO_FREE_VARIABLES_

$sym81$LITERAL_TERMS_TO_REIFY

public static final SubLSymbol $sym81$LITERAL_TERMS_TO_REIFY

$const82$evaluate

public static final SubLObject $const82$evaluate

$const83$ExpandSubLFn

public static final SubLObject $const83$ExpandSubLFn

$const84$SubLQuoteFn

public static final SubLObject $const84$SubLQuoteFn

$sym85$CANONICALIZE_CLAUSE_TOU_TERMS

public static final SubLSymbol $sym85$CANONICALIZE_CLAUSE_TOU_TERMS

$list86

public static final SubLList $list86

$sym87$CAR

public static final SubLSymbol $sym87$CAR

$list88

public static final SubLList $list88

$sym89$VAR_IS_SCOPED_IN_FORMULA_

public static final SubLSymbol $sym89$VAR_IS_SCOPED_IN_FORMULA_

$sym90$CLAUSES_IN_ORDER_

public static final SubLSymbol $sym90$CLAUSES_IN_ORDER_

$sym91$SORT_CLAUSE_LITERALS

public static final SubLSymbol $sym91$SORT_CLAUSE_LITERALS

$sym92$NEGATE_ATOMIC

public static final SubLSymbol $sym92$NEGATE_ATOMIC

$str93$most_constrained_literals_succeed

public static final SubLString $str93$most_constrained_literals_succeed

$str94$fewest_arg_literals_succeeded_

public static final SubLString $str94$fewest_arg_literals_succeeded_

$str95$left_weighted_literals_succeeded_

public static final SubLString $str95$left_weighted_literals_succeeded_

$str96$left_connected_literals_succeeded

public static final SubLString $str96$left_connected_literals_succeeded

$str97$left_rooted_literals_succeeded_

public static final SubLString $str97$left_rooted_literals_succeeded_

$str98$least_complex_literals_succeeded_

public static final SubLString $str98$least_complex_literals_succeeded_

$str99$penultimate_resort_literals_1_suc

public static final SubLString $str99$penultimate_resort_literals_1_suc

$str100$penultimate_resort_literals_2_suc

public static final SubLString $str100$penultimate_resort_literals_2_suc

$float101$0_1

public static final SubLFloat $float101$0_1

$sym102$LIT__

public static final SubLSymbol $sym102$LIT__

$str103$Got_a_fort_that_was_neither_a_nar

public static final SubLString $str103$Got_a_fort_that_was_neither_a_nar

$str104$_s_is_not_an_element_of__s

public static final SubLString $str104$_s_is_not_an_element_of__s

$sym105$CDR

public static final SubLSymbol $sym105$CDR

$int106$1000

public static final SubLInteger $int106$1000

$int107$100

public static final SubLInteger $int107$100

$float108$0_9

public static final SubLFloat $float108$0_9

$int109$10000

public static final SubLInteger $int109$10000

$sym110$RENAME_CLAUSE_VARS_INT

public static final SubLSymbol $sym110$RENAME_CLAUSE_VARS_INT

$sym111$CANON_VAR_

public static final SubLSymbol $sym111$CANON_VAR_

$sym112$ASSERTION_P

public static final SubLSymbol $sym112$ASSERTION_P

$str113$_s_treated_as_variable_in_rename_

public static final SubLString $str113$_s_treated_as_variable_in_rename_

$sym114$INITIALIZE_SUFFIX_TABLE_FOR_VAR

public static final SubLSymbol $sym114$INITIALIZE_SUFFIX_TABLE_FOR_VAR

$sym115$NOT_DIGIT_CHAR_P

public static final SubLSymbol $sym115$NOT_DIGIT_CHAR_P

$sym116$VARIABLE_P

public static final SubLSymbol $sym116$VARIABLE_P

$sym117$MIN

public static final SubLSymbol $sym117$MIN

$sym118$LIST_STRUCTURE

public static final SubLSymbol $sym118$LIST_STRUCTURE

$sym119$FALSE

public static final SubLSymbol $sym119$FALSE

$sym120$CONSTANT_EXTERNAL_ID__

public static final SubLSymbol $sym120$CONSTANT_EXTERNAL_ID__

$sym121$CONSTANT_P

public static final SubLSymbol $sym121$CONSTANT_P

Method Detail

canonicalize_term

public static final SubLObject canonicalize_term(SubLObject v_term,
                                                 SubLObject mt)

Converts the EL term TERM to its canonical HL representation.

Returns:: HL term

canonicalize_gaf

public static final SubLObject canonicalize_gaf(SubLObject gaf_asent,
                                                SubLObject mt)

Return GAF-ASENT in MT expressed as a list of CNF clauses, or a CycL truth value, or NIL if it couldn't canonicalize.

canonicalize_cycl_int

public static final SubLObject canonicalize_cycl_int(SubLObject sentence,
                                                     SubLObject mt,
                                                     SubLObject testingP,
                                                     SubLObject destructiveP,
                                                     SubLObject unwrap_istP,
                                                     SubLObject check_wffP)

czer_result_quiescedP

public static final SubLObject czer_result_quiescedP(SubLObject czer_result,
                                                     SubLObject caller_was_supposed_to_unwrap_istP)

Currently the only case this handles is when the caller was supposed to unwrap #$ist but there's still at least one #$ist literal in the czer result and no other literals.

canonicalize_cycl_sentence

public static final SubLObject canonicalize_cycl_sentence(SubLObject sentence,
                                                          SubLObject mt)

Converts the EL sentence SENTENCE to its canonical HL representation.

Returns:: 0 nil or cycl-truth-value-p or list-of-clause-binding-list-pairs-p; an unordered list of clause/binding-list pairs, e.g. (( ) ( )), or #$True or #$False, or NIL if FORMULA was ill-formed.

canonicalize_wf_cycl_sentence

public static final SubLObject canonicalize_wf_cycl_sentence(SubLObject sentence,
                                                             SubLObject mt)

canonicalize_ask_mt

public static final SubLObject canonicalize_ask_mt(SubLObject mt)

canonicalize_ask_sentence

public static final SubLObject canonicalize_ask_sentence(SubLObject sentence,
                                                         SubLObject mt)

Returns:: 0 nil or cycl-truth-value-p or list-of-clause-binding-list-pairs-p; actually a list of triples

canonicalize_assert_mt

public static final SubLObject canonicalize_assert_mt(SubLObject mt)

canonicalize_mt

public static final SubLObject canonicalize_mt(SubLObject mt)

Like @xref canonicalize-hlmt except does more canonicalization, possibly including reifying new narts if *within-assert*. Returns NIL if MT is ill-formed.

canonicalize_assert_sentence

public static final SubLObject canonicalize_assert_sentence(SubLObject sentence,
                                                            SubLObject mt)

canonicalize_wf_assert_sentence

public static final SubLObject canonicalize_wf_assert_sentence(SubLObject sentence,
                                                               SubLObject mt)

canonicalize_query

public static final SubLObject canonicalize_query(SubLObject formula,
                                                  SubLObject mt,
                                                  SubLObject destructiveP,
                                                  SubLObject unwrap_istP)

Converts the EL query FORMULA to its canonical HL representation.

Returns:: 0 nil or cycl-truth-value-p or list-of-clause-binding-list-pairs-p; an unordered list of clause/binding-list pairs, e.g. (( ) ( )), or #$True or #$False, or NIL if FORMULA was ill-formed.

canonicalize_query_sentence

public static final SubLObject canonicalize_query_sentence(SubLObject sentence,
                                                           SubLObject mt)

Converts the EL query SENTENCE to its canonical HL representation.

Returns:: 0 nil or cycl-truth-value-p or list-of-clause-binding-list-pairs-p; an unordered list of clause/binding-list pairs, e.g. (( ) ( )), or #$True or #$False, or NIL if FORMULA was ill-formed.

clausify_eliminating_ists

public static final SubLObject clausify_eliminating_ists(SubLObject sentence,
                                                         SubLObject mt,
                                                         SubLObject clausal_form,
                                                         SubLObject unwrap_istP)

Canonicalizes sentence into an EL clausal form of CLAUSAL-FORM. If UNWRAP-IST?, this will recursively canonicalize SENTENCE until there are no more #$ists. Also finds the nart version of a non-atomic mt before returning it, if one exists.

remove_newly_introduced_variables_from_bindings

public static final SubLObject remove_newly_introduced_variables_from_bindings(SubLObject clauses_and_more,
                                                                               SubLObject original_formula)

clear_canon_caches

public static final SubLObject clear_canon_caches()

canon_wffP

public static final SubLObject canon_wffP(SubLObject formula,
                                          SubLObject mt)

check_wff_arityP

public static final SubLObject check_wff_arityP()

check_wff_semanticsP

public static final SubLObject check_wff_semanticsP(SubLObject mt)

canonicalize_clauses_terms

public static final SubLObject canonicalize_clauses_terms(SubLObject v_clauses)

canonicalize_clauses_quoted_terms

public static final SubLObject canonicalize_clauses_quoted_terms(SubLObject v_clauses)

canonicalize_clause_quoted_terms

public static final SubLObject canonicalize_clause_quoted_terms(SubLObject clause)

canonicalize_literals_quoted_terms

public static final SubLObject canonicalize_literals_quoted_terms(SubLObject literals)

canonicalize_literal_quoted_terms_recursive

public static final SubLObject canonicalize_literal_quoted_terms_recursive(SubLObject literal)

Replaces all the escape quoted terms (non variables) with just the term, since (#$EscapeQuote ) = . Also converts quasi quoted terms to (#$Quote Assumes that the literal is well-formed - #$EscapeQuote should be nested within #$Quote

canonicalize_clauses_sentence_terms

public static final SubLObject canonicalize_clauses_sentence_terms(SubLObject v_clauses)

Destructively canonicalizes formula args (of any literals or denotational functions in CLAUSES) into their EL formulas. A 'formula arg' is, roughly, an argument that is constrained to be a Cyc formula. Replaces literals with NIL if they are not a @xref relation-expression?

See Also:: sentence-arg?

canonicalize_no_sentence_argsP

public static final SubLObject canonicalize_no_sentence_argsP()

fast-fail

canonicalize_clause_sentence_terms

public static final SubLObject canonicalize_clause_sentence_terms(SubLObject clause)

Destructively canonicalizes formula args (of any literals or denotational functions in CLAUSE) into their EL formulas. A 'formula arg' is an argument that is constrained to be a collection whose instances are Cyc formulas. Replaces literals with NIL if they are not a @xref relation-expression?

See Also:: sentence-arg?

unnegate_and_flip_negated_lits

public static final SubLObject unnegate_and_flip_negated_lits(SubLObject neg_lits,
                                                              SubLObject pos_lits)

Turn pos-lits to neg-lits or vice versa if lit is an el-negation-p

canonicalize_literal_sentence_terms

public static final SubLObject canonicalize_literal_sentence_terms(SubLObject literal,
                                                                   SubLObject mt)

Canonicalizes formula args of LITERAL into their EL formulas. A 'formula arg' is an argument that is constrained to be a collection whose instances are Cyc formulas. Returns NIL if LITERAL is not a @xref relation-expression?

See Also:: sentence-arg?

canonicalize_clauses_commutative_terms_destructive

public static final SubLObject canonicalize_clauses_commutative_terms_destructive(SubLObject v_clauses)

For each literal in CLAUSES, recursively sorts the arguments of all relations with commutative predicates and the arguments of all nats with commutative functors. Assumes that every clause in CLAUSES is an EL formula.

canonicalize_clause_commutative_terms_destructive

public static final SubLObject canonicalize_clause_commutative_terms_destructive(SubLObject clause)

A destructive version of @xref canonicalize-clause-commutative-terms.

never_commutative_gaf_clauseP

public static final SubLObject never_commutative_gaf_clauseP(SubLObject clause)

canonicalize_literals_commutative_terms

public static final SubLObject canonicalize_literals_commutative_terms(SubLObject literals)

For each literal in LITERALS, recursively sorts the arguments of all relations with commutative predicates and the arguments of all nats with commutative functors.

canonicalize_literal_commutative_terms

public static final SubLObject canonicalize_literal_commutative_terms(SubLObject literal)

Recursively sorts the arguments of all relations with commutative predicates and the arguments of all nats with commutative functors.

canonicalize_literal_commutative_terms_destructive

public static final SubLObject canonicalize_literal_commutative_terms_destructive(SubLObject literal)

A destructive version of @xref canonicalize-literal-commutative-terms.

canonicalize_literal_commutative_args

public static final SubLObject canonicalize_literal_commutative_args(SubLObject lit)

order_commutative_terms

public static final SubLObject order_commutative_terms(SubLObject terms)

canonicalize_terms_commutative_terms_without_reordering

public static final SubLObject canonicalize_terms_commutative_terms_without_reordering(SubLObject terms,
                                                                                       SubLObject dont_reorder_argnums)

Puts each term in the list TERMS in canonical form wrt commutativity except the ones at argnum in dont-reorder-argnums, but does not change the order of the list TERMS.

canonicalize_term_commutative_terms

public static final SubLObject canonicalize_term_commutative_terms(SubLObject v_term)

Basically just calls @xref canonicalize-relation-commutative-terms, if TERM is either a nat or an EL formula with a predicate, variable, or logical operator as its arg0.

commutative_argnums

public static final SubLObject commutative_argnums(SubLObject relation_expression)

Returns the argument positions in RELATION which commute with each other.

commutative_terms_in_orderP

public static final SubLObject commutative_terms_in_orderP(SubLObject term1,
                                                           SubLObject term2)

canonicalizer_constant_L

public static final SubLObject canonicalizer_constant_L(SubLObject constant1,
                                                        SubLObject constant2)

canon_term_L

public static final SubLObject canon_term_L(SubLObject term1,
                                            SubLObject term2)

canonicalize_functions

public static final SubLObject canonicalize_functions(SubLObject v_clauses)

Puts all functions in CLAUSES in canonical form, by destructively reifying all reifiable functions and adding termOfUnit literals. Every function that has a reifiable functor should be reified. Every reifiable function that is quantified into should have a termOfUnit assertion.

add_term_of_unit_lits

public static final SubLObject add_term_of_unit_lits(SubLObject v_clauses)

clauses_free_variables

public static final SubLObject clauses_free_variables(SubLObject v_clauses)

Returns:: a list of the free variable in all the clauses.

add_term_of_unit_lits_1

public static final SubLObject add_term_of_unit_lits_1(SubLObject clause)

inference requires . one termOfUnit neg-lit whenever an axiom quantifies into a reifiable function . one evaluate neg-lit whenever an axiom quantifies into an evaluatable function

reify_relation_functions

public static final SubLObject reify_relation_functions(SubLObject relation,
                                                        SubLObject reify_relationP)

Reifies functions contained within RELATION. Like @xref reify-functions, except it takes a relation instead of clauses. Also it doesn't reify skolems.

Parameters:: REIFY-RELATION?; - whether RELATION itself should be reified if possible.

reify_functions

public static final SubLObject reify_functions(SubLObject v_clauses,
                                               SubLObject reify_skolemsP)

Destructively reifies all reifiable functions in CLAUSES. Assumes that each clause in CLAUSES is an EL formula. (huh?)

clause_quantified_fn_terms

public static final SubLObject clause_quantified_fn_terms(SubLObject clause)

Returns:: list; the terms to reify in CLAUSE that are quantified into; i.e. have free variables within them.

literals_quantified_fn_terms

public static final SubLObject literals_quantified_fn_terms(SubLObject literals)

Returns:: list; the terms to reify in LITERAL that are quantified into; i.e. have free variables within them.

literal_quantified_fn_terms

public static final SubLObject literal_quantified_fn_terms(SubLObject literal)

Returns:: list; the terms to reify in LITERAL that are quantified into; i.e. have free variables within them.

clause_terms_to_reify

public static final SubLObject clause_terms_to_reify(SubLObject clause)

literal_terms_to_reify

public static final SubLObject literal_terms_to_reify(SubLObject literal,
                                                      SubLObject mt)

relation_terms_to_reify

public static final SubLObject relation_terms_to_reify(SubLObject relation,
                                                       SubLObject mt)

guaranteed_nothing_to_reifyP

public static final SubLObject guaranteed_nothing_to_reifyP(SubLObject formula)

Returns:: boolean; t iff FORMULA is guaranteed to contain nothing reifiable. A quick necessary test to avoid unnecessary work.

reify_termP

public static final SubLObject reify_termP(SubLObject v_term,
                                           SubLObject mt)

forward_inference_reifiable_functionP

public static final SubLObject forward_inference_reifiable_functionP(SubLObject function,
                                                                     SubLObject mt)

canonicalize_clauses_tou_terms

public static final SubLObject canonicalize_clauses_tou_terms(SubLObject v_clauses)

canonicalize_clause_tou_terms

public static final SubLObject canonicalize_clause_tou_terms(SubLObject clause)

replace references in . to reifiable nats with their reifications . to evaluatable nats with their evaluations

nat_atoms

public static final SubLObject nat_atoms(SubLObject clause)

canonicalize_clauses_literals

public static final SubLObject canonicalize_clauses_literals(SubLObject v_clauses)

For each clause in CLAUSES, sorts its literals into a canonical order. Also canonicalizes disjunctions as enumerations. (Does not change the order of the clauses, because that would be pointless. It's not like the canonicalizer is going to impose a canonical order on the assertions in the KB.)

sort_clauses_literals

public static final SubLObject sort_clauses_literals(SubLObject v_clauses)

sort_clause_literals

public static final SubLObject sort_clause_literals(SubLObject clause,
                                                    SubLObject varP)

Sorts the literals in CLAUSE into a canonical order.

sort_clause_literals_destructive

public static final SubLObject sort_clause_literals_destructive(SubLObject clause,
                                                                SubLObject varP)

A destructive version of @xref sort-clause-literals.

tou_lits_at_rear

public static final SubLObject tou_lits_at_rear(SubLObject literals)

puts termOfUnit literals at rear (for cosmetic sake; otherwise, order is unchanged)

evaluate_lits_at_rear

public static final SubLObject evaluate_lits_at_rear(SubLObject literals)

puts evaluate literals at rear (for cosmetic sake; otherwise, order is unchanged)

sort_literals

public static final SubLObject sort_literals(SubLObject literals,
                                             SubLObject bound_vars,
                                             SubLObject connected_vars,
                                             SubLObject already_sorted_literals,
                                             SubLObject originals)

pick_a_lit

public static final SubLObject pick_a_lit(SubLObject literals,
                                          SubLObject bound_vars,
                                          SubLObject connected_vars,
                                          SubLObject already_sorted_literals,
                                          SubLObject originals)

Returns the first literal in LITERALS with respect to the canonical ordering.

new_bound_vars

public static final SubLObject new_bound_vars(SubLObject literal,
                                              SubLObject bound_vars)

new_connected_vars

public static final SubLObject new_connected_vars(SubLObject literal,
                                                  SubLObject connected_vars)

unbound_vars

public static final SubLObject unbound_vars(SubLObject vars,
                                            SubLObject bound_vars)

most_constrained_literals

public static final SubLObject most_constrained_literals(SubLObject literals,
                                                         SubLObject bound_vars,
                                                         SubLObject varP)

unbound_vars_score

public static final SubLObject unbound_vars_score(SubLObject vars,
                                                  SubLObject bound_vars)

fewest_arg_literals

public static final SubLObject fewest_arg_literals(SubLObject literals)

left_weighted_literals

public static final SubLObject left_weighted_literals(SubLObject literals)

left_weighted_score

public static final SubLObject left_weighted_score(SubLObject symbols,
                                                   SubLObject symbol)

n_left_weighted_score_weights

public static final SubLObject n_left_weighted_score_weights(SubLObject n,
                                                             SubLObject multiplier)

left_connected_literals

public static final SubLObject left_connected_literals(SubLObject literals,
                                                       SubLObject connected_vars)

left_connected_score

public static final SubLObject left_connected_score(SubLObject vars,
                                                    SubLObject connected_vars)

left_rooted_literals

public static final SubLObject left_rooted_literals(SubLObject literals,
                                                    SubLObject original)

default_lit_sort

public static final SubLObject default_lit_sort(SubLObject literals)

lit_L

public static final SubLObject lit_L(SubLObject lit_1,
                                     SubLObject lit_2)

pred_L

public static final SubLObject pred_L(SubLObject pred_1,
                                      SubLObject pred_2)

left_rooted_literals_int

public static final SubLObject left_rooted_literals_int(SubLObject literals,
                                                        SubLObject original)

left_rooted_score

public static final SubLObject left_rooted_score(SubLObject literal,
                                                 SubLObject literals,
                                                 SubLObject depth)

max_scored_item

public static final SubLObject max_scored_item(SubLObject items,
                                               SubLObject score_key,
                                               SubLObject result_key)

least_complex_literals

public static final SubLObject least_complex_literals(SubLObject literals,
                                                      SubLObject varP)

el_complexity_score

public static final SubLObject el_complexity_score(SubLObject object,
                                                   SubLObject varP,
                                                   SubLObject factor)

default_preference_lit

public static final SubLObject default_preference_lit(SubLObject literals)

canonicalize_clauses_variables

public static final SubLObject canonicalize_clauses_variables(SubLObject v_clauses)

rename_clauses_vars

public static final SubLObject rename_clauses_vars(SubLObject v_clauses)

el_nununiquifying_blist_wrt

public static final SubLObject el_nununiquifying_blist_wrt(SubLObject expression,
                                                           SubLObject updateP,
                                                           SubLObject forceP)

standardize_variable_memory_binding

public static final SubLObject standardize_variable_memory_binding(SubLObject var,
                                                                   SubLObject expression)

all_bindings

public static final SubLObject all_bindings(SubLObject symbol,
                                            SubLObject v_bindings)

el_nununiquify_vars_wrt_int

public static final SubLObject el_nununiquify_vars_wrt_int(SubLObject expression_1,
                                                           SubLObject expression_2,
                                                           SubLObject updateP,
                                                           SubLObject forceP)

el_nununiquify_vars_int

public static final SubLObject el_nununiquify_vars_int(SubLObject expression,
                                                       SubLObject updateP,
                                                       SubLObject forceP)

replace uniquified vars with origs when not ambiguous

el_nununiquify_vars

public static final SubLObject el_nununiquify_vars(SubLObject expression)

rename_clause_vars_int

public static final SubLObject rename_clause_vars_int(SubLObject clause,
                                                      SubLObject varP)

blist_vars_among

public static final SubLObject blist_vars_among(SubLObject blist,
                                                SubLObject vars)

clause_el_variables

public static final SubLObject clause_el_variables(SubLObject clause,
                                                   SubLObject varP)

initialize_symbol_suffix_table

public static final SubLObject initialize_symbol_suffix_table(SubLObject formula)

Assumes the EL variable namespace is bound.

initialize_suffix_table_for_var

public static final SubLObject initialize_suffix_table_for_var(SubLObject el_var)

extract_name_uniquifying_post_hyphen_integer

public static final SubLObject extract_name_uniquifying_post_hyphen_integer(SubLObject symbol)

canonicalize_clauses

public static final SubLObject canonicalize_clauses(SubLObject v_clauses,
                                                    SubLObject mt)

unwrap_clauses_if_ist_permissive

public static final SubLObject unwrap_clauses_if_ist_permissive(SubLObject v_clauses,
                                                                SubLObject input_mt)

Where possible, unwraps #$ist literals in CLAUSES

canonicalize_query_clauses

public static final SubLObject canonicalize_query_clauses(SubLObject v_clauses,
                                                          SubLObject mt)

canon_fast_clausesP

public static final SubLObject canon_fast_clausesP(SubLObject v_clauses)

lift_clauses_if_decontextualized

public static final SubLObject lift_clauses_if_decontextualized(SubLObject czer_clauses,
                                                                SubLObject mt)

psc_queryP

public static final SubLObject psc_queryP(SubLObject mt)

old_last_resort_literal

public static final SubLObject old_last_resort_literal(SubLObject literals,
                                                       SubLObject candidates,
                                                       SubLObject varP)

alphabetically_minimal_literal

public static final SubLObject alphabetically_minimal_literal(SubLObject literals,
                                                              SubLObject candidates,
                                                              SubLObject varP)

new_alphabetically_minimal_literal_int

public static final SubLObject new_alphabetically_minimal_literal_int(SubLObject literals,
                                                                      SubLObject candidates,
                                                                      SubLObject varP)

new_alphabetically_minimal_literal_int_2

public static final SubLObject new_alphabetically_minimal_literal_int_2(SubLObject literals,
                                                                        SubLObject varP)

old_commutative_terms_in_orderP

public static final SubLObject old_commutative_terms_in_orderP(SubLObject term1,
                                                               SubLObject term2)

old_commutative_atoms_in_orderP

public static final SubLObject old_commutative_atoms_in_orderP(SubLObject atom1,
                                                               SubLObject atom2)

old_commutative_conses_in_orderP

public static final SubLObject old_commutative_conses_in_orderP(SubLObject cons1,
                                                                SubLObject cons2)

last_resort_min_literals

public static final SubLObject last_resort_min_literals(SubLObject literals)

last_resort_min_literals_int

public static final SubLObject last_resort_min_literals_int(SubLObject literals)

last_resort_min_literals_min

public static final SubLObject last_resort_min_literals_min(SubLObject literals)

constant_median

public static final SubLObject constant_median(SubLObject constants)

ugly_thing_L

public static final SubLObject ugly_thing_L(SubLObject ugly1,
                                            SubLObject ugly2)

ugly_thing_G

public static final SubLObject ugly_thing_G(SubLObject ugly1,
                                            SubLObject ugly2)

last_resort_min_literals_max

public static final SubLObject last_resort_min_literals_max(SubLObject literals)

last_resort_min_literals_fn

public static final SubLObject last_resort_min_literals_fn(SubLObject lit)

declare_czer_main_file

public static final SubLObject declare_czer_main_file()

init_czer_main_file

public static final SubLObject init_czer_main_file()

setup_czer_main_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class czer_main

me

myName

$tou_skolem_blist$

$sym0$EL_FORMULA_P

$sym1$EL_TO_HL

$list2

$str3$Translate_el_expression_FORMULA_i

$list4

$sym5$EL_TO_HL_QUERY

$str6$Translate_el_query_FORMULA_into_i

$sym7$CANONICALIZE_TERM

$list8

$str9$Converts_the_EL_term_TERM_to_its_

$sym10$CANONICALIZE_TERM_MEMOIZED_INT

$kw11$_MEMOIZED_ITEM_NOT_FOUND_

$sym12$FORT_P

$str13$Invalid_attempt_to_reuse_memoizat

$sym14$CANON_WFF_

$kw15$CNF

$sym16$FAST_REIFIED_SKOLEM_

$const17$skolem

$const18$termDependsOn

$const19$UniversalVocabularyMt

$sym20$SKOLEM_FUNCTION_P

$sym21$CYCL_GENERALIZED_TENSED_LITERAL_P

$sym22$CANONICALIZE_WF_CYCL_INT_MEMOIZED

$sym23$CANONICALIZE_ASK_INT_MEMOIZED

$sym24$EL_WFF_SYNTAX_

$kw25$DNF

$str26$Unknown_clausal_form__s

$sym27$CANONICALIZE_CLAUSE_QUOTED_TERMS

$sym28$ESCAPE_QUOTE_SYNTAX_P

$sym29$CYC_VAR_

$sym30$QUASI_QUOTE_SYNTAX_P

$const31$Quote

$const32$EscapeQuote

$sym33$FAST_ESCAPE_QUOTE_TERM_P

$sym34$FORMULA_ARG1

$sym35$CANONICALIZE_CLAUSE_SENTENCE_TERMS

$kw36$NEG

$sym37$CANONICALIZE_LITERAL_SENTENCE_TERMS

$kw38$POS

$sym39$EL_NEGATION_P

$str40$Tried_to_canonicalize_the_formula

$sym41$CANONICALIZE_CLAUSE_COMMUTATIVE_TERMS_DESTRUCTIVE

$list42

$sym43$CANONICALIZE_LITERAL_COMMUTATIVE_TERMS_DESTRUCTIVE

$sym44$COMMUTATIVE_TERMS_IN_ORDER_

$kw45$HELLO_YOU_SILLY_COMPILER

$kw46$IGNORE

$kw47$DUMMY

$const48$commutativeInArgsAndRest

$kw49$TOO_MANY_COMMUTATIVE_IN_ARGS_AND_REST

$kw50$CYCLIC_COMMUTATIVE_IN_ARGS

$sym51$_

$const52$commutativeInArgs

$sym53$GAF_FORMULA

$sym54$EL_VAR_

$sym55$ATOM

$str56$warning__trying_to_sort_the_varia

$str57$warning__trying_to_string_sort_th

$kw58$UNINITIALIZED

$sym59$ADD_TERM_OF_UNIT_LITS_1

$sym60$STR

$sym61$EQUAL_WRT_SVM

$const62$ReifiableFunction

$const63$CycLReifiableDenotationalTerm

$const64$EvaluatableFunction

$sym65$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$str66$Tried_to_reify_functions_within__

$sym67$RELEVANT_MT_IS_GENL_MT

$sym68$CLAUSE_TERMS_TO_REIFY

$kw69$TOO_MANY_SEQUENCE_VARS_IN_SKOLEM_SCOPE

$kw70$TOO_MANY_SEQUENCE_VARS_IN_SCOPE_OF_SKOLEM

$sym71$_

$sym72$TERM_FUNCTIONAL_COMPLEXITY

$sym73$TL_FIND_OR_CREATE_NART

$sym74$QUEUE_P

$const75$termOfUnit

com.cyc.cycjava.cycl
Class czer_main