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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_macros
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$controlling_inferences$
static SubLSymbol	$controlling_strategy$
static SubLSymbol	$kw105$ELEMENT_NUM
static SubLSymbol	$kw106$DONE_
static SubLSymbol	$kw118$EOF
static SubLSymbol	$kw14$ALLOW_OTHER_KEYS
static SubLSymbol	$kw15$TYPE
static SubLSymbol	$kw16$DONE
static SubLSymbol	$kw24$OPEN_
static SubLSymbol	$kw45$LINK_TYPE
static SubLSymbol	$kw56$PROOF_STATUS
static SubLSymbol	$kw71$RESIDUAL_TRANSFORMATION
static SubLSymbol	$kw77$JOIN_ORDERED
static SubLSymbol	$kw98$CYC_MAINT
static SubLList	$list0
static SubLList	$list103
static SubLList	$list104
static SubLList	$list110
static SubLList	$list112
static SubLList	$list114
static SubLList	$list119
static SubLList	$list12
static SubLList	$list123
static SubLList	$list124
static SubLList	$list13
static SubLList	$list22
static SubLList	$list23
static SubLList	$list30
static SubLList	$list31
static SubLList	$list33
static SubLList	$list37
static SubLList	$list38
static SubLList	$list43
static SubLList	$list44
static SubLList	$list48
static SubLList	$list49
static SubLList	$list54
static SubLList	$list55
static SubLList	$list6
static SubLList	$list68
static SubLList	$list73
static SubLList	$list8
static SubLList	$list80
static SubLList	$list81
static SubLList	$list82
static SubLList	$list83
static SubLList	$list85
static SubLList	$list88
static SubLList	$list91
static SubLList	$list94
static SubLList	$list97
static SubLList	$list99
static SubLString	$str122$Read_invalid_query_info__s
static SubLSymbol	$sym1$SYMBOLP
static SubLSymbol	$sym10$CSETQ
static SubLSymbol	$sym100$PATTERN_VAR
static SubLSymbol	$sym101$OR_PATTERN_P
static SubLSymbol	$sym102$REST
static SubLSymbol	$sym107$DONE_VAR_
static SubLSymbol	$sym108$I
static SubLSymbol	$sym109$INPUT_STREAM
static SubLSymbol	$sym11$NEW_PROBLEM_STORE
static SubLSymbol	$sym111$WITH_PRIVATE_BINARY_FILE
static SubLSymbol	$sym113$WITH_CFASL_COMMON_SYMBOLS
static SubLSymbol	$sym115$UNTIL
static SubLSymbol	$sym116$LOAD_ASKED_QUERY_FROM_STREAM
static SubLSymbol	$sym117$PCOND
static SubLSymbol	$sym120$STRINGP
static SubLSymbol	$sym121$WARN
static SubLSymbol	$sym125$DO_DIRECTORY_CONTENTS
static SubLSymbol	$sym126$ASKED_QUERIES_FILENAME_
static SubLSymbol	$sym127$DO_ASKED_QUERIES
static SubLSymbol	$sym17$DO_SET_CONTENTS
static SubLSymbol	$sym18$PROBLEM_ARGUMENT_LINKS
static SubLSymbol	$sym19$DO_PROBLEM_ARGUMENT_LINKS
static SubLSymbol	$sym2$CLET
static SubLSymbol	$sym20$PWHEN
static SubLSymbol	$sym21$PROBLEM_LINK_HAS_TYPE_
static SubLSymbol	$sym25$LINK_VAR
static SubLSymbol	$sym26$DO_LIST
static SubLSymbol	$sym27$PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS
static SubLSymbol	$sym28$DO_PROBLEM_LINK_OPEN_MATCH_
static SubLSymbol	$sym29$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS
static SubLSymbol	$sym3$CUNWIND_PROTECT
static SubLSymbol	$sym32$CINC
static SubLSymbol	$sym34$SUPPORTING_MAPPED_PROBLEM
static SubLSymbol	$sym35$MAPPED_PROBLEM_PROBLEM
static SubLSymbol	$sym36$MAPPED_PROBLEM_VARIABLE_MAP
static SubLSymbol	$sym39$SUPPORTED_PROBLEM
static SubLSymbol	$sym4$PROGN
static SubLSymbol	$sym40$LINK_VAR
static SubLSymbol	$sym41$PROBLEM_LINK_SUPPORTED_PROBLEM
static SubLSymbol	$sym42$PUNLESS
static SubLSymbol	$sym46$SUPPORTED_PROBLEM
static SubLSymbol	$sym47$DO_PROBLEM_DEPENDENT_LINKS
static SubLSymbol	$sym5$DESTROY_INFERENCE_AND_PROBLEM_STORE
static SubLSymbol	$sym50$SUPPORTING_PROBLEM
static SubLSymbol	$sym51$VARIABLE_MAP
static SubLSymbol	$sym52$DO_PROBLEM_LINK_SUPPORTING_PROBLEMS
static SubLSymbol	$sym53$IGNORE
static SubLSymbol	$sym57$CDOLIST
static SubLSymbol	$sym58$PROBLEM_LINK_PROOFS
static SubLSymbol	$sym59$PROOF_HAS_STATUS_
static SubLSymbol	$sym60$LNK
static SubLSymbol	$sym61$PROBLEM
static SubLSymbol	$sym62$DO_PROBLEM_PROOFS
static SubLSymbol	$sym63$PROOF_LINK
static SubLSymbol	$sym64$PIF
static SubLSymbol	$sym65$_PROBLEM_LINK_DATASTRUCTURE_STORES_PROOFS__
static SubLSymbol	$sym66$DO_PROBLEM_LINK_PROOFS_INT
static SubLSymbol	$sym67$DO_PROBLEM_LINK_PROOFS_COMPUTED
static SubLSymbol	$sym69$JO_LINK_VAR
static SubLSymbol	$sym7$DESTROY_PROBLEM_STORE
static SubLSymbol	$sym70$MOTIVATING_CONJUNCTION_PROBLEM
static SubLSymbol	$sym72$RESIDUAL_TRANSFORMATION_LINK_MOTIVATED_BY_JOIN_ORDERED_LINK_
static SubLSymbol	$sym74$T_LINK_VAR
static SubLSymbol	$sym75$JO_LINK_VAR
static SubLSymbol	$sym76$DO_PROBLEM_LINK_DEPENDENT_LINKS
static SubLSymbol	$sym78$DO_JOIN_ORDERED_LINK_MOTIVATED_RESIDUAL_TRANSFORMATION_LINKS
static SubLSymbol	$sym79$RESIDUAL_TRANSFORMATION_LINK_MOTIVATED_BY_TRANSFORMATION_LINK_
static SubLSymbol	$sym84$WITH_FORWARD_INFERENCE_ALLOWED_RULES
static SubLSymbol	$sym86$_FORWARD_INFERENCE_ALLOWED_RULES_
static SubLSymbol	$sym87$INFERENCE_P
static SubLSymbol	$sym89$_CONTROLLING_INFERENCES_
static SubLSymbol	$sym9$WITH_PROBLEM_STORE_VAR
static SubLSymbol	$sym90$CONS
static SubLSymbol	$sym92$WITHIN_CONTROLLING_INFERENCE
static SubLSymbol	$sym93$WITHIN_NO_CONTROLLING_STRATEGY
static SubLSymbol	$sym95$_CONTROLLING_STRATEGY_
static SubLSymbol	$sym96$WITHIN_CONTROLLING_STRATEGY
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_controlling_inference() Return nil or inference-p; the current inference controlling the current work in progress, or NIL if none.
static SubLObject	declare_inference_macros_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	do_problem_link_open_matchP(SubLObject openP, SubLObject link, SubLObject supporting_mapped_problem)
static SubLObject	init_inference_macros_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_inference_macros_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

