com.cyc.cycjava.cycl.inference.harness
Class inference_trivial

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_trivial
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw11$TRUE
static SubLSymbol	$kw12$FALSE
static SubLSymbol	$kw16$MAX_TIME
static SubLSymbol	$kw17$INFERENCE_ERROR
static SubLSymbol	$kw21$BINDINGS
static SubLSymbol	$kw23$EL
static SubLSymbol	$kw25$SUPPORTS
static SubLSymbol	$kw27$BINDINGS_AND_SUPPORTS
static SubLSymbol	$kw29$MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw30$ANSWER_LANGUAGE
static SubLSymbol	$kw31$HL
static SubLSymbol	$kw37$NONZERO_MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw38$PROBLEM_STORE
static SubLSymbol	$kw39$PROBLEM_STORE_PASSED_IN
static SubLSymbol	$kw4$INFERENCE_ABORT_TARGET
static SubLSymbol	$kw40$FORWARD_MAX_TIME
static SubLSymbol	$kw41$NONZERO_FORWARD_MAX_TIME
static SubLSymbol	$kw42$RETURN
static SubLSymbol	$kw43$UNHANDLED_RETURN_VALUE
static SubLSymbol	$kw44$INTERMEDIATE_STEP_VALIDATION_LEVEL
static SubLSymbol	$kw45$NONE
static SubLSymbol	$kw46$INFERENCE_MODE
static SubLSymbol	$kw48$NON_TRIVIAL_INFERENCE_MODE
static SubLSymbol	$kw49$METRICS
static SubLSymbol	$kw5$ABORT
static SubLSymbol	$kw50$INFERENCE_PROOF_SPEC
static SubLSymbol	$kw51$ANSWER_PROOF_SPECS
static SubLSymbol	$kw52$TOTAL_STEPS
static SubLSymbol	$kw53$UNHANDLED_METRIC
static SubLSymbol	$kw54$UNEXPECTED
static SubLSymbol	$kw9$NON_TRIVIAL
static SubLList	$list13
static SubLList	$list19
static SubLList	$list20
static SubLList	$list32
static SubLList	$list33
static SubLList	$list34
static SubLList	$list35
static SubLList	$list36
static SubLList	$list47
static SubLList	$list55
static SubLList	$list57
static SubLString	$str15$Invalid_attempt_to_reuse_memoizat
static SubLString	$str28$unexpected_return_type__S
static SubLSymbol	$sym0$POSSIBLY_INFERENCE_SENTENCE_P
static SubLSymbol	$sym1$PROPERTY_LIST_P
static SubLSymbol	$sym10$HL_VARIABLE_P
static SubLSymbol	$sym14$REMOVAL_ASK_QUERY_PROPERTY_P
static SubLSymbol	$sym18$INFERENCE_ERROR_HANDLER
static SubLSymbol	$sym2$QUERY_PROPERTY_P
static SubLSymbol	$sym22$FIRST
static SubLSymbol	$sym24$INFERENCE_BINDINGS_HL_TO_EL
static SubLSymbol	$sym26$SECOND
static SubLSymbol	$sym3$POSSIBLY_MT_P
static SubLSymbol	$sym56$TRIVIAL_STRATEGIST_UNHANDLED_TEMPLATE_RETURN_KEYWORD_P
static SubLSymbol	$sym6$CLAUSE_P
static SubLSymbol	$sym7$LISTP
static SubLSymbol	$sym8$TRIVIAL_STRATEGIST_AT_LEAST_PARTIALLY_HANDLED_QUERY_PROPERTY_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	current_query_property_lookup(SubLObject property)
static SubLObject	declare_inference_trivial_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_trivial_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	new_cyc_trivial_query_from_dnf_int(SubLObject dnf, SubLObject mt, SubLObject scoped_vars, SubLObject query_properties)
static SubLObject	new_cyc_trivial_query_int(SubLObject sentence, SubLObject mt, SubLObject query_properties)
static SubLObject	new_cyc_trivial_query_via_removal_ask(SubLObject sentence_clause, SubLObject v_bindings, SubLObject free_hl_vars, SubLObject trivial_query_properties)
static SubLObject	removal_ask_filter_out_uninteresting_bindings(SubLObject result, SubLObject free_vars)
static SubLObject	removal_ask_result_closed_query_success_ntransform(SubLObject result)
static SubLObject	removal_ask_result_return_type_ntransform(SubLObject result, SubLObject v_bindings, SubLObject return_type, SubLObject answer_language)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_trivial_file()
static SubLObject	trivial_strategist_at_least_partially_handled_query_property_p(SubLObject object)
static SubLObject	trivial_strategist_can_handle_query_propertiesP(SubLObject query_properties)
static SubLObject	trivial_strategist_can_handle_query_propertyP(SubLObject property, SubLObject value)
static SubLObject	trivial_strategist_handled_query_property_p(SubLObject object)
static SubLObject	trivial_strategist_query_property_unhandled_reason(SubLObject property, SubLObject value)
static SubLObject	trivial_strategist_strengthen_query_properties(SubLObject query_properties)

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$POSSIBLY_INFERENCE_SENTENCE_P

