com.cyc.cycjava.cycl
Class cyc_kernel

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class cyc_kernel
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw27$UNNAMED
static SubLSymbol	$kw47$STRENGTH
static SubLSymbol	$kw48$DEFAULT
static SubLSymbol	$kw49$DIRECTION
static SubLSymbol	$kw75$BACKCHAIN
static SubLSymbol	$kw76$NUMBER
static SubLSymbol	$kw77$TIME
static SubLSymbol	$kw78$DEPTH
static SubLSymbol	$kw79$CONDITIONAL_SENTENCE
static SubLSymbol	$kw85$LAST
static SubLList	$list10
static SubLList	$list12
static SubLList	$list16
static SubLList	$list19
static SubLList	$list21
static SubLList	$list22
static SubLList	$list24
static SubLList	$list26
static SubLList	$list3
static SubLList	$list30
static SubLList	$list32
static SubLList	$list33
static SubLList	$list36
static SubLList	$list38
static SubLList	$list39
static SubLList	$list41
static SubLList	$list43
static SubLList	$list5
static SubLList	$list51
static SubLList	$list53
static SubLList	$list55
static SubLList	$list57
static SubLList	$list59
static SubLList	$list6
static SubLList	$list61
static SubLList	$list65
static SubLList	$list67
static SubLList	$list69
static SubLList	$list71
static SubLList	$list82
static SubLList	$list83
static SubLList	$list89
static SubLList	$list90
static SubLList	$list92
static SubLList	$list97
static SubLList	$list99
static SubLString	$str11$Create_a_new_constant_with_id_EXT
static SubLString	$str15$Return_constant_with_NAME_if_it_i
static SubLString	$str20$Change_name_of_CONSTANT_to_NAME__
static SubLString	$str25$Doesn_t_unassert_the_bookkeeping_
static SubLString	$str31$Kill_FORT_and_all_its_uses_from_t
static SubLString	$str34$cyc_rewrite_is_not_implemented_ye
static SubLString	$str37$_moves__all_asserted_arguments_fr
static SubLString	$str4$Creates_a_new_constant_with_name_
static SubLString	$str42$Move_asserted_assertions_on_KILL_
static SubLString	$str52$Assert_SENTENCE_in_the_specified_
static SubLString	$str56$Remove_the_assertions_canonicaliz
static SubLString	$str60$Unassert_OLD_SENTENCE_in_OLD_MT__
static SubLString	$str66$Tell_Cyc_to_conclude_SENTENCE__op
static SubLString	$str70$Remove_the_argument_for_SENTENCE_
static SubLString	$str73$Remove_all_arguments_for_SENTENCE
static SubLString	$str8$Creates_a_new_constant_with_name_
static SubLString	$str81$Query_for_bindings_for_free_varia
static SubLString	$str87$cyc_continue_query_is_deprecated_
static SubLString	$str91$Continues_a_query_started_by__xre
static SubLString	$str94$Reconsider_all_arguments_for_SENT
static SubLString	$str98$Rename_the_variables_in_SENTENCE_
static SubLSymbol	$sym0$NEW_CONSTANT_NAME_SPEC_P
static SubLSymbol	$sym1$CYC_CREATE
static SubLSymbol	$sym13$VALID_CONSTANT_NAME_P
static SubLSymbol	$sym14$CYC_FIND_OR_CREATE
static SubLSymbol	$sym17$CONSTANT_P
static SubLSymbol	$sym18$CYC_RENAME
static SubLSymbol	$sym2$CYC_CREATE_NEW_PERMANENT
static SubLSymbol	$sym23$CYC_RECREATE
static SubLSymbol	$sym28$FORT_P
static SubLSymbol	$sym29$CYC_KILL
static SubLSymbol	$sym35$CYC_REWRITE
static SubLSymbol	$sym40$CYC_MERGE
static SubLSymbol	$sym44$POSSIBLY_SENTENCE_P
static SubLSymbol	$sym45$POSSIBLY_MT_P
static SubLSymbol	$sym46$ASSERT_PROPERTIES_P
static SubLSymbol	$sym50$CYC_ASSERT
static SubLSymbol	$sym54$CYC_UNASSERT
static SubLSymbol	$sym58$CYC_EDIT
static SubLSymbol	$sym62$LIST_OF_CYCL_SUPPORT_P
static SubLSymbol	$sym63$BOOLEANP
static SubLSymbol	$sym64$CYC_ADD_ARGUMENT
static SubLSymbol	$sym68$CYC_REMOVE_ARGUMENT
static SubLSymbol	$sym7$CYC_CREATE_NEW_EPHEMERAL
static SubLSymbol	$sym72$CYC_REMOVE_ALL_ARGUMENTS
static SubLSymbol	$sym74$LEGACY_QUERY_PROPERTIES_P
static SubLSymbol	$sym80$CYC_QUERY
static SubLSymbol	$sym84$CLOSED_QUERY_JUSTIFIED_BINDINGS_P
static SubLSymbol	$sym86$QUERY_ID_P
static SubLSymbol	$sym88$CYC_CONTINUE_QUERY
static SubLSymbol	$sym9$CONSTANT_EXTERNAL_ID_P
static SubLSymbol	$sym93$CYC_TMS_RECONSIDER_SENTENCE
static SubLSymbol	$sym95$ALIST_P
static SubLSymbol	$sym96$CYC_RENAME_VARIABLES
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	cyc_assert_wff(SubLObject sentence, SubLObject mt, SubLObject v_properties) Like @xref CYC-ASSERT, but SENTENCE is assumed well-formed.
static SubLObject	cyc_assert(SubLObject sentence, SubLObject mt, SubLObject v_properties) Assert SENTENCE in the specified MT.
static SubLObject	cyc_create_new_ephemeral(SubLObject name) Creates a new constant with name NAME, but makes no effort to synchronize its external ID with other Cyc images.
static SubLObject	cyc_create(SubLObject name, SubLObject external_id) Create a new constant with id EXTERNAL-ID.
static SubLObject	cyc_kill(SubLObject fort) Kill FORT and all its uses from the KB.
static SubLObject	cyc_unassert(SubLObject sentence, SubLObject mt) Remove the assertions canonicalized from FORMULA in the microtheory MT.
static SubLObject	declare_cyc_kernel_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_assert_property(SubLObject v_properties, SubLObject indicator, SubLObject v_default)
static SubLObject	init_cyc_kernel_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_cyc_kernel_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$NEW_CONSTANT_NAME_SPEC_P