$controlling_inferences$

public static SubLSymbol $controlling_inferences$

$controlling_strategy$

public static SubLSymbol $controlling_strategy$

$list0

public static final SubLList $list0

$sym1$SYMBOLP

public static final SubLSymbol $sym1$SYMBOLP

$sym2$CLET

public static final SubLSymbol $sym2$CLET

$sym3$CUNWIND_PROTECT

public static final SubLSymbol $sym3$CUNWIND_PROTECT

$sym4$PROGN

public static final SubLSymbol $sym4$PROGN

$sym5$DESTROY_INFERENCE_AND_PROBLEM_STORE

public static final SubLSymbol $sym5$DESTROY_INFERENCE_AND_PROBLEM_STORE

$list6

public static final SubLList $list6

$sym7$DESTROY_PROBLEM_STORE

public static final SubLSymbol $sym7$DESTROY_PROBLEM_STORE

$list8

public static final SubLList $list8

$sym9$WITH_PROBLEM_STORE_VAR

public static final SubLSymbol $sym9$WITH_PROBLEM_STORE_VAR

$sym10$CSETQ

public static final SubLSymbol $sym10$CSETQ

$sym11$NEW_PROBLEM_STORE

public static final SubLSymbol $sym11$NEW_PROBLEM_STORE

$list12

