com.cyc.cycjava.cycl.inference
Class ask_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class ask_utilities
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLInteger	$int25$100
static SubLInteger	$int56$27
static SubLSymbol	$kw0$MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw1$MAX_NUMBER
static SubLSymbol	$kw11$RETURN
static SubLSymbol	$kw12$BINDINGS
static SubLSymbol	$kw13$RESULT_UNIQUENESS
static SubLSymbol	$kw15$BINDINGS_AND_SUPPORTS
static SubLSymbol	$kw16$PROOF
static SubLSymbol	$kw18$TEMPLATE
static SubLSymbol	$kw19$ALLOW_HL_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw2$MAX_TIME
static SubLSymbol	$kw20$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw21$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw22$PRODUCTIVITY_LIMIT
static SubLSymbol	$kw23$INTERMEDIATE_STEP_VALIDATION_LEVEL
static SubLSymbol	$kw24$NEGATION_BY_FAILURE_
static SubLSymbol	$kw3$MAX_PROOF_DEPTH
static SubLSymbol	$kw4$CACHE_INFERENCE_RESULTS_
static SubLSymbol	$kw5$ANSWER_LANGUAGE
static SubLSymbol	$kw54$NONE
static SubLSymbol	$kw55$PROBLEM_STORE
static SubLSymbol	$kw57$PROBABLY_APPROXIMATELY_DONE
static SubLSymbol	$kw6$EL
static SubLSymbol	$kw62$COMPUTE_ANSWER_JUSTIFICATIONS_
static SubLSymbol	$kw64$TRUE
static SubLSymbol	$kw65$FALSE
static SubLSymbol	$kw66$UNKNOWN
static SubLSymbol	$kw7$HL
static SubLSymbol	$kw73$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw74$CONTINUABLE_
static SubLSymbol	$kw75$EXHAUST
static SubLSymbol	$kw8$ALLOWED_RULES
static SubLSymbol	$kw9$ALL
static SubLList	$list27
static SubLList	$list29
static SubLList	$list31
static SubLList	$list32
static SubLList	$list35
static SubLList	$list38
static SubLList	$list39
static SubLList	$list42
static SubLList	$list45
static SubLList	$list46
static SubLList	$list50
static SubLList	$list52
static SubLList	$list63
static SubLList	$list67
static SubLList	$list68
static SubLSymbol	$recursive_queries_in_currently_active_problem_storeP$ Temporary control variable; When non-nil, recursive queries are performed in the currently active problem store.
static SubLString	$str28$Ask_for_bindings_for_free_variabl
static SubLString	$str33$Ask_for_bindings_for_free_variabl
static SubLString	$str36$Ask_SENTENCE_in_MT___Return_resul
static SubLString	$str40$Ask_SENTENCE_in_MT___Return_resul
static SubLString	$str43$Ask_SENTENCE_in_MT_treating_VARIA
static SubLString	$str47$Ask_SENTENCE_in_MT_treating_VARIA
static SubLString	$str49$Ask_SENTENCE_in_MT_under_the_reso
static SubLString	$str53$Ask_SENTENCE_in_MT_under_the_reso
static SubLString	$str58$max_recursive_query_depth_of__s_e
static SubLString	$str59$Either_deeper_thought_is_required
static SubLSymbol	$sym10$INFERENCE_RETURN_BLISTS
static SubLSymbol	$sym14$INFERENCE_RETURN_BLISTS_AND_SUPPORTS
static SubLSymbol	$sym17$INFERENCE_RETURN_TEMPLATE
static SubLSymbol	$sym26$QUERY_JUSTIFIED
static SubLSymbol	$sym30$ASK_JUSTIFIED
static SubLSymbol	$sym34$QUERY_TEMPLATE
static SubLSymbol	$sym37$ASK_TEMPLATE
static SubLSymbol	$sym41$QUERY_VARIABLE
static SubLSymbol	$sym44$ASK_VARIABLE
static SubLSymbol	$sym48$QUERY_TEMPLATE_EVAL
static SubLSymbol	$sym51$ASK_TEMPLATE_EVAL
static SubLSymbol	$sym60$QUEUE_P
static SubLSymbol	$sym61$QUERY_PROPERTY_INHERITED_BY_RECURSIVE_QUERY_
static SubLSymbol	$sym69$FIRST
static SubLSymbol	$sym70$EL_INTENSIONAL_SET_P
static SubLSymbol	$sym71$JOIN_ORDERED_LINK_P
static SubLSymbol	$sym72$THE_SET_OF_ELEMENTS_GENERALIZED_QUERY_MEMOIZED
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_ask_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_ask_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	productivity_limit_from_removal_cost_cutoff(SubLObject cost_cutoff)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_ask_utilities_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

