com.cyc.cycjava.cycl
Class cycl_query_specification

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class cycl_query_specification
extends SubLTranslatedFile

Nested Class Summary

static class	cycl_query_specification.$cycl_query_specification_native
static class	cycl_query_specification.$cycl_query_specification_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const72$InferenceFormulaParameter
static SubLObject	$const73$InferenceMicrotheoryParameter
static SubLObject	$const74$InferenceMaxAnswersParameter
static SubLObject	$const75$InferenceMaxTransformationStepsPa
static SubLObject	$const76$InferenceMaxTimeParameter
static SubLObject	$const77$InferenceMaxProofDepthParameter
static SubLObject	$const78$InferenceAllowUnboundPredicateTra
static SubLObject	$const79$InferenceProductivityLimitParamet
static SubLObject	$const80$InferenceEnableConsiderDisjunctiv
static SubLObject	$const81$InferenceEnableSemanticPruningPar
static SubLObject	$const82$InferenceCacheInferenceResultsPar
static SubLObject	$const83$InferenceAllowHLPredicateTransfor
static SubLObject	$const84$InferenceNegationByFailureParamet
static SubLObject	$const85$comment
static SubLObject	$const89$softwareParameterValueInSpecifica
static SubLSymbol	$dtp_cycl_query_specification$
static SubLInteger	$int70$30
static SubLInteger	$int71$10000
static SubLSymbol	$kw100$BINDINGS_AND_SUPPORTS
static SubLSymbol	$kw101$PRODUCTIVITY_LIMIT
static SubLSymbol	$kw102$ANSWER_LANGUAGE
static SubLSymbol	$kw103$HL
static SubLSymbol	$kw104$CACHE_INFERENCE_RESULTS_
static SubLSymbol	$kw105$MAX_TIME
static SubLSymbol	$kw106$MAX_NUMBER
static SubLSymbol	$kw38$CYCL_ID
static SubLSymbol	$kw39$FORMULA
static SubLSymbol	$kw40$MT
static SubLSymbol	$kw41$COMMENT
static SubLSymbol	$kw42$MAX_NUMBER_OF_RESULTS
static SubLSymbol	$kw43$BACK_CHAINING
static SubLSymbol	$kw44$TIME_CUTOFF_SECS
static SubLSymbol	$kw45$MAX_DEPTH
static SubLSymbol	$kw46$REMOVAL_COST_CUTOFF
static SubLSymbol	$kw47$ENABLE_NEGATION_BY_FAILURE
static SubLSymbol	$kw48$ENABLE_HL_PREDICATE_BACKCHAINING
static SubLSymbol	$kw49$ENABLE_CACHE_BACKWARDS_QUERY_RESULTS
static SubLSymbol	$kw50$ENABLE_UNBOUND_PREDICATE_BACKCHAINING
static SubLSymbol	$kw51$ENABLE_SEMANTIC_PRUNING
static SubLSymbol	$kw52$ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPORAL_RELATIONS
static SubLSymbol	$kw93$CONDITIONAL_SENTENCE_
static SubLSymbol	$kw94$ALLOW_HL_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw95$NEGATION_BY_FAILURE_
static SubLSymbol	$kw96$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw97$MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw98$MAX_PROOF_DEPTH
static SubLSymbol	$kw99$RETURN
static SubLList	$list2
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLList	$list88
static SubLList	$list92
static SubLString	$str53$Invalid_slot__S_for_construction_
static SubLString	$str54$___Acycl_query_specification___
static SubLString	$str55$_Acycl_id____A__
static SubLString	$str56$_Aformula___A__
static SubLString	$str57$_Amt___S__
static SubLString	$str58$_Acomment___A__
static SubLString	$str59$_Amax_number_of_results___A__
static SubLString	$str60$_Aback_chaining___A__
static SubLString	$str61$_Atime_cutoff_secs___A__
static SubLString	$str62$_Amax_depth___A__
static SubLString	$str63$_Aremoval_cost_cutoff___A__
static SubLString	$str64$_Aenable_negation_by_failure___A_
static SubLString	$str65$_Aenable_hl_predicate_backchainin
static SubLString	$str66$_Aenable_cache_backwards_query_re
static SubLString	$str67$_Aenable_unbound_predicate_backch
static SubLString	$str68$_Aenable_semantic_pruning___A__
static SubLString	$str69$_Aenable_consideration_of_disjunc
static SubLSymbol	$sym0$CYCL_QUERY_SPECIFICATION
static SubLSymbol	$sym1$CYCL_QUERY_SPECIFICATION_P
static SubLSymbol	$sym10$CYCL_QUERY_SPEC_FORMULA
static SubLSymbol	$sym11$_CSETF_CYCL_QUERY_SPEC_FORMULA
static SubLSymbol	$sym12$CYCL_QUERY_SPEC_MT
static SubLSymbol	$sym13$_CSETF_CYCL_QUERY_SPEC_MT
static SubLSymbol	$sym14$CYCL_QUERY_SPEC_COMMENT
static SubLSymbol	$sym15$_CSETF_CYCL_QUERY_SPEC_COMMENT
static SubLSymbol	$sym16$CYCL_QUERY_SPEC_MAX_NUMBER_OF_RESULTS
static SubLSymbol	$sym17$_CSETF_CYCL_QUERY_SPEC_MAX_NUMBER_OF_RESULTS
static SubLSymbol	$sym18$CYCL_QUERY_SPEC_BACK_CHAINING
static SubLSymbol	$sym19$_CSETF_CYCL_QUERY_SPEC_BACK_CHAINING
static SubLSymbol	$sym20$CYCL_QUERY_SPEC_TIME_CUTOFF_SECS
static SubLSymbol	$sym21$_CSETF_CYCL_QUERY_SPEC_TIME_CUTOFF_SECS
static SubLSymbol	$sym22$CYCL_QUERY_SPEC_MAX_DEPTH
static SubLSymbol	$sym23$_CSETF_CYCL_QUERY_SPEC_MAX_DEPTH
static SubLSymbol	$sym24$CYCL_QUERY_SPEC_REMOVAL_COST_CUTOFF
static SubLSymbol	$sym25$_CSETF_CYCL_QUERY_SPEC_REMOVAL_COST_CUTOFF
static SubLSymbol	$sym26$CYCL_QUERY_SPEC_ENABLE_NEGATION_BY_FAILURE
static SubLSymbol	$sym27$_CSETF_CYCL_QUERY_SPEC_ENABLE_NEGATION_BY_FAILURE
static SubLSymbol	$sym28$CYCL_QUERY_SPEC_ENABLE_HL_PREDICATE_BACKCHAINING
static SubLSymbol	$sym29$_CSETF_CYCL_QUERY_SPEC_ENABLE_HL_PREDICATE_BACKCHAINING
static SubLSymbol	$sym30$CYCL_QUERY_SPEC_ENABLE_CACHE_BACKWARDS_QUERY_RESULTS
static SubLSymbol	$sym31$_CSETF_CYCL_QUERY_SPEC_ENABLE_CACHE_BACKWARDS_QUERY_RESULTS
static SubLSymbol	$sym32$CYCL_QUERY_SPEC_ENABLE_UNBOUND_PREDICATE_BACKCHAINING
static SubLSymbol	$sym33$_CSETF_CYCL_QUERY_SPEC_ENABLE_UNBOUND_PREDICATE_BACKCHAINING
static SubLSymbol	$sym34$CYCL_QUERY_SPEC_ENABLE_SEMANTIC_PRUNING
static SubLSymbol	$sym35$_CSETF_CYCL_QUERY_SPEC_ENABLE_SEMANTIC_PRUNING
static SubLSymbol	$sym36$CYCL_QUERY_SPEC_ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPORAL_RELA
static SubLSymbol	$sym37$_CSETF_CYCL_QUERY_SPEC_ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPOR
static SubLSymbol	$sym6$CYCL_QUERY_SPECIFICATION_PRINT
static SubLSymbol	$sym7$CYCL_QUERY_SPECIFICATION_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym8$CYCL_QUERY_SPEC_CYCL_ID
static SubLSymbol	$sym86$CYCL_DENOTATIONAL_TERM_P
static SubLSymbol	$sym87$MICROTHEORY_P
static SubLSymbol	$sym9$_CSETF_CYCL_QUERY_SPEC_CYCL_ID
static SubLSymbol	$sym90$_PARAM
static SubLSymbol	$sym91$_VAL
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	cycl_query_specification_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	declare_cycl_query_specification_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_cycl_query_specification_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_cycl_query_specification_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