public static final SubLSymbol $sym0$POSSIBLY_INFERENCE_SENTENCE_P

$sym1$PROPERTY_LIST_P

public static final SubLSymbol $sym1$PROPERTY_LIST_P

$sym2$QUERY_PROPERTY_P

public static final SubLSymbol $sym2$QUERY_PROPERTY_P

$sym3$POSSIBLY_MT_P

public static final SubLSymbol $sym3$POSSIBLY_MT_P

$kw4$INFERENCE_ABORT_TARGET

public static final SubLSymbol $kw4$INFERENCE_ABORT_TARGET

$kw5$ABORT

public static final SubLSymbol $kw5$ABORT

$sym6$CLAUSE_P

public static final SubLSymbol $sym6$CLAUSE_P

$sym7$LISTP

public static final SubLSymbol $sym7$LISTP

$sym8$TRIVIAL_STRATEGIST_AT_LEAST_PARTIALLY_HANDLED_QUERY_PROPERTY_P

public static final SubLSymbol $sym8$TRIVIAL_STRATEGIST_AT_LEAST_PARTIALLY_HANDLED_QUERY_PROPERTY_P

$kw9$NON_TRIVIAL

public static final SubLSymbol $kw9$NON_TRIVIAL

$sym10$HL_VARIABLE_P

public static final SubLSymbol $sym10$HL_VARIABLE_P

$kw11$TRUE

public static final SubLSymbol $kw11$TRUE

$kw12$FALSE

public static final SubLSymbol $kw12$FALSE

$list13

public static final SubLList $list13

$sym14$REMOVAL_ASK_QUERY_PROPERTY_P

public static final SubLSymbol $sym14$REMOVAL_ASK_QUERY_PROPERTY_P

$str15$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str15$Invalid_attempt_to_reuse_memoizat

$kw16$MAX_TIME

public static final SubLSymbol $kw16$MAX_TIME

$kw17$INFERENCE_ERROR

public static final SubLSymbol $kw17$INFERENCE_ERROR

$sym18$INFERENCE_ERROR_HANDLER

public static final SubLSymbol $sym18$INFERENCE_ERROR_HANDLER

$list19

public static final SubLList $list19

$list20

public static final SubLList $list20

$kw21$BINDINGS

public static final SubLSymbol $kw21$BINDINGS

$sym22$FIRST

public static final SubLSymbol $sym22$FIRST

$kw23$EL

public static final SubLSymbol $kw23$EL

$sym24$INFERENCE_BINDINGS_HL_TO_EL

public static final SubLSymbol $sym24$INFERENCE_BINDINGS_HL_TO_EL

$kw25$SUPPORTS

public static final SubLSymbol $kw25$SUPPORTS

$sym26$SECOND

public static final SubLSymbol $sym26$SECOND

$kw27$BINDINGS_AND_SUPPORTS

public static final SubLSymbol $kw27$BINDINGS_AND_SUPPORTS

$str28$unexpected_return_type__S

public static final SubLString $str28$unexpected_return_type__S

$kw29$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw29$MAX_TRANSFORMATION_DEPTH

$kw30$ANSWER_LANGUAGE

public static final SubLSymbol $kw30$ANSWER_LANGUAGE

$kw31$HL

public static final SubLSymbol $kw31$HL

$list32

public static final SubLList $list32

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$list35

public static final SubLList $list35

$list36

public static final SubLList $list36

$kw37$NONZERO_MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw37$NONZERO_MAX_TRANSFORMATION_DEPTH

$kw38$PROBLEM_STORE

public static final SubLSymbol $kw38$PROBLEM_STORE

$kw39$PROBLEM_STORE_PASSED_IN

public static final SubLSymbol $kw39$PROBLEM_STORE_PASSED_IN

$kw40$FORWARD_MAX_TIME

public static final SubLSymbol $kw40$FORWARD_MAX_TIME