$recursive_queries_in_currently_active_problem_storeP$

public static SubLSymbol $recursive_queries_in_currently_active_problem_storeP$

Temporary control variable; When non-nil, recursive queries are performed in the currently active problem store.

$kw0$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw0$MAX_TRANSFORMATION_DEPTH

$kw1$MAX_NUMBER

public static final SubLSymbol $kw1$MAX_NUMBER

$kw2$MAX_TIME

public static final SubLSymbol $kw2$MAX_TIME

$kw3$MAX_PROOF_DEPTH

public static final SubLSymbol $kw3$MAX_PROOF_DEPTH

$kw4$CACHE_INFERENCE_RESULTS_

public static final SubLSymbol $kw4$CACHE_INFERENCE_RESULTS_

$kw5$ANSWER_LANGUAGE

public static final SubLSymbol $kw5$ANSWER_LANGUAGE

$kw6$EL

public static final SubLSymbol $kw6$EL

$kw7$HL

public static final SubLSymbol $kw7$HL

$kw8$ALLOWED_RULES

public static final SubLSymbol $kw8$ALLOWED_RULES

$kw9$ALL

public static final SubLSymbol $kw9$ALL

$sym10$INFERENCE_RETURN_BLISTS

public static final SubLSymbol $sym10$INFERENCE_RETURN_BLISTS

$kw11$RETURN

public static final SubLSymbol $kw11$RETURN

$kw12$BINDINGS

public static final SubLSymbol $kw12$BINDINGS

$kw13$RESULT_UNIQUENESS

public static final SubLSymbol $kw13$RESULT_UNIQUENESS

$sym14$INFERENCE_RETURN_BLISTS_AND_SUPPORTS

public static final SubLSymbol $sym14$INFERENCE_RETURN_BLISTS_AND_SUPPORTS

$kw15$BINDINGS_AND_SUPPORTS

public static final SubLSymbol $kw15$BINDINGS_AND_SUPPORTS

$kw16$PROOF

public static final SubLSymbol $kw16$PROOF

$sym17$INFERENCE_RETURN_TEMPLATE

public static final SubLSymbol $sym17$INFERENCE_RETURN_TEMPLATE

$kw18$TEMPLATE

public static final SubLSymbol $kw18$TEMPLATE

$kw19$ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw19$ALLOW_HL_PREDICATE_TRANSFORMATION_

$kw20$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw20$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$kw21$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw21$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

$kw22$PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw22$PRODUCTIVITY_LIMIT

$kw23$INTERMEDIATE_STEP_VALIDATION_LEVEL

public static final SubLSymbol $kw23$INTERMEDIATE_STEP_VALIDATION_LEVEL

$kw24$NEGATION_BY_FAILURE_

public static final SubLSymbol $kw24$NEGATION_BY_FAILURE_

$int25$100

public static final SubLInteger $int25$100

$sym26$QUERY_JUSTIFIED

public static final SubLSymbol $sym26$QUERY_JUSTIFIED

$list27

public static final SubLList $list27

$str28$Ask_for_bindings_for_free_variabl

public static final SubLString $str28$Ask_for_bindings_for_free_variabl

$list29

public static final SubLList $list29

$sym30$ASK_JUSTIFIED

public static final SubLSymbol $sym30$ASK_JUSTIFIED

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$str33$Ask_for_bindings_for_free_variabl

public static final SubLString $str33$Ask_for_bindings_for_free_variabl

$sym34$QUERY_TEMPLATE

public static final SubLSymbol $sym34$QUERY_TEMPLATE

$list35

public static final SubLList $list35

$str36$Ask_SENTENCE_in_MT___Return_resul

public static final SubLString $str36$Ask_SENTENCE_in_MT___Return_resul

$sym37$ASK_TEMPLATE