public static final SubLSymbol $sym0$NEW_CONSTANT_NAME_SPEC_P

$sym1$CYC_CREATE

public static final SubLSymbol $sym1$CYC_CREATE

$sym2$CYC_CREATE_NEW_PERMANENT

public static final SubLSymbol $sym2$CYC_CREATE_NEW_PERMANENT

$list3

public static final SubLList $list3

$str4$Creates_a_new_constant_with_name_

public static final SubLString $str4$Creates_a_new_constant_with_name_

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$CYC_CREATE_NEW_EPHEMERAL

public static final SubLSymbol $sym7$CYC_CREATE_NEW_EPHEMERAL

$str8$Creates_a_new_constant_with_name_

public static final SubLString $str8$Creates_a_new_constant_with_name_

$sym9$CONSTANT_EXTERNAL_ID_P

public static final SubLSymbol $sym9$CONSTANT_EXTERNAL_ID_P

$list10

public static final SubLList $list10

$str11$Create_a_new_constant_with_id_EXT

public static final SubLString $str11$Create_a_new_constant_with_id_EXT

$list12

public static final SubLList $list12

$sym13$VALID_CONSTANT_NAME_P

public static final SubLSymbol $sym13$VALID_CONSTANT_NAME_P

$sym14$CYC_FIND_OR_CREATE

public static final SubLSymbol $sym14$CYC_FIND_OR_CREATE

$str15$Return_constant_with_NAME_if_it_i

public static final SubLString $str15$Return_constant_with_NAME_if_it_i

$list16

public static final SubLList $list16

$sym17$CONSTANT_P

public static final SubLSymbol $sym17$CONSTANT_P

$sym18$CYC_RENAME

public static final SubLSymbol $sym18$CYC_RENAME

$list19

public static final SubLList $list19

$str20$Change_name_of_CONSTANT_to_NAME__

public static final SubLString $str20$Change_name_of_CONSTANT_to_NAME__

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$sym23$CYC_RECREATE

public static final SubLSymbol $sym23$CYC_RECREATE

$list24

public static final SubLList $list24

$str25$Doesn_t_unassert_the_bookkeeping_

