com.cyc.cycjava.cycl
Class tms

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class tms
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$circular_complexity_count_limit$ The maximum number of assertions we'll consider while checking for circularly supported assertions.
static SubLObject	$const29$isa
static SubLObject	$const31$genls
static SubLObject	$const36$genlPreds
static SubLObject	$const37$implies
static SubLObject	$const38$InferencePSC
static SubLObject	$const59$EverythingPSC
static SubLInteger	$int62$50
static SubLSymbol	$kw16$FORWARD
static SubLSymbol	$kw19$MT
static SubLSymbol	$kw20$BROAD_MT
static SubLSymbol	$kw23$SKIP
static SubLSymbol	$kw24$TRUE
static SubLSymbol	$kw25$BACKWARD
static SubLSymbol	$kw27$FALSE
static SubLSymbol	$kw40$ALLOWED_RULES
static SubLSymbol	$kw41$CONDITIONAL_SENTENCE_
static SubLSymbol	$kw42$MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw43$RESULT_UNIQUENESS
static SubLSymbol	$kw44$PROOF
static SubLSymbol	$kw45$RETURN
static SubLSymbol	$kw46$SUPPORTS
static SubLSymbol	$kw47$ANSWER_LANGUAGE
static SubLSymbol	$kw48$HL
static SubLSymbol	$kw49$CONTINUABLE_
static SubLSymbol	$kw50$PRODUCTIVITY_LIMIT
static SubLSymbol	$kw51$POSITIVE_INFINITY
static SubLSymbol	$kw52$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw53$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw54$ALLOW_HL_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw66$JUST_FOUND
static SubLList	$list1
static SubLList	$list30
static SubLList	$list5
static SubLList	$list7
static SubLList	$list9
static SubLString	$str21$do_broad_mt_index
static SubLString	$str28$_S_was_not_an_atomic_CNF_
static SubLString	$str55$Performing_full_TMS_on_mt__S
static SubLString	$str60$Reconsidering_assertion_arguments
static SubLString	$str63$Removing_circularly_supported_ass
static SubLString	$str64$_____S_circularly_supported_asser
static SubLString	$str65$__Removing__S
static SubLSymbol	$sym0$ASSERTION_P
static SubLSymbol	$sym10$PIF
static SubLSymbol	$sym11$TMS_NOTE_DEDUCTION_BEING_REMOVED
static SubLSymbol	$sym12$PROGN
static SubLSymbol	$sym13$ARGUMENT_P
static SubLSymbol	$sym14$ASSERTED_ARGUMENT_P
static SubLSymbol	$sym15$TV_P
static SubLSymbol	$sym17$DIRECTION_P
static SubLSymbol	$sym18$HLMT_P
static SubLSymbol	$sym2$CLET
static SubLSymbol	$sym22$STRINGP
static SubLSymbol	$sym26$CNF_P
static SubLSymbol	$sym3$_TMS_ASSERTIONS_BEING_REMOVED_
static SubLSymbol	$sym32$RULE_ASSERTION_
static SubLSymbol	$sym33$RULE_HAS_EXCEPTIONS_
static SubLSymbol	$sym34$RULE_WITH_SOME_PRAGMATIC_SOMEWHERE_
static SubLSymbol	$sym35$_PRED
static SubLSymbol	$sym39$UNBOUND_PREDICATE_RULE_P
static SubLSymbol	$sym4$ADJOIN
static SubLSymbol	$sym56$RELEVANT_MT_IS_EQ
static SubLSymbol	$sym57$TMS_RECONSIDER_ASSERTION
static SubLSymbol	$sym58$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym6$DEDUCTION_P
static SubLSymbol	$sym61$SUPPORT_P
static SubLSymbol	$sym8$_TMS_DEDUCTIONS_BEING_REMOVED_
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	believed_circular_deduction(SubLObject deduction)
static SubLObject	circular_deductions_with_assertion(SubLObject assertion)
static SubLObject	declare_tms_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	gather_circular_deduction(SubLObject deduction, SubLObject asserted_assertions_to_ignore)
static SubLObject	inc_circular_complexity_count()
static SubLObject	init_tms_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	mark_circular_assertion(SubLObject assertion)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_tms_file()
static SubLObject	some_belief_justification(SubLObject assertion, SubLObject asserted_assertions_to_ignore)
static SubLObject	tms_add_deduction_for_assertion(SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	tms_add_deduction_for_cnf(SubLObject cnf, SubLObject mt, SubLObject supports, SubLObject truth, SubLObject direction, SubLObject var_names)
static SubLObject	tms_add_new_deduction(SubLObject assertion, SubLObject supports, SubLObject tv)
static SubLObject	tms_argument_being_removedP(SubLObject argument) Return T iff ARGUMENT is known to be in the midst of being removed via TMS
static SubLObject	tms_assertion_being_removedP(SubLObject assertion) Return T iff ASSERTION is in the midst of being removed via TMS
static SubLObject	tms_change_direction(SubLObject assertion, SubLObject direction) Change the DIRECTION of ASSERTION and queue forward propagation if required.
static SubLObject	tms_create_asserted_argument_with_tv(SubLObject assertion, SubLObject tv) Assumes that ASSERTION does not have any asserted arguments.
static SubLObject	tms_deduction_being_removedP(SubLObject deduction) Return T iff DEDUCTION is in the midst of being removed via TMS
static SubLObject	tms_direct_circularity(SubLObject assertion, SubLObject supports) Return T iff SUPPORTS for ASSERTION include a direct circularity
static SubLObject	tms_postprocess_new_argument(SubLObject assertion, SubLObject argument) Now that ARGUMENT for ASSERTION has been added to the KB, perform necessary truth maintenance.
static SubLObject	tms_propagate_removed_argument(SubLObject argument, SubLObject assertion)
static SubLObject	tms_recompute_assertion_tv(SubLObject assertion) Recompute ASSERTION's tv and perform necessary truth maintenance.
static SubLObject	tms_remove_argument(SubLObject argument, SubLObject assertion) Remove ARGUMENT for ASSERTION from the KB and perform necessary truth maintenance.
static SubLObject	tms_remove_assertion_int_2(SubLObject assertion) Remove ASSERTION from the KB.
static SubLObject	tms_remove_assertion_int(SubLObject assertion)
static SubLObject	tms_remove_assertion_list(SubLObject assertions) Remove each valid assertion in ASSERTIONS
static SubLObject	tms_remove_assertion(SubLObject assertion) Remove ASSERTION from the KB and do all necessary truth maintenance.
static SubLObject	tms_remove_dependents(SubLObject assertion) Remove all the deductions depending on this ASSERTION.
static SubLObject	tms_remove_nonempty_assertion_list(SubLObject assertions) Remove each valid assertion in ASSERTIONS

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

$circular_complexity_count_limit$

public static SubLSymbol $circular_complexity_count_limit$

The maximum number of assertions we'll consider while checking for circularly supported assertions. NIL means no limit

$sym0$ASSERTION_P

public static final SubLSymbol $sym0$ASSERTION_P

$list1

public static final SubLList $list1

$sym2$CLET

public static final SubLSymbol $sym2$CLET

$sym3$_TMS_ASSERTIONS_BEING_REMOVED_

public static final SubLSymbol $sym3$_TMS_ASSERTIONS_BEING_REMOVED_

$sym4$ADJOIN

public static final SubLSymbol $sym4$ADJOIN

$list5

public static final SubLList $list5

$sym6$DEDUCTION_P

public static final SubLSymbol $sym6$DEDUCTION_P

$list7

public static final SubLList $list7

$sym8$_TMS_DEDUCTIONS_BEING_REMOVED_

public static final SubLSymbol $sym8$_TMS_DEDUCTIONS_BEING_REMOVED_

$list9

public static final SubLList $list9

$sym10$PIF

public static final SubLSymbol $sym10$PIF

$sym11$TMS_NOTE_DEDUCTION_BEING_REMOVED

public static final SubLSymbol $sym11$TMS_NOTE_DEDUCTION_BEING_REMOVED

$sym12$PROGN

public static final SubLSymbol $sym12$PROGN

$sym13$ARGUMENT_P

public static final SubLSymbol $sym13$ARGUMENT_P

$sym14$ASSERTED_ARGUMENT_P

public static final SubLSymbol $sym14$ASSERTED_ARGUMENT_P

$sym15$TV_P

public static final SubLSymbol $sym15$TV_P

$kw16$FORWARD

public static final SubLSymbol $kw16$FORWARD

$sym17$DIRECTION_P

public static final SubLSymbol $sym17$DIRECTION_P

$sym18$HLMT_P

public static final SubLSymbol $sym18$HLMT_P

$kw19$MT

public static final SubLSymbol $kw19$MT

$kw20$BROAD_MT

public static final SubLSymbol $kw20$BROAD_MT

$str21$do_broad_mt_index

public static final SubLString $str21$do_broad_mt_index

$sym22$STRINGP

public static final SubLSymbol $sym22$STRINGP

$kw23$SKIP

public static final SubLSymbol $kw23$SKIP

$kw24$TRUE

public static final SubLSymbol $kw24$TRUE

$kw25$BACKWARD

public static final SubLSymbol $kw25$BACKWARD

$sym26$CNF_P

public static final SubLSymbol $sym26$CNF_P

$kw27$FALSE

public static final SubLSymbol $kw27$FALSE

$str28$_S_was_not_an_atomic_CNF_

public static final SubLString $str28$_S_was_not_an_atomic_CNF_

$const29$isa

public static final SubLObject $const29$isa

$list30

public static final SubLList $list30

$const31$genls

public static final SubLObject $const31$genls

$sym32$RULE_ASSERTION_

public static final SubLSymbol $sym32$RULE_ASSERTION_

$sym33$RULE_HAS_EXCEPTIONS_

public static final SubLSymbol $sym33$RULE_HAS_EXCEPTIONS_

$sym34$RULE_WITH_SOME_PRAGMATIC_SOMEWHERE_

public static final SubLSymbol $sym34$RULE_WITH_SOME_PRAGMATIC_SOMEWHERE_

$sym35$_PRED

public static final SubLSymbol $sym35$_PRED

$const36$genlPreds

public static final SubLObject $const36$genlPreds

$const37$implies

public static final SubLObject $const37$implies

$const38$InferencePSC

public static final SubLObject $const38$InferencePSC

$sym39$UNBOUND_PREDICATE_RULE_P

public static final SubLSymbol $sym39$UNBOUND_PREDICATE_RULE_P

$kw40$ALLOWED_RULES

public static final SubLSymbol $kw40$ALLOWED_RULES

$kw41$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw41$CONDITIONAL_SENTENCE_

$kw42$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw42$MAX_TRANSFORMATION_DEPTH

$kw43$RESULT_UNIQUENESS

public static final SubLSymbol $kw43$RESULT_UNIQUENESS

$kw44$PROOF

public static final SubLSymbol $kw44$PROOF

$kw45$RETURN

public static final SubLSymbol $kw45$RETURN

$kw46$SUPPORTS

public static final SubLSymbol $kw46$SUPPORTS

$kw47$ANSWER_LANGUAGE

public static final SubLSymbol $kw47$ANSWER_LANGUAGE

$kw48$HL

public static final SubLSymbol $kw48$HL

$kw49$CONTINUABLE_

public static final SubLSymbol $kw49$CONTINUABLE_

$kw50$PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw50$PRODUCTIVITY_LIMIT

$kw51$POSITIVE_INFINITY

public static final SubLSymbol $kw51$POSITIVE_INFINITY

$kw52$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw52$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$kw53$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw53$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

$kw54$ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw54$ALLOW_HL_PREDICATE_TRANSFORMATION_

$str55$Performing_full_TMS_on_mt__S

public static final SubLString $str55$Performing_full_TMS_on_mt__S

$sym56$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym56$RELEVANT_MT_IS_EQ

$sym57$TMS_RECONSIDER_ASSERTION

public static final SubLSymbol $sym57$TMS_RECONSIDER_ASSERTION

$sym58$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym58$RELEVANT_MT_IS_EVERYTHING

$const59$EverythingPSC

public static final SubLObject $const59$EverythingPSC

$str60$Reconsidering_assertion_arguments

public static final SubLString $str60$Reconsidering_assertion_arguments

$sym61$SUPPORT_P

public static final SubLSymbol $sym61$SUPPORT_P

$int62$50

public static final SubLInteger $int62$50

$str63$Removing_circularly_supported_ass

public static final SubLString $str63$Removing_circularly_supported_ass

$str64$_____S_circularly_supported_asser

public static final SubLString $str64$_____S_circularly_supported_asser

$str65$__Removing__S

public static final SubLString $str65$__Removing__S

$kw66$JUST_FOUND

public static final SubLSymbol $kw66$JUST_FOUND

Method Detail

tms_assertion_being_removedP

public static final SubLObject tms_assertion_being_removedP(SubLObject assertion)

Return T iff ASSERTION is in the midst of being removed via TMS

tms_deduction_being_removedP

public static final SubLObject tms_deduction_being_removedP(SubLObject deduction)

Return T iff DEDUCTION is in the midst of being removed via TMS

tms_argument_being_removedP

public static final SubLObject tms_argument_being_removedP(SubLObject argument)

Return T iff ARGUMENT is known to be in the midst of being removed via TMS

tms_create_asserted_argument_with_tv

public static final SubLObject tms_create_asserted_argument_with_tv(SubLObject assertion,
                                                                    SubLObject tv)

Assumes that ASSERTION does not have any asserted arguments. Creates a new asserted argument for ASSERTION with TV.

tms_add_new_deduction

public static final SubLObject tms_add_new_deduction(SubLObject assertion,
                                                     SubLObject supports,
                                                     SubLObject tv)

tms_postprocess_new_argument

public static final SubLObject tms_postprocess_new_argument(SubLObject assertion,
                                                            SubLObject argument)

Now that ARGUMENT for ASSERTION has been added to the KB, perform necessary truth maintenance. ARGUMENT is assumed to be a new argument, not a redundant already-existing one.

tms_remove_argument

public static final SubLObject tms_remove_argument(SubLObject argument,
                                                   SubLObject assertion)

Remove ARGUMENT for ASSERTION from the KB and perform necessary truth maintenance. Return T if the supported assertion was removed, or it was invalid, else NIL.

tms_propagate_removed_argument

public static final SubLObject tms_propagate_removed_argument(SubLObject argument,
                                                              SubLObject assertion)

tms_remove_assertion_list

public static final SubLObject tms_remove_assertion_list(SubLObject assertions)

Remove each valid assertion in ASSERTIONS

tms_remove_nonempty_assertion_list

public static final SubLObject tms_remove_nonempty_assertion_list(SubLObject assertions)

Remove each valid assertion in ASSERTIONS

tms_remove_assertion

public static final SubLObject tms_remove_assertion(SubLObject assertion)

Remove ASSERTION from the KB and do all necessary truth maintenance.

tms_remove_assertion_int

public static final SubLObject tms_remove_assertion_int(SubLObject assertion)

tms_remove_assertion_int_2

public static final SubLObject tms_remove_assertion_int_2(SubLObject assertion)

Remove ASSERTION from the KB.

tms_recompute_assertion_tv

public static final SubLObject tms_recompute_assertion_tv(SubLObject assertion)

Recompute ASSERTION's tv and perform necessary truth maintenance. Return T if ASSERTION should be removed, else NIL

tms_change_direction

public static final SubLObject tms_change_direction(SubLObject assertion,
                                                    SubLObject direction)

Change the DIRECTION of ASSERTION and queue forward propagation if required.

tms_remove_dependents

public static final SubLObject tms_remove_dependents(SubLObject assertion)

Remove all the deductions depending on this ASSERTION.

tms_add_deduction_for_assertion

public static final SubLObject tms_add_deduction_for_assertion(SubLObject assertion,
                                                               SubLObject supports,
                                                               SubLObject truth)

Returns:

0 NIL or deduction-p

tms_add_deduction_for_cnf

public static final SubLObject tms_add_deduction_for_cnf(SubLObject cnf,
                                                         SubLObject mt,
                                                         SubLObject supports,
                                                         SubLObject truth,
                                                         SubLObject direction,
                                                         SubLObject var_names)

tms_direct_circularity

public static final SubLObject tms_direct_circularity(SubLObject assertion,
                                                      SubLObject supports)

Return T iff SUPPORTS for ASSERTION include a direct circularity

some_belief_justification

public static final SubLObject some_belief_justification(SubLObject assertion,
                                                         SubLObject asserted_assertions_to_ignore)

inc_circular_complexity_count

public static final SubLObject inc_circular_complexity_count()

gather_circular_deduction

public static final SubLObject gather_circular_deduction(SubLObject deduction,
                                                         SubLObject asserted_assertions_to_ignore)

mark_circular_assertion

public static final SubLObject mark_circular_assertion(SubLObject assertion)

circular_deductions_with_assertion

public static final SubLObject circular_deductions_with_assertion(SubLObject assertion)

believed_circular_deduction

public static final SubLObject believed_circular_deduction(SubLObject deduction)

declare_tms_file

public static final SubLObject declare_tms_file()

init_tms_file

public static final SubLObject init_tms_file()

setup_tms_file

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