$dtp_cycl_query_specification$

public static SubLSymbol $dtp_cycl_query_specification$

$sym0$CYCL_QUERY_SPECIFICATION

public static final SubLSymbol $sym0$CYCL_QUERY_SPECIFICATION

$sym1$CYCL_QUERY_SPECIFICATION_P

public static final SubLSymbol $sym1$CYCL_QUERY_SPECIFICATION_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$CYCL_QUERY_SPECIFICATION_PRINT

public static final SubLSymbol $sym6$CYCL_QUERY_SPECIFICATION_PRINT

$sym7$CYCL_QUERY_SPECIFICATION_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$CYCL_QUERY_SPECIFICATION_PRINT_FUNCTION_TRAMPOLINE

$sym8$CYCL_QUERY_SPEC_CYCL_ID

public static final SubLSymbol $sym8$CYCL_QUERY_SPEC_CYCL_ID

$sym9$_CSETF_CYCL_QUERY_SPEC_CYCL_ID

public static final SubLSymbol $sym9$_CSETF_CYCL_QUERY_SPEC_CYCL_ID

$sym10$CYCL_QUERY_SPEC_FORMULA

public static final SubLSymbol $sym10$CYCL_QUERY_SPEC_FORMULA

$sym11$_CSETF_CYCL_QUERY_SPEC_FORMULA

