com.cyc.cycjava.cycl
Class narts_high

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class narts_high
extends SubLTranslatedFile

Nested Class Summary

static class	narts_high.$find_nart$UnaryFunction
static class	narts_high.$nart_hl_formula$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const32$EverythingPSC
static SubLSymbol	$kw36$SKIP
static SubLList	$list15
static SubLList	$list17
static SubLList	$list19
static SubLList	$list2
static SubLList	$list21
static SubLList	$list26
static SubLList	$list28
static SubLList	$list30
static SubLList	$list37
static SubLList	$list4
static SubLList	$list5
static SubLList	$list7
static SubLList	$list9
static SubLSymbol	$nart_dump_id_table$
static SubLString	$str11$Return_the_el_formula_of_this_NAR
static SubLString	$str16$Return_a_randomly_chosen_NART_tha
static SubLString	$str23$A_horrible_and_gross_circularity_
static SubLString	$str25$Remove_NART_from_the_KB_
static SubLString	$str3$Return_the_hl_formula_of_this_NAR
static SubLString	$str34$Looking_for_bad_narts
static SubLString	$str8$Return_T_iff_OBJECT_is_a_datastru
static SubLSymbol	$sym0$NART_P
static SubLSymbol	$sym1$NART_HL_FORMULA
static SubLSymbol	$sym10$NART_EL_FORMULA
static SubLSymbol	$sym12$POSSIBLY_NAUT_P
static SubLSymbol	$sym13$TRUE
static SubLSymbol	$sym14$RANDOM_NART
static SubLSymbol	$sym18$HL_FIND_OR_CREATE_NART
static SubLSymbol	$sym20$FIND_OR_CREATE_NART
static SubLSymbol	$sym22$FORT_P
static SubLSymbol	$sym24$REMOVE_NART
static SubLSymbol	$sym27$NON_NEGATIVE_INTEGER_P
static SubLSymbol	$sym29$CLET
static SubLSymbol	$sym31$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym33$NART_INDEPENDENT_ASSERTIONS_INTERNAL
static SubLSymbol	$sym35$STRINGP
static SubLSymbol	$sym6$NAUT_P
static SubLFile	me
static java.lang.String	myName

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

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	contains_nat_formula_as_elementP(SubLObject list)
static SubLObject	declare_narts_high_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	find_nart_by_dump_id(SubLObject dump_id) Return the NART with DUMP-ID during a KB load.
static SubLObject	find_nart(SubLObject nart_hl_formula) Return the nart implementing NART-HL-FORMULA, or NIL if none is present.
static SubLObject	init_narts_high_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	nart_expand(SubLObject object) Recursively expand all NARTs in OBJECT into to their EL forms (NAUTs).
static SubLObject	nart_lookup(SubLObject nart_hl_formula) Return the NART implementing NART-HL-FORMULA, or NIL if none is present.
static SubLObject	nart_substitute_recursive(SubLObject tree)
static SubLObject	nart_substitute(SubLObject object) Substitute into OBJECT as many NARTs as possible.
static SubLObject	naut_p(SubLObject object) Return T iff OBJECT is a datastructure implementing a non-atomic unreified term (NAUT).
static SubLObject	remove_dependent_narts(SubLObject fort) Remove all current NARTs which are are functions of FORT.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_narts_high_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

$nart_dump_id_table$

public static SubLSymbol $nart_dump_id_table$

$sym0$NART_P

public static final SubLSymbol $sym0$NART_P

$sym1$NART_HL_FORMULA

public static final SubLSymbol $sym1$NART_HL_FORMULA

$list2

public static final SubLList $list2

$str3$Return_the_hl_formula_of_this_NAR

public static final SubLString $str3$Return_the_hl_formula_of_this_NAR

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$NAUT_P

public static final SubLSymbol $sym6$NAUT_P

$list7

public static final SubLList $list7

$str8$Return_T_iff_OBJECT_is_a_datastru

public static final SubLString $str8$Return_T_iff_OBJECT_is_a_datastru

$list9

public static final SubLList $list9

$sym10$NART_EL_FORMULA

public static final SubLSymbol $sym10$NART_EL_FORMULA

