cycl_grammar

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 cycl_grammar

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class cycl_grammar
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`cycl_grammar.$cycl_generalized_tensed_literal_p$UnaryFunction`
`static class`	`cycl_grammar.$cycl_quoted_term_p$UnaryFunction`
`static class`	`cycl_grammar.$cycl_variable_p$UnaryFunction`
`static class`	`cycl_grammar.$el_variable_p$UnaryFunction`
`static class`	`cycl_grammar.$escape_quote_syntax_p$UnaryFunction`
`static class`	`cycl_grammar.$hl_variable_p$UnaryFunction`
`static class`	`cycl_grammar.$quasi_quote_syntax_p$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const18$True`
`static SubLObject`	`$const19$False`
`static SubLObject`	`$const20$EscapeQuote`
`static SubLObject`	`$const36$Quote`
`static SubLObject`	`$const37$QuasiQuote`
`static SubLObject`	`$const38$ExpandSubLFn`
`static SubLObject`	`$const39$SubLQuoteFn`
`static SubLObject`	`$const40$Kappa`
`static SubLObject`	`$const41$Lambda`
`static SubLObject`	`$const42$SkolemFunctionFn`
`static SubLObject`	`$const43$SkolemFuncNFn`
`static SubLObject`	`$const59$EverythingPSC`
`static SubLSymbol`	$grammar_permits_hlP$ dynamic variable to control whether the CycL grammar functions permit HL constructs
`static SubLSymbol`	$grammar_permits_list_as_terminalP$ do we permit a SubLList as a terminal in the grammar?
`static SubLSymbol`	$grammar_permits_non_ascii_stringsP$ do we permit strings that contain non-ASCII characters?
`static SubLSymbol`	$grammar_permits_symbol_as_terminalP$ do we permit a SubLNonVariableNonKeyWordSymbol as a terminal in the grammar?
`static SubLSymbol`	$grammar_uses_kbP$ do we check the KB to see if terms are of the correct types, e.g.
`static SubLSymbol`	`$kw16$NOT_A_TRUTH_FUNCTION`
`static SubLSymbol`	`$kw17$NOT_AN_EL_FORMULA`
`static SubLSymbol`	`$kw21$ARITY_MISMATCH`
`static SubLSymbol`	`$kw27$INCLUDE`
`static SubLSymbol`	`$kw29$NOT_AN_EL_VARIABLE`
`static SubLSymbol`	`$kw31$NOT_A_DENOTATIONAL_TERM`
`static SubLSymbol`	`$kw32$SEQUENCE_NON_VAR`
`static SubLSymbol`	`$kw33$MALFORMED_ARGS`
`static SubLSymbol`	`$kw49$EXPAND_SUBL_FN_IRRELEVANT_TERM_IN_ARG1`
`static SubLSymbol`	`$kw61$REGULARIZE`
`static SubLSymbol`	`$kw62$NOT_AN_ASCII_STRING`
`static SubLList`	`$list1`
`static SubLList`	`$list11`
`static SubLList`	`$list12`
`static SubLList`	`$list14`
`static SubLList`	`$list2`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list48`
`static SubLList`	`$list5`
`static SubLList`	`$list6`
`static SubLList`	`$list7`
`static SubLList`	`$list9`
`static SubLString`	`$str22$unary_operator`
`static SubLString`	`$str23$binary_operator`
`static SubLString`	`$str24$ternary_operator`
`static SubLString`	`$str25$quaternary_operator`
`static SubLString`	`$str26$quintary_operator`
`static SubLString`	`$str28$regular_quantifier`
`static SubLString`	`$str30$bounded_existential`
`static SubLString`	`$str34$predicate`
`static SubLString`	`$str44$functor`
`static SubLString`	`$str45$__ExpandSubLFn_expression`
`static SubLString`	`$str46$reserved_constant`
`static SubLString`	`$str50$__SubLQuoteFn_expression`
`static SubLString`	`$str51$__Kappa_expression`
`static SubLString`	`$str52$__Lambda_expression`
`static SubLString`	`$str53$__SkolemFunctionFn_expression`
`static SubLString`	`$str54$__SkolemFuncNFn_expression`
`static SubLString`	`$str55$__Quote_expression`
`static SubLString`	`$str56$__QuasiQuote_expression`
`static SubLString`	`$str57$__EscapeQuote_expression`
`static SubLSymbol`	`$sym0$CLET`
`static SubLSymbol`	`$sym10$NOTE_WFF_VIOLATION`
`static SubLSymbol`	`$sym13$PIF`
`static SubLSymbol`	`$sym15$WITHIN_QUOTE_FORM`
`static SubLSymbol`	`$sym35$CYCL_VARIABLE_P`
`static SubLSymbol`	`$sym47$CYC_VAR_`
`static SubLSymbol`	`$sym58$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym60$CYCL_BOOLEAN_SENTENCE_P`
`static SubLSymbol`	`$sym63$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P`
`static SubLSymbol`	`$sym8$PWHEN`
`static SubLSymbol`	$within_quote_form$
`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`	`cycl_argument_sequence_p(SubLObject object)` returns t iff OBJECT is of the form or .
`static SubLObject`	`cycl_atomic_sentence_p(SubLObject object)` returns t iff OBJECT is of the form .
`static SubLObject`	`cycl_binary_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_bounded_existential_quantifier_p(SubLObject object)`
`static SubLObject`	`cycl_bounded_existential_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_constant_p(SubLObject object)`
`static SubLObject`	`cycl_denotational_term_p(SubLObject object)` returns t iff OBJECT is of the form or
`static SubLObject`	`cycl_expression_p(SubLObject object)` returns t iff OBJECT is of the form or
`static SubLObject`	`cycl_formula_has_valid_arityP(SubLObject formula)`
`static SubLObject`	`cycl_formula_predicate(SubLObject object)`
`static SubLObject`	`cycl_formulaic_sentence_p(SubLObject object)`
`static SubLObject`	`cycl_function_p(SubLObject object)` returns t iff OBJECT is of the form and not of the form or , because denotational functions are disjoint with logical operators and quantifiers.
`static SubLObject`	`cycl_generalized_tensed_literal_p(SubLObject obj)` returns t iff OBJ is of the form ( ) or is a negated generalized tensed literal.
`static SubLObject`	`cycl_literal_p(SubLObject object)` returns t iff OBJECT is of the form or
`static SubLObject`	`cycl_logical_operator_p(SubLObject object)`
`static SubLObject`	`cycl_nat_p(SubLObject object)` returns t iff OBJECT is of the form , or an (if HL constructs are permitted)
`static SubLObject`	`cycl_predicate_p(SubLObject object)` returns t iff OBJECT is of the form and not of the form or , because predicates are disjoint with logical operators and quantifiers.
`static SubLObject`	`cycl_quantified_sentence_p(SubLObject object)` returns t iff OBJECT is of the form or
`static SubLObject`	`cycl_quaternary_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_quintary_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_quoted_term_p(SubLObject object)` returns t iff OBJECT is of the form or
`static SubLObject`	`cycl_regular_quantifier_p(SubLObject object)`
`static SubLObject`	`cycl_regularly_quantified_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_represented_term_p(SubLObject object)` returns t iff OBJECT is of the form or or
`static SubLObject`	`cycl_sentence_p(SubLObject object)` returns t iff OBJECT is a well-formed sentence according to the CycL grammar.
`static SubLObject`	`cycl_sentence_sequence_p(SubLObject object)` returns t iff OBJECT is of the form or .
`static SubLObject`	`cycl_term_p(SubLObject object)`
`static SubLObject`	`cycl_ternary_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_truth_value_p(SubLObject object)`
`static SubLObject`	`cycl_unary_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_unrepresented_term_p(SubLObject object)` returns t iff OBJECT is of the form or
`static SubLObject`	`cycl_user_defined_logical_operator_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_variable_arity_sentence_p(SubLObject object)` returns t iff OBJECT is of the form
`static SubLObject`	`cycl_variable_p(SubLObject object)`
`static SubLObject`	`declare_cycl_grammar_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`el_variable_p(SubLObject object)`
`static SubLObject`	`escape_quote_syntax_p(SubLObject object)`
`static SubLObject`	`fast_cycl_quoted_term_p(SubLObject object)` returns t if OBJECT is of form (#$Quote ) or (#$QuasiQuote ).
`static SubLObject`	`fast_escape_quote_term_p(SubLObject object)`
`static SubLObject`	`fast_quasi_quote_term_p(SubLObject object)`
`static SubLObject`	`fast_quote_term_p(SubLObject object)`
`static SubLObject`	`grammar_permits_hlP()`
`static SubLObject`	`grammar_permits_list_as_terminalP()`
`static SubLObject`	`grammar_permits_non_ascii_stringsP()`
`static SubLObject`	`grammar_uses_kbP()`
`static SubLObject`	`hl_variable_p(SubLObject object)`
`static SubLObject`	`init_cycl_grammar_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`meta_variable_p(SubLObject object)`
`static SubLObject`	`quasi_quote_syntax_p(SubLObject object)`
`static SubLObject`	`quote_syntax_p(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_cycl_grammar_file()`
`static SubLObject`	`subl_atomic_term_p(SubLObject object)` returns t iff OBJECT is of the form or if lists are permitted as a terminal
`static SubLObject`	`subl_float_p(SubLObject object)`
`static SubLObject`	`subl_integer_p(SubLObject object)`
`static SubLObject`	`subl_real_number_p(SubLObject object)`
`static SubLObject`	`subl_strict_atomic_term_p(SubLObject object)` returns t iff OBJECT is of the form or or
`static SubLObject`	`subl_string_p(SubLObject object)`

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

$grammar_permits_hlP$

public static SubLSymbol $grammar_permits_hlP$

dynamic variable to control whether the CycL grammar functions permit HL constructs

$grammar_uses_kbP$

public static SubLSymbol $grammar_uses_kbP$

do we check the KB to see if terms are of the correct types, e.g. #$Predicate (t) or do we ignore the KB and only use syntactic information to check syntactic well-formedness (nil)

$grammar_permits_list_as_terminalP$

public static SubLSymbol $grammar_permits_list_as_terminalP$

do we permit a SubLList as a terminal in the grammar?

$grammar_permits_symbol_as_terminalP$

public static SubLSymbol $grammar_permits_symbol_as_terminalP$

do we permit a SubLNonVariableNonKeyWordSymbol as a terminal in the grammar?

$grammar_permits_non_ascii_stringsP$

public static SubLSymbol $grammar_permits_non_ascii_stringsP$

do we permit strings that contain non-ASCII characters?

$within_quote_form$

public static SubLSymbol $within_quote_form$

$sym0$CLET

public static final SubLSymbol $sym0$CLET

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$sym8$PWHEN

public static final SubLSymbol $sym8$PWHEN

$list9

public static final SubLList $list9

$sym10$NOTE_WFF_VIOLATION

public static final SubLSymbol $sym10$NOTE_WFF_VIOLATION

$list11

public static final SubLList $list11

$list12

public static final SubLList $list12

$sym13$PIF

public static final SubLSymbol $sym13$PIF

$list14

public static final SubLList $list14

$sym15$WITHIN_QUOTE_FORM

public static final SubLSymbol $sym15$WITHIN_QUOTE_FORM

$kw16$NOT_A_TRUTH_FUNCTION

public static final SubLSymbol $kw16$NOT_A_TRUTH_FUNCTION

$kw17$NOT_AN_EL_FORMULA

public static final SubLSymbol $kw17$NOT_AN_EL_FORMULA

$const18$True

public static final SubLObject $const18$True

$const19$False

public static final SubLObject $const19$False

$const20$EscapeQuote

public static final SubLObject $const20$EscapeQuote

$kw21$ARITY_MISMATCH

public static final SubLSymbol $kw21$ARITY_MISMATCH

$str22$unary_operator

public static final SubLString $str22$unary_operator

$str23$binary_operator

public static final SubLString $str23$binary_operator

$str24$ternary_operator

public static final SubLString $str24$ternary_operator

$str25$quaternary_operator

public static final SubLString $str25$quaternary_operator

$str26$quintary_operator

public static final SubLString $str26$quintary_operator

$kw27$INCLUDE

public static final SubLSymbol $kw27$INCLUDE

$str28$regular_quantifier

public static final SubLString $str28$regular_quantifier

$kw29$NOT_AN_EL_VARIABLE

public static final SubLSymbol $kw29$NOT_AN_EL_VARIABLE

$str30$bounded_existential

public static final SubLString $str30$bounded_existential

$kw31$NOT_A_DENOTATIONAL_TERM

public static final SubLSymbol $kw31$NOT_A_DENOTATIONAL_TERM

$kw32$SEQUENCE_NON_VAR

public static final SubLSymbol $kw32$SEQUENCE_NON_VAR

$kw33$MALFORMED_ARGS

public static final SubLSymbol $kw33$MALFORMED_ARGS

$str34$predicate

public static final SubLString $str34$predicate

$sym35$CYCL_VARIABLE_P

public static final SubLSymbol $sym35$CYCL_VARIABLE_P

$const36$Quote

public static final SubLObject $const36$Quote

$const37$QuasiQuote

public static final SubLObject $const37$QuasiQuote

$const38$ExpandSubLFn

public static final SubLObject $const38$ExpandSubLFn

$const39$SubLQuoteFn

public static final SubLObject $const39$SubLQuoteFn

$const40$Kappa

public static final SubLObject $const40$Kappa

$const41$Lambda

public static final SubLObject $const41$Lambda

$const42$SkolemFunctionFn

public static final SubLObject $const42$SkolemFunctionFn

$const43$SkolemFuncNFn

public static final SubLObject $const43$SkolemFuncNFn

$str44$functor

public static final SubLString $str44$functor

$str45$__ExpandSubLFn_expression

public static final SubLString $str45$__ExpandSubLFn_expression

$str46$reserved_constant

public static final SubLString $str46$reserved_constant

$sym47$CYC_VAR_

public static final SubLSymbol $sym47$CYC_VAR_

$list48

public static final SubLList $list48

$kw49$EXPAND_SUBL_FN_IRRELEVANT_TERM_IN_ARG1

public static final SubLSymbol $kw49$EXPAND_SUBL_FN_IRRELEVANT_TERM_IN_ARG1

$str50$__SubLQuoteFn_expression

public static final SubLString $str50$__SubLQuoteFn_expression

$str51$__Kappa_expression

public static final SubLString $str51$__Kappa_expression

$str52$__Lambda_expression

public static final SubLString $str52$__Lambda_expression

$str53$__SkolemFunctionFn_expression

public static final SubLString $str53$__SkolemFunctionFn_expression

$str54$__SkolemFuncNFn_expression

public static final SubLString $str54$__SkolemFuncNFn_expression

$str55$__Quote_expression

public static final SubLString $str55$__Quote_expression

$str56$__QuasiQuote_expression

public static final SubLString $str56$__QuasiQuote_expression

$str57$__EscapeQuote_expression

public static final SubLString $str57$__EscapeQuote_expression

$sym58$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym58$RELEVANT_MT_IS_EVERYTHING

$const59$EverythingPSC

public static final SubLObject $const59$EverythingPSC

$sym60$CYCL_BOOLEAN_SENTENCE_P

public static final SubLSymbol $sym60$CYCL_BOOLEAN_SENTENCE_P

$kw61$REGULARIZE

public static final SubLSymbol $kw61$REGULARIZE

$kw62$NOT_AN_ASCII_STRING

public static final SubLSymbol $kw62$NOT_AN_ASCII_STRING

$sym63$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P

public static final SubLSymbol $sym63$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P

Method Detail

grammar_permits_hlP

public static final SubLObject grammar_permits_hlP()

grammar_permits_list_as_terminalP

public static final SubLObject grammar_permits_list_as_terminalP()

grammar_permits_non_ascii_stringsP

public static final SubLObject grammar_permits_non_ascii_stringsP()

grammar_uses_kbP

public static final SubLObject grammar_uses_kbP()

cycl_sentence_p

public static final SubLObject cycl_sentence_p(SubLObject object)

returns t iff OBJECT is a well-formed sentence according to the CycL grammar. To meet this specification, OBJECT must be of the form #$True or #$False or or (if HL constructs are permitted) or or or or or or or or or

cycl_formulaic_sentence_p

public static final SubLObject cycl_formulaic_sentence_p(SubLObject object)

cycl_user_defined_logical_operator_sentence_p

public static final SubLObject cycl_user_defined_logical_operator_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_quintary_sentence_p

public static final SubLObject cycl_quintary_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_sentence_sequence_p

public static final SubLObject cycl_sentence_sequence_p(SubLObject object)

returns t iff OBJECT is of the form or . or

cycl_quaternary_sentence_p

public static final SubLObject cycl_quaternary_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_ternary_sentence_p

public static final SubLObject cycl_ternary_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_truth_value_p

public static final SubLObject cycl_truth_value_p(SubLObject object)

cycl_formula_predicate

public static final SubLObject cycl_formula_predicate(SubLObject object)

cycl_unary_sentence_p

public static final SubLObject cycl_unary_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_binary_sentence_p

public static final SubLObject cycl_binary_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_variable_arity_sentence_p

public static final SubLObject cycl_variable_arity_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_regularly_quantified_sentence_p

public static final SubLObject cycl_regularly_quantified_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_bounded_existential_sentence_p

public static final SubLObject cycl_bounded_existential_sentence_p(SubLObject object)

returns t iff OBJECT is of the form

cycl_logical_operator_p

public static final SubLObject cycl_logical_operator_p(SubLObject object)

cycl_regular_quantifier_p

public static final SubLObject cycl_regular_quantifier_p(SubLObject object)

cycl_bounded_existential_quantifier_p

public static final SubLObject cycl_bounded_existential_quantifier_p(SubLObject object)

cycl_atomic_sentence_p

public static final SubLObject cycl_atomic_sentence_p(SubLObject object)

returns t iff OBJECT is of the form .

cycl_argument_sequence_p

public static final SubLObject cycl_argument_sequence_p(SubLObject object)

returns t iff OBJECT is of the form or . or

cycl_predicate_p

public static final SubLObject cycl_predicate_p(SubLObject object)

returns t iff OBJECT is of the form and not of the form or , because predicates are disjoint with logical operators and quantifiers. Ensures that OBJECT is a predicate if the grammar uses the KB.

cycl_function_p

public static final SubLObject cycl_function_p(SubLObject object)

returns t iff OBJECT is of the form and not of the form or , because denotational functions are disjoint with logical operators and quantifiers. Ensures that OBJECT is a denotational function if the grammar uses the KB.

cycl_nat_p

public static final SubLObject cycl_nat_p(SubLObject object)

returns t iff OBJECT is of the form , or an (if HL constructs are permitted)

cycl_formula_has_valid_arityP

public static final SubLObject cycl_formula_has_valid_arityP(SubLObject formula)

cycl_expression_p

public static final SubLObject cycl_expression_p(SubLObject object)

returns t iff OBJECT is of the form or

cycl_term_p

public static final SubLObject cycl_term_p(SubLObject object)

cycl_denotational_term_p

public static final SubLObject cycl_denotational_term_p(SubLObject object)

returns t iff OBJECT is of the form or

cycl_quoted_term_p

public static final SubLObject cycl_quoted_term_p(SubLObject object)

returns t iff OBJECT is of the form or

fast_cycl_quoted_term_p

public static final SubLObject fast_cycl_quoted_term_p(SubLObject object)

returns t if OBJECT is of form (#$Quote ) or (#$QuasiQuote ). Use this when we know object is syntactically well formed

fast_quasi_quote_term_p

public static final SubLObject fast_quasi_quote_term_p(SubLObject object)

fast_quote_term_p

public static final SubLObject fast_quote_term_p(SubLObject object)

fast_escape_quote_term_p

public static final SubLObject fast_escape_quote_term_p(SubLObject object)

quote_syntax_p

public static final SubLObject quote_syntax_p(SubLObject object)

quasi_quote_syntax_p

public static final SubLObject quasi_quote_syntax_p(SubLObject object)

escape_quote_syntax_p

public static final SubLObject escape_quote_syntax_p(SubLObject object)

cycl_represented_term_p

public static final SubLObject cycl_represented_term_p(SubLObject object)

returns t iff OBJECT is of the form or or

cycl_unrepresented_term_p

public static final SubLObject cycl_unrepresented_term_p(SubLObject object)

returns t iff OBJECT is of the form or

subl_atomic_term_p

public static final SubLObject subl_atomic_term_p(SubLObject object)

returns t iff OBJECT is of the form or if lists are permitted as a terminal

subl_strict_atomic_term_p

public static final SubLObject subl_strict_atomic_term_p(SubLObject object)

returns t iff OBJECT is of the form or or

cycl_quantified_sentence_p

public static final SubLObject cycl_quantified_sentence_p(SubLObject object)

returns t iff OBJECT is of the form or

cycl_literal_p

public static final SubLObject cycl_literal_p(SubLObject object)

returns t iff OBJECT is of the form or

cycl_generalized_tensed_literal_p

public static final SubLObject cycl_generalized_tensed_literal_p(SubLObject obj)

returns t iff OBJ is of the form ( ) or is a negated generalized tensed literal.

cycl_constant_p

public static final SubLObject cycl_constant_p(SubLObject object)

subl_string_p

public static final SubLObject subl_string_p(SubLObject object)

subl_real_number_p

public static final SubLObject subl_real_number_p(SubLObject object)

subl_float_p

public static final SubLObject subl_float_p(SubLObject object)

subl_integer_p

public static final SubLObject subl_integer_p(SubLObject object)

cycl_variable_p

public static final SubLObject cycl_variable_p(SubLObject object)

meta_variable_p

public static final SubLObject meta_variable_p(SubLObject object)

el_variable_p

public static final SubLObject el_variable_p(SubLObject object)

hl_variable_p

public static final SubLObject hl_variable_p(SubLObject object)

declare_cycl_grammar_file

public static final SubLObject declare_cycl_grammar_file()

init_cycl_grammar_file

public static final SubLObject init_cycl_grammar_file()

setup_cycl_grammar_file

public static final SubLObject setup_cycl_grammar_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 cycl_grammar

me

myName

$grammar_permits_hlP$

$grammar_uses_kbP$

$grammar_permits_list_as_terminalP$

$grammar_permits_symbol_as_terminalP$

$grammar_permits_non_ascii_stringsP$

$within_quote_form$

$sym0$CLET

$list1

$list2

$list3

$list4

$list5

$list6

$list7

$sym8$PWHEN

$list9

$sym10$NOTE_WFF_VIOLATION

$list11

$list12

$sym13$PIF

$list14

$sym15$WITHIN_QUOTE_FORM

$kw16$NOT_A_TRUTH_FUNCTION

$kw17$NOT_AN_EL_FORMULA

$const18$True

$const19$False

$const20$EscapeQuote

$kw21$ARITY_MISMATCH

$str22$unary_operator

$str23$binary_operator

$str24$ternary_operator

$str25$quaternary_operator

$str26$quintary_operator

$kw27$INCLUDE

$str28$regular_quantifier

$kw29$NOT_AN_EL_VARIABLE

$str30$bounded_existential

$kw31$NOT_A_DENOTATIONAL_TERM

$kw32$SEQUENCE_NON_VAR

$kw33$MALFORMED_ARGS

$str34$predicate

$sym35$CYCL_VARIABLE_P

$const36$Quote

$const37$QuasiQuote

$const38$ExpandSubLFn

$const39$SubLQuoteFn

$const40$Kappa

$const41$Lambda

$const42$SkolemFunctionFn

$const43$SkolemFuncNFn

$str44$functor

$str45$__ExpandSubLFn_expression

$str46$reserved_constant

$sym47$CYC_VAR_

$list48

$kw49$EXPAND_SUBL_FN_IRRELEVANT_TERM_IN_ARG1

$str50$__SubLQuoteFn_expression

$str51$__Kappa_expression

$str52$__Lambda_expression

$str53$__SkolemFunctionFn_expression

$str54$__SkolemFuncNFn_expression

$str55$__Quote_expression

$str56$__QuasiQuote_expression

$str57$__EscapeQuote_expression

$sym58$RELEVANT_MT_IS_EVERYTHING

$const59$EverythingPSC

$sym60$CYCL_BOOLEAN_SENTENCE_P

$kw61$REGULARIZE

$kw62$NOT_AN_ASCII_STRING

$sym63$SUBL_NON_VARIABLE_NON_KEYWORD_SYMBOL_P

grammar_permits_hlP

grammar_permits_list_as_terminalP

grammar_permits_non_ascii_stringsP

grammar_uses_kbP

cycl_sentence_p

cycl_formulaic_sentence_p

cycl_user_defined_logical_operator_sentence_p

com.cyc.cycjava.cycl
Class cycl_grammar