public static final SubLString $str25$Doesn_t_unassert_the_bookkeeping_

$list26

public static final SubLList $list26

$kw27$UNNAMED

public static final SubLSymbol $kw27$UNNAMED

$sym28$FORT_P

public static final SubLSymbol $sym28$FORT_P

$sym29$CYC_KILL

public static final SubLSymbol $sym29$CYC_KILL

$list30

public static final SubLList $list30

$str31$Kill_FORT_and_all_its_uses_from_t

public static final SubLString $str31$Kill_FORT_and_all_its_uses_from_t

$list32

public static final SubLList $list32

$list33

public static final SubLList $list33

$str34$cyc_rewrite_is_not_implemented_ye

public static final SubLString $str34$cyc_rewrite_is_not_implemented_ye

$sym35$CYC_REWRITE

public static final SubLSymbol $sym35$CYC_REWRITE

$list36

public static final SubLList $list36

$str37$_moves__all_asserted_arguments_fr

public static final SubLString $str37$_moves__all_asserted_arguments_fr

$list38

public static final SubLList $list38

$list39

public static final SubLList $list39

$sym40$CYC_MERGE

public static final SubLSymbol $sym40$CYC_MERGE

$list41

public static final SubLList $list41

$str42$Move_asserted_assertions_on_KILL_

public static final SubLString $str42$Move_asserted_assertions_on_KILL_

$list43

public static final SubLList $list43

$sym44$POSSIBLY_SENTENCE_P

public static final SubLSymbol $sym44$POSSIBLY_SENTENCE_P

$sym45$POSSIBLY_MT_P

public static final SubLSymbol $sym45$POSSIBLY_MT_P

$sym46$ASSERT_PROPERTIES_P

public static final SubLSymbol $sym46$ASSERT_PROPERTIES_P

$kw47$STRENGTH

public static final SubLSymbol $kw47$STRENGTH

$kw48$DEFAULT

public static final SubLSymbol $kw48$DEFAULT

$kw49$DIRECTION

public static final SubLSymbol $kw49$DIRECTION

$sym50$CYC_ASSERT

public static final SubLSymbol $sym50$CYC_ASSERT

$list51

public static final SubLList $list51

$str52$Assert_SENTENCE_in_the_specified_

public static final SubLString $str52$Assert_SENTENCE_in_the_specified_

$list53

public static final SubLList $list53

$sym54$CYC_UNASSERT

public static final SubLSymbol $sym54$CYC_UNASSERT

$list55

public static final SubLList $list55

$str56$Remove_the_assertions_canonicaliz

public static final SubLString $str56$Remove_the_assertions_canonicaliz

$list57

public static final SubLList $list57

$sym58$CYC_EDIT

public static final SubLSymbol $sym58$CYC_EDIT

$list59

public static final SubLList $list59

$str60$Unassert_OLD_SENTENCE_in_OLD_MT__

public static final SubLString $str60$Unassert_OLD_SENTENCE_in_OLD_MT__

$list61

public static final SubLList $list61

$sym62$LIST_OF_CYCL_SUPPORT_P

public static final SubLSymbol $sym62$LIST_OF_CYCL_SUPPORT_P

$sym63$BOOLEANP

public static final SubLSymbol $sym63$BOOLEANP

$sym64$CYC_ADD_ARGUMENT

public static final SubLSymbol $sym64$CYC_ADD_ARGUMENT

$list65

public static final SubLList $list65

$str66$Tell_Cyc_to_conclude_SENTENCE__op

public static final SubLString $str66$Tell_Cyc_to_conclude_SENTENCE__op

$list67

public static final SubLList $list67

$sym68$CYC_REMOVE_ARGUMENT

public static final SubLSymbol $sym68$CYC_REMOVE_ARGUMENT

$list69

public static final SubLList $list69

$str70$Remove_the_argument_for_SENTENCE_

public static final SubLString $str70$Remove_the_argument_for_SENTENCE_

$list71

public static final SubLList $list71

$sym72$CYC_REMOVE_ALL_ARGUMENTS

public static final SubLSymbol $sym72$CYC_REMOVE_ALL_ARGUMENTS

$str73$Remove_all_arguments_for_SENTENCE

public static final SubLString $str73$Remove_all_arguments_for_SENTENCE

$sym74$LEGACY_QUERY_PROPERTIES_P