public static final SubLSymbol $sym11$_CSETF_CYCL_QUERY_SPEC_FORMULA

$sym12$CYCL_QUERY_SPEC_MT

public static final SubLSymbol $sym12$CYCL_QUERY_SPEC_MT

$sym13$_CSETF_CYCL_QUERY_SPEC_MT

public static final SubLSymbol $sym13$_CSETF_CYCL_QUERY_SPEC_MT

$sym14$CYCL_QUERY_SPEC_COMMENT

public static final SubLSymbol $sym14$CYCL_QUERY_SPEC_COMMENT

$sym15$_CSETF_CYCL_QUERY_SPEC_COMMENT

public static final SubLSymbol $sym15$_CSETF_CYCL_QUERY_SPEC_COMMENT

$sym16$CYCL_QUERY_SPEC_MAX_NUMBER_OF_RESULTS

public static final SubLSymbol $sym16$CYCL_QUERY_SPEC_MAX_NUMBER_OF_RESULTS

$sym17$_CSETF_CYCL_QUERY_SPEC_MAX_NUMBER_OF_RESULTS

public static final SubLSymbol $sym17$_CSETF_CYCL_QUERY_SPEC_MAX_NUMBER_OF_RESULTS

$sym18$CYCL_QUERY_SPEC_BACK_CHAINING

public static final SubLSymbol $sym18$CYCL_QUERY_SPEC_BACK_CHAINING

$sym19$_CSETF_CYCL_QUERY_SPEC_BACK_CHAINING

public static final SubLSymbol $sym19$_CSETF_CYCL_QUERY_SPEC_BACK_CHAINING

$sym20$CYCL_QUERY_SPEC_TIME_CUTOFF_SECS

public static final SubLSymbol $sym20$CYCL_QUERY_SPEC_TIME_CUTOFF_SECS

$sym21$_CSETF_CYCL_QUERY_SPEC_TIME_CUTOFF_SECS