$str11$Return_the_el_formula_of_this_NAR

public static final SubLString $str11$Return_the_el_formula_of_this_NAR

$sym12$POSSIBLY_NAUT_P

public static final SubLSymbol $sym12$POSSIBLY_NAUT_P

$sym13$TRUE

public static final SubLSymbol $sym13$TRUE

$sym14$RANDOM_NART

public static final SubLSymbol $sym14$RANDOM_NART

$list15

public static final SubLList $list15

$str16$Return_a_randomly_chosen_NART_tha

public static final SubLString $str16$Return_a_randomly_chosen_NART_tha

$list17

public static final SubLList $list17

$sym18$HL_FIND_OR_CREATE_NART

public static final SubLSymbol $sym18$HL_FIND_OR_CREATE_NART

$list19

public static final SubLList $list19

$sym20$FIND_OR_CREATE_NART

public static final SubLSymbol $sym20$FIND_OR_CREATE_NART

$list21

public static final SubLList $list21

$sym22$FORT_P

public static final SubLSymbol $sym22$FORT_P

$str23$A_horrible_and_gross_circularity_

public static final SubLString $str23$A_horrible_and_gross_circularity_

$sym24$REMOVE_NART

public static final SubLSymbol $sym24$REMOVE_NART

$str25$Remove_NART_from_the_KB_

public static final SubLString $str25$Remove_NART_from_the_KB_

$list26

public static final SubLList $list26

$sym27$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym27$NON_NEGATIVE_INTEGER_P

$list28

public static final SubLList $list28

$sym29$CLET

public static final SubLSymbol $sym29$CLET

$list30

public static final SubLList $list30

$sym31$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym31$RELEVANT_MT_IS_EVERYTHING

$const32$EverythingPSC

public static final SubLObject $const32$EverythingPSC

$sym33$NART_INDEPENDENT_ASSERTIONS_INTERNAL

public static final SubLSymbol $sym33$NART_INDEPENDENT_ASSERTIONS_INTERNAL

$str34$Looking_for_bad_narts

public static final SubLString $str34$Looking_for_bad_narts

$sym35$STRINGP

public static final SubLSymbol $sym35$STRINGP

$kw36$SKIP

public static final SubLSymbol $kw36$SKIP

$list37

public static final SubLList $list37

Method Detail

naut_p

public static final SubLObject naut_p(SubLObject object)

Return T iff OBJECT is a datastructure implementing a non-atomic unreified term (NAUT). By definition, this satisies @xref CYCL-NAT-P but not @xref NART-P.

find_nart

public static final SubLObject find_nart(SubLObject nart_hl_formula)

Return the nart implementing NART-HL-FORMULA, or NIL if none is present. Substitutions for existing sub-NARTs are performed.

remove_dependent_narts

public static final SubLObject remove_dependent_narts(SubLObject fort)

Remove all current NARTs which are are functions of FORT.

nart_expand

public static final SubLObject nart_expand(SubLObject object)

Recursively expand all NARTs in OBJECT into to their EL forms (NAUTs).

nart_substitute

public static final SubLObject nart_substitute(SubLObject object)

Substitute into OBJECT as many NARTs as possible. If the entire formula can be converted to a NART, it will. Returns OBJECT itself if no substitutions can be made.

nart_substitute_recursive

public static final SubLObject nart_substitute_recursive(SubLObject tree)

contains_nat_formula_as_elementP

public static final SubLObject contains_nat_formula_as_elementP(SubLObject list)

Returns:

boolean; t iff LIST contains at least one element that could be reified as a nart. It does not consider whether LIST itself could be reified as a nart, and it does not look deeper than one level of nesting.

nart_lookup

public static final SubLObject nart_lookup(SubLObject nart_hl_formula)

Return the NART implementing NART-HL-FORMULA, or NIL if none is present. No substitutions for sub-NARTs are performed.

find_nart_by_dump_id

public static final SubLObject find_nart_by_dump_id(SubLObject dump_id)

Return the NART with DUMP-ID during a KB load.

declare_narts_high_file

public static final SubLObject declare_narts_high_file()

init_narts_high_file

public static final SubLObject init_narts_high_file()

setup_narts_high_file

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