public static final SubLList $list12

$list13

public static final SubLList $list13

$kw14$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw14$ALLOW_OTHER_KEYS

$kw15$TYPE

public static final SubLSymbol $kw15$TYPE

$kw16$DONE

public static final SubLSymbol $kw16$DONE

$sym17$DO_SET_CONTENTS

public static final SubLSymbol $sym17$DO_SET_CONTENTS

$sym18$PROBLEM_ARGUMENT_LINKS

public static final SubLSymbol $sym18$PROBLEM_ARGUMENT_LINKS

$sym19$DO_PROBLEM_ARGUMENT_LINKS

public static final SubLSymbol $sym19$DO_PROBLEM_ARGUMENT_LINKS

$sym20$PWHEN

public static final SubLSymbol $sym20$PWHEN

$sym21$PROBLEM_LINK_HAS_TYPE_

public static final SubLSymbol $sym21$PROBLEM_LINK_HAS_TYPE_

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$kw24$OPEN_

public static final SubLSymbol $kw24$OPEN_

$sym25$LINK_VAR

public static final SubLSymbol $sym25$LINK_VAR

$sym26$DO_LIST

public static final SubLSymbol $sym26$DO_LIST

$sym27$PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $sym27$PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym28$DO_PROBLEM_LINK_OPEN_MATCH_

public static final SubLSymbol $sym28$DO_PROBLEM_LINK_OPEN_MATCH_

$sym29$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $sym29$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$sym32$CINC

public static final SubLSymbol $sym32$CINC

$list33

public static final SubLList $list33

$sym34$SUPPORTING_MAPPED_PROBLEM

public static final SubLSymbol $sym34$SUPPORTING_MAPPED_PROBLEM

$sym35$MAPPED_PROBLEM_PROBLEM

public static final SubLSymbol $sym35$MAPPED_PROBLEM_PROBLEM

$sym36$MAPPED_PROBLEM_VARIABLE_MAP

public static final SubLSymbol $sym36$MAPPED_PROBLEM_VARIABLE_MAP

$list37

public static final SubLList $list37

$list38

public static final SubLList $list38

$sym39$SUPPORTED_PROBLEM

public static final SubLSymbol $sym39$SUPPORTED_PROBLEM

$sym40$LINK_VAR

public static final SubLSymbol $sym40$LINK_VAR

$sym41$PROBLEM_LINK_SUPPORTED_PROBLEM

public static final SubLSymbol $sym41$PROBLEM_LINK_SUPPORTED_PROBLEM

$sym42$PUNLESS

public static final SubLSymbol $sym42$PUNLESS

$list43

public static final SubLList $list43

$list44

public static final SubLList $list44

$kw45$LINK_TYPE

public static final SubLSymbol $kw45$LINK_TYPE

$sym46$SUPPORTED_PROBLEM

public static final SubLSymbol $sym46$SUPPORTED_PROBLEM

$sym47$DO_PROBLEM_DEPENDENT_LINKS

public static final SubLSymbol $sym47$DO_PROBLEM_DEPENDENT_LINKS

$list48

public static final SubLList $list48

$list49

public static final SubLList $list49

$sym50$SUPPORTING_PROBLEM

public static final SubLSymbol $sym50$SUPPORTING_PROBLEM

$sym51$VARIABLE_MAP

public static final SubLSymbol $sym51$VARIABLE_MAP