public static final SubLSymbol $sym21$_CSETF_CYCL_QUERY_SPEC_TIME_CUTOFF_SECS

$sym22$CYCL_QUERY_SPEC_MAX_DEPTH

public static final SubLSymbol $sym22$CYCL_QUERY_SPEC_MAX_DEPTH

$sym23$_CSETF_CYCL_QUERY_SPEC_MAX_DEPTH

public static final SubLSymbol $sym23$_CSETF_CYCL_QUERY_SPEC_MAX_DEPTH

$sym24$CYCL_QUERY_SPEC_REMOVAL_COST_CUTOFF

public static final SubLSymbol $sym24$CYCL_QUERY_SPEC_REMOVAL_COST_CUTOFF

$sym25$_CSETF_CYCL_QUERY_SPEC_REMOVAL_COST_CUTOFF

public static final SubLSymbol $sym25$_CSETF_CYCL_QUERY_SPEC_REMOVAL_COST_CUTOFF

$sym26$CYCL_QUERY_SPEC_ENABLE_NEGATION_BY_FAILURE

public static final SubLSymbol $sym26$CYCL_QUERY_SPEC_ENABLE_NEGATION_BY_FAILURE

$sym27$_CSETF_CYCL_QUERY_SPEC_ENABLE_NEGATION_BY_FAILURE

public static final SubLSymbol $sym27$_CSETF_CYCL_QUERY_SPEC_ENABLE_NEGATION_BY_FAILURE

$sym28$CYCL_QUERY_SPEC_ENABLE_HL_PREDICATE_BACKCHAINING

public static final SubLSymbol $sym28$CYCL_QUERY_SPEC_ENABLE_HL_PREDICATE_BACKCHAINING

$sym29$_CSETF_CYCL_QUERY_SPEC_ENABLE_HL_PREDICATE_BACKCHAINING

public static final SubLSymbol $sym29$_CSETF_CYCL_QUERY_SPEC_ENABLE_HL_PREDICATE_BACKCHAINING

$sym30$CYCL_QUERY_SPEC_ENABLE_CACHE_BACKWARDS_QUERY_RESULTS

public static final SubLSymbol $sym30$CYCL_QUERY_SPEC_ENABLE_CACHE_BACKWARDS_QUERY_RESULTS

$sym31$_CSETF_CYCL_QUERY_SPEC_ENABLE_CACHE_BACKWARDS_QUERY_RESULTS

public static final SubLSymbol $sym31$_CSETF_CYCL_QUERY_SPEC_ENABLE_CACHE_BACKWARDS_QUERY_RESULTS

$sym32$CYCL_QUERY_SPEC_ENABLE_UNBOUND_PREDICATE_BACKCHAINING

public static final SubLSymbol $sym32$CYCL_QUERY_SPEC_ENABLE_UNBOUND_PREDICATE_BACKCHAINING

$sym33$_CSETF_CYCL_QUERY_SPEC_ENABLE_UNBOUND_PREDICATE_BACKCHAINING

public static final SubLSymbol $sym33$_CSETF_CYCL_QUERY_SPEC_ENABLE_UNBOUND_PREDICATE_BACKCHAINING

$sym34$CYCL_QUERY_SPEC_ENABLE_SEMANTIC_PRUNING

public static final SubLSymbol $sym34$CYCL_QUERY_SPEC_ENABLE_SEMANTIC_PRUNING

$sym35$_CSETF_CYCL_QUERY_SPEC_ENABLE_SEMANTIC_PRUNING

public static final SubLSymbol $sym35$_CSETF_CYCL_QUERY_SPEC_ENABLE_SEMANTIC_PRUNING

$sym36$CYCL_QUERY_SPEC_ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPORAL_RELA

public static final SubLSymbol $sym36$CYCL_QUERY_SPEC_ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPORAL_RELA

$sym37$_CSETF_CYCL_QUERY_SPEC_ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPOR

public static final SubLSymbol $sym37$_CSETF_CYCL_QUERY_SPEC_ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPOR

