com.cyc.cycjava.cycl
Class deductions_interface

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class deductions_interface
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLList	$list13
static SubLList	$list15
static SubLList	$list16
static SubLList	$list19
static SubLList	$list22
static SubLList	$list25
static SubLList	$list28
static SubLList	$list31
static SubLList	$list34
static SubLList	$list36
static SubLList	$list5
static SubLList	$list7
static SubLList	$list8
static SubLString	$str14$Remove_DEDUCTION_from_the_KB__and
static SubLString	$str18$Return_the_deduction_with_ASSERTI
static SubLString	$str21$Return_the_assertion_for_DEDUCTIO
static SubLString	$str24$Return_the_supports_for_DEDUCTION
static SubLString	$str27$Return_the_truth_for_DEDUCTION_
static SubLString	$str30$Return_the_strength_for_DEDUCTION
static SubLString	$str35$Change_the_strength_of_DEDUCTION_
static SubLString	$str6$Create_a_new_deduction_consisting
static SubLSymbol	$sym0$SUPPORT_P
static SubLSymbol	$sym1$HL_JUSTIFICATION_P
static SubLSymbol	$sym10$DEDUCTION_P
static SubLSymbol	$sym11$KB_REMOVE_DEDUCTION
static SubLSymbol	$sym12$QUOTE
static SubLSymbol	$sym17$KB_LOOKUP_DEDUCTION
static SubLSymbol	$sym2$TRUTH_P
static SubLSymbol	$sym20$KB_DEDUCTION_ASSERTION
static SubLSymbol	$sym23$KB_DEDUCTION_SUPPORTS
static SubLSymbol	$sym26$KB_DEDUCTION_TRUTH
static SubLSymbol	$sym29$KB_DEDUCTION_STRENGTH
static SubLSymbol	$sym3$KB_CREATE_DEDUCTION
static SubLSymbol	$sym32$EL_STRENGTH_P
static SubLSymbol	$sym33$KB_SET_DEDUCTION_STRENGTH
static SubLSymbol	$sym4$_EXIT
static SubLSymbol	$sym9$KB_CREATE_DEDUCTION_KB_STORE
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	declare_deductions_interface_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_deductions_interface_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_create_deduction_local(SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	kb_create_deduction(SubLObject assertion, SubLObject supports, SubLObject truth) Create a new deduction consisting of SUPPORTS for ASSERTION.
static SubLObject	kb_deduction_assertion(SubLObject deduction) Return the assertion for DEDUCTION.
static SubLObject	kb_deduction_strength(SubLObject deduction) Return the strength for DEDUCTION.
static SubLObject	kb_deduction_supports(SubLObject deduction) Return the supports for DEDUCTION.
static SubLObject	kb_deduction_truth(SubLObject deduction) Return the truth for DEDUCTION.
static SubLObject	kb_lookup_deduction(SubLObject assertion, SubLObject supports, SubLObject truth) Return the deduction with ASSERTION, SUPPORTS, and TRUTH, if it exists.
static SubLObject	kb_remove_deduction(SubLObject deduction) Remove DEDUCTION from the KB, and unhook its indexing.
static SubLObject	kb_set_deduction_strength(SubLObject deduction, SubLObject new_strength) Change the strength of DEDUCTION to NEW-STRENGTH.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_deductions_interface_file()

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

extractFunctionNamed

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

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

Methods inherited from class java.lang.Object

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

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$sym0$SUPPORT_P

public static final SubLSymbol $sym0$SUPPORT_P

$sym1$HL_JUSTIFICATION_P

public static final SubLSymbol $sym1$HL_JUSTIFICATION_P

$sym2$TRUTH_P

public static final SubLSymbol $sym2$TRUTH_P

$sym3$KB_CREATE_DEDUCTION

public static final SubLSymbol $sym3$KB_CREATE_DEDUCTION

$sym4$_EXIT

public static final SubLSymbol $sym4$_EXIT

$list5

public static final SubLList $list5

$str6$Create_a_new_deduction_consisting

public static final SubLString $str6$Create_a_new_deduction_consisting

$list7

public static final SubLList $list7

$list8

public static final SubLList $list8

$sym9$KB_CREATE_DEDUCTION_KB_STORE

public static final SubLSymbol $sym9$KB_CREATE_DEDUCTION_KB_STORE

$sym10$DEDUCTION_P

public static final SubLSymbol $sym10$DEDUCTION_P

$sym11$KB_REMOVE_DEDUCTION

public static final SubLSymbol $sym11$KB_REMOVE_DEDUCTION

$sym12$QUOTE

public static final SubLSymbol $sym12$QUOTE

$list13

public static final SubLList $list13

$str14$Remove_DEDUCTION_from_the_KB__and

public static final SubLString $str14$Remove_DEDUCTION_from_the_KB__and

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$sym17$KB_LOOKUP_DEDUCTION

public static final SubLSymbol $sym17$KB_LOOKUP_DEDUCTION

$str18$Return_the_deduction_with_ASSERTI

public static final SubLString $str18$Return_the_deduction_with_ASSERTI

$list19

public static final SubLList $list19

$sym20$KB_DEDUCTION_ASSERTION

public static final SubLSymbol $sym20$KB_DEDUCTION_ASSERTION

$str21$Return_the_assertion_for_DEDUCTIO

public static final SubLString $str21$Return_the_assertion_for_DEDUCTIO

$list22

public static final SubLList $list22

$sym23$KB_DEDUCTION_SUPPORTS

public static final SubLSymbol $sym23$KB_DEDUCTION_SUPPORTS

$str24$Return_the_supports_for_DEDUCTION

public static final SubLString $str24$Return_the_supports_for_DEDUCTION

$list25

public static final SubLList $list25

$sym26$KB_DEDUCTION_TRUTH

public static final SubLSymbol $sym26$KB_DEDUCTION_TRUTH

$str27$Return_the_truth_for_DEDUCTION_

public static final SubLString $str27$Return_the_truth_for_DEDUCTION_

$list28

public static final SubLList $list28

$sym29$KB_DEDUCTION_STRENGTH

public static final SubLSymbol $sym29$KB_DEDUCTION_STRENGTH

$str30$Return_the_strength_for_DEDUCTION

public static final SubLString $str30$Return_the_strength_for_DEDUCTION

$list31

public static final SubLList $list31

$sym32$EL_STRENGTH_P

public static final SubLSymbol $sym32$EL_STRENGTH_P

$sym33$KB_SET_DEDUCTION_STRENGTH

public static final SubLSymbol $sym33$KB_SET_DEDUCTION_STRENGTH

$list34

public static final SubLList $list34

$str35$Change_the_strength_of_DEDUCTION_

public static final SubLString $str35$Change_the_strength_of_DEDUCTION_

$list36

public static final SubLList $list36

Method Detail

kb_create_deduction

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

Create a new deduction consisting of SUPPORTS for ASSERTION. TRUTH is the truth value of the deduction. Hook up the indexing for the new deduction.

kb_create_deduction_local

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

kb_remove_deduction

public static final SubLObject kb_remove_deduction(SubLObject deduction)

Remove DEDUCTION from the KB, and unhook its indexing.

kb_lookup_deduction

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

Return the deduction with ASSERTION, SUPPORTS, and TRUTH, if it exists. Return NIL otherwise.

kb_deduction_assertion

public static final SubLObject kb_deduction_assertion(SubLObject deduction)

Return the assertion for DEDUCTION.

kb_deduction_supports

public static final SubLObject kb_deduction_supports(SubLObject deduction)

Return the supports for DEDUCTION.

kb_deduction_truth

public static final SubLObject kb_deduction_truth(SubLObject deduction)

Return the truth for DEDUCTION.

kb_deduction_strength

public static final SubLObject kb_deduction_strength(SubLObject deduction)

Return the strength for DEDUCTION.

kb_set_deduction_strength

public static final SubLObject kb_set_deduction_strength(SubLObject deduction,
                                                         SubLObject new_strength)

Change the strength of DEDUCTION to NEW-STRENGTH.

declare_deductions_interface_file

public static final SubLObject declare_deductions_interface_file()

init_deductions_interface_file

public static final SubLObject init_deductions_interface_file()

setup_deductions_interface_file

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