public static final SubLSymbol $sym37$ASK_TEMPLATE

$list38

public static final SubLList $list38

$list39

public static final SubLList $list39

$str40$Ask_SENTENCE_in_MT___Return_resul

public static final SubLString $str40$Ask_SENTENCE_in_MT___Return_resul

$sym41$QUERY_VARIABLE

public static final SubLSymbol $sym41$QUERY_VARIABLE

$list42

public static final SubLList $list42

$str43$Ask_SENTENCE_in_MT_treating_VARIA

public static final SubLString $str43$Ask_SENTENCE_in_MT_treating_VARIA

$sym44$ASK_VARIABLE

public static final SubLSymbol $sym44$ASK_VARIABLE

$list45

public static final SubLList $list45

$list46

public static final SubLList $list46

$str47$Ask_SENTENCE_in_MT_treating_VARIA

public static final SubLString $str47$Ask_SENTENCE_in_MT_treating_VARIA

$sym48$QUERY_TEMPLATE_EVAL

public static final SubLSymbol $sym48$QUERY_TEMPLATE_EVAL

$str49$Ask_SENTENCE_in_MT_under_the_reso

public static final SubLString $str49$Ask_SENTENCE_in_MT_under_the_reso

$list50

public static final SubLList $list50

$sym51$ASK_TEMPLATE_EVAL

public static final SubLSymbol $sym51$ASK_TEMPLATE_EVAL

$list52

public static final SubLList $list52

$str53$Ask_SENTENCE_in_MT_under_the_reso

public static final SubLString $str53$Ask_SENTENCE_in_MT_under_the_reso

$kw54$NONE

public static final SubLSymbol $kw54$NONE

$kw55$PROBLEM_STORE

public static final SubLSymbol $kw55$PROBLEM_STORE

$int56$27

public static final SubLInteger $int56$27

$kw57$PROBABLY_APPROXIMATELY_DONE

public static final SubLSymbol $kw57$PROBABLY_APPROXIMATELY_DONE

$str58$max_recursive_query_depth_of__s_e

public static final SubLString $str58$max_recursive_query_depth_of__s_e

$str59$Either_deeper_thought_is_required

public static final SubLString $str59$Either_deeper_thought_is_required

$sym60$QUEUE_P

public static final SubLSymbol $sym60$QUEUE_P

$sym61$QUERY_PROPERTY_INHERITED_BY_RECURSIVE_QUERY_

public static final SubLSymbol $sym61$QUERY_PROPERTY_INHERITED_BY_RECURSIVE_QUERY_

$kw62$COMPUTE_ANSWER_JUSTIFICATIONS_

public static final SubLSymbol $kw62$COMPUTE_ANSWER_JUSTIFICATIONS_

$list63

public static final SubLList $list63

$kw64$TRUE

public static final SubLSymbol $kw64$TRUE

$kw65$FALSE

public static final SubLSymbol $kw65$FALSE

$kw66$UNKNOWN

public static final SubLSymbol $kw66$UNKNOWN

$list67

public static final SubLList $list67

$list68

public static final SubLList $list68

$sym69$FIRST

public static final SubLSymbol $sym69$FIRST

$sym70$EL_INTENSIONAL_SET_P

public static final SubLSymbol $sym70$EL_INTENSIONAL_SET_P

$sym71$JOIN_ORDERED_LINK_P

public static final SubLSymbol $sym71$JOIN_ORDERED_LINK_P

$sym72$THE_SET_OF_ELEMENTS_GENERALIZED_QUERY_MEMOIZED

public static final SubLSymbol $sym72$THE_SET_OF_ELEMENTS_GENERALIZED_QUERY_MEMOIZED

$kw73$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw73$_MEMOIZED_ITEM_NOT_FOUND_

$kw74$CONTINUABLE_

public static final SubLSymbol $kw74$CONTINUABLE_

$kw75$EXHAUST

public static final SubLSymbol $kw75$EXHAUST

Method Detail

productivity_limit_from_removal_cost_cutoff

public static final SubLObject productivity_limit_from_removal_cost_cutoff(SubLObject cost_cutoff)

declare_ask_utilities_file

public static final SubLObject declare_ask_utilities_file()

init_ask_utilities_file

public static final SubLObject init_ask_utilities_file()

setup_ask_utilities_file

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