$kw38$CYCL_ID

public static final SubLSymbol $kw38$CYCL_ID

$kw39$FORMULA

public static final SubLSymbol $kw39$FORMULA

$kw40$MT

public static final SubLSymbol $kw40$MT

$kw41$COMMENT

public static final SubLSymbol $kw41$COMMENT

$kw42$MAX_NUMBER_OF_RESULTS

public static final SubLSymbol $kw42$MAX_NUMBER_OF_RESULTS

$kw43$BACK_CHAINING

public static final SubLSymbol $kw43$BACK_CHAINING

$kw44$TIME_CUTOFF_SECS

public static final SubLSymbol $kw44$TIME_CUTOFF_SECS

$kw45$MAX_DEPTH

public static final SubLSymbol $kw45$MAX_DEPTH

$kw46$REMOVAL_COST_CUTOFF

public static final SubLSymbol $kw46$REMOVAL_COST_CUTOFF

$kw47$ENABLE_NEGATION_BY_FAILURE

public static final SubLSymbol $kw47$ENABLE_NEGATION_BY_FAILURE

$kw48$ENABLE_HL_PREDICATE_BACKCHAINING

public static final SubLSymbol $kw48$ENABLE_HL_PREDICATE_BACKCHAINING

$kw49$ENABLE_CACHE_BACKWARDS_QUERY_RESULTS

public static final SubLSymbol $kw49$ENABLE_CACHE_BACKWARDS_QUERY_RESULTS

$kw50$ENABLE_UNBOUND_PREDICATE_BACKCHAINING

public static final SubLSymbol $kw50$ENABLE_UNBOUND_PREDICATE_BACKCHAINING

$kw51$ENABLE_SEMANTIC_PRUNING

public static final SubLSymbol $kw51$ENABLE_SEMANTIC_PRUNING

$kw52$ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPORAL_RELATIONS

public static final SubLSymbol $kw52$ENABLE_CONSIDERATION_OF_DISJUNCTIVE_TEMPORAL_RELATIONS

$str53$Invalid_slot__S_for_construction_

public static final SubLString $str53$Invalid_slot__S_for_construction_

$str54$___Acycl_query_specification___

public static final SubLString $str54$___Acycl_query_specification___

$str55$_Acycl_id____A__

public static final SubLString $str55$_Acycl_id____A__

$str56$_Aformula___A__

public static final SubLString $str56$_Aformula___A__

$str57$_Amt___S__

public static final SubLString $str57$_Amt___S__

$str58$_Acomment___A__

public static final SubLString $str58$_Acomment___A__

$str59$_Amax_number_of_results___A__

public static final SubLString $str59$_Amax_number_of_results___A__

$str60$_Aback_chaining___A__

public static final SubLString $str60$_Aback_chaining___A__

$str61$_Atime_cutoff_secs___A__

public static final SubLString $str61$_Atime_cutoff_secs___A__

$str62$_Amax_depth___A__

public static final SubLString $str62$_Amax_depth___A__

$str63$_Aremoval_cost_cutoff___A__

public static final SubLString $str63$_Aremoval_cost_cutoff___A__

$str64$_Aenable_negation_by_failure___A_

public static final SubLString $str64$_Aenable_negation_by_failure___A_

$str65$_Aenable_hl_predicate_backchainin

public static final SubLString $str65$_Aenable_hl_predicate_backchainin

$str66$_Aenable_cache_backwards_query_re

public static final SubLString $str66$_Aenable_cache_backwards_query_re

$str67$_Aenable_unbound_predicate_backch

public static final SubLString $str67$_Aenable_unbound_predicate_backch

$str68$_Aenable_semantic_pruning___A__

public static final SubLString $str68$_Aenable_semantic_pruning___A__

$str69$_Aenable_consideration_of_disjunc

public static final SubLString $str69$_Aenable_consideration_of_disjunc

$int70$30

public static final SubLInteger $int70$30

$int71$10000

public static final SubLInteger $int71$10000