$kw41$NONZERO_FORWARD_MAX_TIME

public static final SubLSymbol $kw41$NONZERO_FORWARD_MAX_TIME

$kw42$RETURN

public static final SubLSymbol $kw42$RETURN

$kw43$UNHANDLED_RETURN_VALUE

public static final SubLSymbol $kw43$UNHANDLED_RETURN_VALUE

$kw44$INTERMEDIATE_STEP_VALIDATION_LEVEL

public static final SubLSymbol $kw44$INTERMEDIATE_STEP_VALIDATION_LEVEL

$kw45$NONE

public static final SubLSymbol $kw45$NONE

$kw46$INFERENCE_MODE

public static final SubLSymbol $kw46$INFERENCE_MODE

$list47

public static final SubLList $list47

$kw48$NON_TRIVIAL_INFERENCE_MODE

public static final SubLSymbol $kw48$NON_TRIVIAL_INFERENCE_MODE

$kw49$METRICS

public static final SubLSymbol $kw49$METRICS

$kw50$INFERENCE_PROOF_SPEC

public static final SubLSymbol $kw50$INFERENCE_PROOF_SPEC

$kw51$ANSWER_PROOF_SPECS

public static final SubLSymbol $kw51$ANSWER_PROOF_SPECS

$kw52$TOTAL_STEPS

public static final SubLSymbol $kw52$TOTAL_STEPS

$kw53$UNHANDLED_METRIC

public static final SubLSymbol $kw53$UNHANDLED_METRIC

$kw54$UNEXPECTED

public static final SubLSymbol $kw54$UNEXPECTED

$list55

public static final SubLList $list55

$sym56$TRIVIAL_STRATEGIST_UNHANDLED_TEMPLATE_RETURN_KEYWORD_P

public static final SubLSymbol $sym56$TRIVIAL_STRATEGIST_UNHANDLED_TEMPLATE_RETURN_KEYWORD_P

$list57

public static final SubLList $list57

Method Detail

new_cyc_trivial_query_int

public static final SubLObject new_cyc_trivial_query_int(SubLObject sentence,
                                                         SubLObject mt,
                                                         SubLObject query_properties)

new_cyc_trivial_query_from_dnf_int

public static final SubLObject new_cyc_trivial_query_from_dnf_int(SubLObject dnf,
                                                                  SubLObject mt,
                                                                  SubLObject scoped_vars,
                                                                  SubLObject query_properties)

current_query_property_lookup

public static final SubLObject current_query_property_lookup(SubLObject property)

new_cyc_trivial_query_via_removal_ask

public static final SubLObject new_cyc_trivial_query_via_removal_ask(SubLObject sentence_clause,
                                                                     SubLObject v_bindings,
                                                                     SubLObject free_hl_vars,
                                                                     SubLObject trivial_query_properties)

removal_ask_filter_out_uninteresting_bindings

public static final SubLObject removal_ask_filter_out_uninteresting_bindings(SubLObject result,
                                                                             SubLObject free_vars)

removal_ask_result_closed_query_success_ntransform

public static final SubLObject removal_ask_result_closed_query_success_ntransform(SubLObject result)

removal_ask_result_return_type_ntransform

public static final SubLObject removal_ask_result_return_type_ntransform(SubLObject result,
                                                                         SubLObject v_bindings,
                                                                         SubLObject return_type,
                                                                         SubLObject answer_language)

trivial_strategist_can_handle_query_propertiesP

public static final SubLObject trivial_strategist_can_handle_query_propertiesP(SubLObject query_properties)

trivial_strategist_strengthen_query_properties

public static final SubLObject trivial_strategist_strengthen_query_properties(SubLObject query_properties)

trivial_strategist_handled_query_property_p

public static final SubLObject trivial_strategist_handled_query_property_p(SubLObject object)

trivial_strategist_at_least_partially_handled_query_property_p

public static final SubLObject trivial_strategist_at_least_partially_handled_query_property_p(SubLObject object)

trivial_strategist_can_handle_query_propertyP

public static final SubLObject trivial_strategist_can_handle_query_propertyP(SubLObject property,
                                                                             SubLObject value)

trivial_strategist_query_property_unhandled_reason

public static final SubLObject trivial_strategist_query_property_unhandled_reason(SubLObject property,
                                                                                  SubLObject value)

declare_inference_trivial_file

public static final SubLObject declare_inference_trivial_file()

init_inference_trivial_file

public static final SubLObject init_inference_trivial_file()

setup_inference_trivial_file

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