public static final SubLSymbol $sym74$LEGACY_QUERY_PROPERTIES_P

$kw75$BACKCHAIN

public static final SubLSymbol $kw75$BACKCHAIN

$kw76$NUMBER

public static final SubLSymbol $kw76$NUMBER

$kw77$TIME

public static final SubLSymbol $kw77$TIME

$kw78$DEPTH

public static final SubLSymbol $kw78$DEPTH

$kw79$CONDITIONAL_SENTENCE

public static final SubLSymbol $kw79$CONDITIONAL_SENTENCE

$sym80$CYC_QUERY

public static final SubLSymbol $sym80$CYC_QUERY

$str81$Query_for_bindings_for_free_varia

public static final SubLString $str81$Query_for_bindings_for_free_varia

$list82

public static final SubLList $list82

$list83

public static final SubLList $list83

$sym84$CLOSED_QUERY_JUSTIFIED_BINDINGS_P

public static final SubLSymbol $sym84$CLOSED_QUERY_JUSTIFIED_BINDINGS_P

$kw85$LAST

public static final SubLSymbol $kw85$LAST

$sym86$QUERY_ID_P

public static final SubLSymbol $sym86$QUERY_ID_P

$str87$cyc_continue_query_is_deprecated_

public static final SubLString $str87$cyc_continue_query_is_deprecated_

$sym88$CYC_CONTINUE_QUERY

public static final SubLSymbol $sym88$CYC_CONTINUE_QUERY

$list89

public static final SubLList $list89

$list90

public static final SubLList $list90

$str91$Continues_a_query_started_by__xre

public static final SubLString $str91$Continues_a_query_started_by__xre

$list92

public static final SubLList $list92

$sym93$CYC_TMS_RECONSIDER_SENTENCE

public static final SubLSymbol $sym93$CYC_TMS_RECONSIDER_SENTENCE

$str94$Reconsider_all_arguments_for_SENT

public static final SubLString $str94$Reconsider_all_arguments_for_SENT

$sym95$ALIST_P

public static final SubLSymbol $sym95$ALIST_P

$sym96$CYC_RENAME_VARIABLES

public static final SubLSymbol $sym96$CYC_RENAME_VARIABLES

$list97

public static final SubLList $list97

$str98$Rename_the_variables_in_SENTENCE_

public static final SubLString $str98$Rename_the_variables_in_SENTENCE_

$list99

public static final SubLList $list99

Method Detail

cyc_create_new_ephemeral

public static final SubLObject cyc_create_new_ephemeral(SubLObject name)

Creates a new constant with name NAME, but makes no effort to synchronize its external ID with other Cyc images. This is intended for constants that will not be transmitted to other Cyc images.

cyc_create

public static final SubLObject cyc_create(SubLObject name,
                                          SubLObject external_id)

Create a new constant with id EXTERNAL-ID. If NAME is anything other than :unnamed, the new constant will be given the name NAME.

cyc_kill

public static final SubLObject cyc_kill(SubLObject fort)

Kill FORT and all its uses from the KB. If FORT is a microtheory, all assertions in that microtheory are removed.

get_assert_property

public static final SubLObject get_assert_property(SubLObject v_properties,
                                                   SubLObject indicator,
                                                   SubLObject v_default)

cyc_assert

public static final SubLObject cyc_assert(SubLObject sentence,
                                          SubLObject mt,
                                          SubLObject v_properties)

Assert SENTENCE in the specified MT. properties; :strength el-strength-p (:default or :monotonic) :direction direction-p (:forward or :backward) GAF assertion direction defaults to :forward, and rule assertion direction defaults to :backward.

Returns:

booleanp; t iff the assert succeeded. If the assertion already existed, it is considered a success.

cyc_assert_wff

public static final SubLObject cyc_assert_wff(SubLObject sentence,
                                              SubLObject mt,
                                              SubLObject v_properties)

Like @xref CYC-ASSERT, but SENTENCE is assumed well-formed.

cyc_unassert

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

Remove the assertions canonicalized from FORMULA in the microtheory MT. Return T if the operation succeeded, otherwise return NIL.

declare_cyc_kernel_file

public static final SubLObject declare_cyc_kernel_file()

init_cyc_kernel_file

public static final SubLObject init_cyc_kernel_file()

setup_cyc_kernel_file

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