$const72$InferenceFormulaParameter

public static final SubLObject $const72$InferenceFormulaParameter

$const73$InferenceMicrotheoryParameter

public static final SubLObject $const73$InferenceMicrotheoryParameter

$const74$InferenceMaxAnswersParameter

public static final SubLObject $const74$InferenceMaxAnswersParameter

$const75$InferenceMaxTransformationStepsPa

public static final SubLObject $const75$InferenceMaxTransformationStepsPa

$const76$InferenceMaxTimeParameter

public static final SubLObject $const76$InferenceMaxTimeParameter

$const77$InferenceMaxProofDepthParameter

public static final SubLObject $const77$InferenceMaxProofDepthParameter

$const78$InferenceAllowUnboundPredicateTra

public static final SubLObject $const78$InferenceAllowUnboundPredicateTra

$const79$InferenceProductivityLimitParamet

public static final SubLObject $const79$InferenceProductivityLimitParamet

$const80$InferenceEnableConsiderDisjunctiv

public static final SubLObject $const80$InferenceEnableConsiderDisjunctiv

$const81$InferenceEnableSemanticPruningPar

public static final SubLObject $const81$InferenceEnableSemanticPruningPar

$const82$InferenceCacheInferenceResultsPar

public static final SubLObject $const82$InferenceCacheInferenceResultsPar

$const83$InferenceAllowHLPredicateTransfor

public static final SubLObject $const83$InferenceAllowHLPredicateTransfor

$const84$InferenceNegationByFailureParamet

public static final SubLObject $const84$InferenceNegationByFailureParamet

$const85$comment

public static final SubLObject $const85$comment

$sym86$CYCL_DENOTATIONAL_TERM_P

public static final SubLSymbol $sym86$CYCL_DENOTATIONAL_TERM_P

$sym87$MICROTHEORY_P

public static final SubLSymbol $sym87$MICROTHEORY_P

$list88

public static final SubLList $list88

$const89$softwareParameterValueInSpecifica

public static final SubLObject $const89$softwareParameterValueInSpecifica

$sym90$_PARAM

public static final SubLSymbol $sym90$_PARAM

$sym91$_VAL

public static final SubLSymbol $sym91$_VAL

$list92

public static final SubLList $list92

$kw93$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw93$CONDITIONAL_SENTENCE_

$kw94$ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw94$ALLOW_HL_PREDICATE_TRANSFORMATION_

$kw95$NEGATION_BY_FAILURE_

public static final SubLSymbol $kw95$NEGATION_BY_FAILURE_

$kw96$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw96$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$kw97$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw97$MAX_TRANSFORMATION_DEPTH

$kw98$MAX_PROOF_DEPTH

public static final SubLSymbol $kw98$MAX_PROOF_DEPTH

$kw99$RETURN

public static final SubLSymbol $kw99$RETURN

$kw100$BINDINGS_AND_SUPPORTS

public static final SubLSymbol $kw100$BINDINGS_AND_SUPPORTS

$kw101$PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw101$PRODUCTIVITY_LIMIT

$kw102$ANSWER_LANGUAGE

public static final SubLSymbol $kw102$ANSWER_LANGUAGE

$kw103$HL

public static final SubLSymbol $kw103$HL

$kw104$CACHE_INFERENCE_RESULTS_

public static final SubLSymbol $kw104$CACHE_INFERENCE_RESULTS_

$kw105$MAX_TIME

public static final SubLSymbol $kw105$MAX_TIME

$kw106$MAX_NUMBER

public static final SubLSymbol $kw106$MAX_NUMBER

Method Detail

cycl_query_specification_print_function_trampoline

public static final SubLObject cycl_query_specification_print_function_trampoline(SubLObject object,
                                                                                  SubLObject stream)

declare_cycl_query_specification_file

public static final SubLObject declare_cycl_query_specification_file()

init_cycl_query_specification_file

public static final SubLObject init_cycl_query_specification_file()

setup_cycl_query_specification_file

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