$sym52$DO_PROBLEM_LINK_SUPPORTING_PROBLEMS

public static final SubLSymbol $sym52$DO_PROBLEM_LINK_SUPPORTING_PROBLEMS

$sym53$IGNORE

public static final SubLSymbol $sym53$IGNORE

$list54

public static final SubLList $list54

$list55

public static final SubLList $list55

$kw56$PROOF_STATUS

public static final SubLSymbol $kw56$PROOF_STATUS

$sym57$CDOLIST

public static final SubLSymbol $sym57$CDOLIST

$sym58$PROBLEM_LINK_PROOFS

public static final SubLSymbol $sym58$PROBLEM_LINK_PROOFS

$sym59$PROOF_HAS_STATUS_

public static final SubLSymbol $sym59$PROOF_HAS_STATUS_

$sym60$LNK

public static final SubLSymbol $sym60$LNK

$sym61$PROBLEM

public static final SubLSymbol $sym61$PROBLEM

$sym62$DO_PROBLEM_PROOFS

public static final SubLSymbol $sym62$DO_PROBLEM_PROOFS

$sym63$PROOF_LINK

public static final SubLSymbol $sym63$PROOF_LINK

$sym64$PIF

public static final SubLSymbol $sym64$PIF

$sym65$_PROBLEM_LINK_DATASTRUCTURE_STORES_PROOFS__

public static final SubLSymbol $sym65$_PROBLEM_LINK_DATASTRUCTURE_STORES_PROOFS__

$sym66$DO_PROBLEM_LINK_PROOFS_INT

public static final SubLSymbol $sym66$DO_PROBLEM_LINK_PROOFS_INT

$sym67$DO_PROBLEM_LINK_PROOFS_COMPUTED

public static final SubLSymbol $sym67$DO_PROBLEM_LINK_PROOFS_COMPUTED

$list68

public static final SubLList $list68

$sym69$JO_LINK_VAR

public static final SubLSymbol $sym69$JO_LINK_VAR

$sym70$MOTIVATING_CONJUNCTION_PROBLEM

public static final SubLSymbol $sym70$MOTIVATING_CONJUNCTION_PROBLEM

$kw71$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw71$RESIDUAL_TRANSFORMATION

$sym72$RESIDUAL_TRANSFORMATION_LINK_MOTIVATED_BY_JOIN_ORDERED_LINK_

public static final SubLSymbol $sym72$RESIDUAL_TRANSFORMATION_LINK_MOTIVATED_BY_JOIN_ORDERED_LINK_

$list73

public static final SubLList $list73

$sym74$T_LINK_VAR

public static final SubLSymbol $sym74$T_LINK_VAR

$sym75$JO_LINK_VAR

public static final SubLSymbol $sym75$JO_LINK_VAR

$sym76$DO_PROBLEM_LINK_DEPENDENT_LINKS

public static final SubLSymbol $sym76$DO_PROBLEM_LINK_DEPENDENT_LINKS

$kw77$JOIN_ORDERED

public static final SubLSymbol $kw77$JOIN_ORDERED

$sym78$DO_JOIN_ORDERED_LINK_MOTIVATED_RESIDUAL_TRANSFORMATION_LINKS

public static final SubLSymbol $sym78$DO_JOIN_ORDERED_LINK_MOTIVATED_RESIDUAL_TRANSFORMATION_LINKS

$sym79$RESIDUAL_TRANSFORMATION_LINK_MOTIVATED_BY_TRANSFORMATION_LINK_

public static final SubLSymbol $sym79$RESIDUAL_TRANSFORMATION_LINK_MOTIVATED_BY_TRANSFORMATION_LINK_

$list80

public static final SubLList $list80

$list81

public static final SubLList $list81

$list82

public static final SubLList $list82

$list83

public static final SubLList $list83

$sym84$WITH_FORWARD_INFERENCE_ALLOWED_RULES

public static final SubLSymbol $sym84$WITH_FORWARD_INFERENCE_ALLOWED_RULES

$list85

public static final SubLList $list85

$sym86$_FORWARD_INFERENCE_ALLOWED_RULES_

public static final SubLSymbol $sym86$_FORWARD_INFERENCE_ALLOWED_RULES_

$sym87$INFERENCE_P

public static final SubLSymbol $sym87$INFERENCE_P

$list88

public static final SubLList $list88

$sym89$_CONTROLLING_INFERENCES_

public static final SubLSymbol $sym89$_CONTROLLING_INFERENCES_

$sym90$CONS

public static final SubLSymbol $sym90$CONS

$list91

public static final SubLList $list91

$sym92$WITHIN_CONTROLLING_INFERENCE

public static final SubLSymbol $sym92$WITHIN_CONTROLLING_INFERENCE

$sym93$WITHIN_NO_CONTROLLING_STRATEGY

public static final SubLSymbol $sym93$WITHIN_NO_CONTROLLING_STRATEGY

$list94

public static final SubLList $list94

$sym95$_CONTROLLING_STRATEGY_

public static final SubLSymbol $sym95$_CONTROLLING_STRATEGY_

$sym96$WITHIN_CONTROLLING_STRATEGY

public static final SubLSymbol $sym96$WITHIN_CONTROLLING_STRATEGY

$list97

public static final SubLList $list97

$kw98$CYC_MAINT

public static final SubLSymbol $kw98$CYC_MAINT

$list99

public static final SubLList $list99

$sym100$PATTERN_VAR

public static final SubLSymbol $sym100$PATTERN_VAR

$sym101$OR_PATTERN_P

public static final SubLSymbol $sym101$OR_PATTERN_P

$sym102$REST

public static final SubLSymbol $sym102$REST

$list103

public static final SubLList $list103

$list104

public static final SubLList $list104

$kw105$ELEMENT_NUM

public static final SubLSymbol $kw105$ELEMENT_NUM

$kw106$DONE_

public static final SubLSymbol $kw106$DONE_

$sym107$DONE_VAR_

public static final SubLSymbol $sym107$DONE_VAR_

$sym108$I

public static final SubLSymbol $sym108$I

$sym109$INPUT_STREAM

public static final SubLSymbol $sym109$INPUT_STREAM

$list110

public static final SubLList $list110

$sym111$WITH_PRIVATE_BINARY_FILE

public static final SubLSymbol $sym111$WITH_PRIVATE_BINARY_FILE

$list112

public static final SubLList $list112

$sym113$WITH_CFASL_COMMON_SYMBOLS

public static final SubLSymbol $sym113$WITH_CFASL_COMMON_SYMBOLS

$list114

public static final SubLList $list114

$sym115$UNTIL

public static final SubLSymbol $sym115$UNTIL

$sym116$LOAD_ASKED_QUERY_FROM_STREAM

public static final SubLSymbol $sym116$LOAD_ASKED_QUERY_FROM_STREAM

$sym117$PCOND

public static final SubLSymbol $sym117$PCOND

$kw118$EOF

public static final SubLSymbol $kw118$EOF

$list119

public static final SubLList $list119

$sym120$STRINGP

public static final SubLSymbol $sym120$STRINGP

$sym121$WARN

public static final SubLSymbol $sym121$WARN

$str122$Read_invalid_query_info__s

public static final SubLString $str122$Read_invalid_query_info__s

$list123

public static final SubLList $list123

$list124

public static final SubLList $list124

$sym125$DO_DIRECTORY_CONTENTS

public static final SubLSymbol $sym125$DO_DIRECTORY_CONTENTS

$sym126$ASKED_QUERIES_FILENAME_

public static final SubLSymbol $sym126$ASKED_QUERIES_FILENAME_

$sym127$DO_ASKED_QUERIES

public static final SubLSymbol $sym127$DO_ASKED_QUERIES

Method Detail

do_problem_link_open_matchP

public static final SubLObject do_problem_link_open_matchP(SubLObject openP,
                                                           SubLObject link,
                                                           SubLObject supporting_mapped_problem)

current_controlling_inference

public static final SubLObject current_controlling_inference()

Return nil or inference-p; the current inference controlling the current work in progress, or NIL if none.

declare_inference_macros_file

public static final SubLObject declare_inference_macros_file()

init_inference_macros_file

public static final SubLObject init_inference_macros_file()

setup_inference_macros_file

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