com.cyc.cycjava.cycl.inference.modules
Class forward_modules
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.modules.forward_modules
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class forward_modules
- extends SubLTranslatedFile
| 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 |
all_antecedent_predicate_forward_rules(SubLObject pred)
|
static SubLObject |
all_ist_predicate_forward_rules(SubLObject pred)
|
static SubLObject |
declare_forward_modules_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
do_forward_modules_list()
|
static SubLObject |
forward_asymmetric_required(SubLObject asent)
|
static SubLObject |
forward_eval_exclusive_pos(SubLObject asent)
|
static SubLObject |
forward_genlinverse_gaf_rule_select(SubLObject asent)
|
static SubLObject |
forward_genlinverse_pos_rule_select(SubLObject asent)
|
static SubLObject |
forward_genlmt_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
|
static SubLObject |
forward_genlmt_rule_filter(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_genlmt_rule_select(SubLObject asent)
|
static SubLObject |
forward_genlpreds_pos_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
|
static SubLObject |
forward_genlpreds_pos_expand(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_genlpreds_pos_rule_select(SubLObject asent)
|
static SubLObject |
forward_genls_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
|
static SubLObject |
forward_genls_expand(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_genls_rule_select(SubLObject asent)
|
static SubLObject |
forward_hl_module_apply(SubLObject forward_hl_module,
SubLObject source_asent)
|
static SubLObject |
forward_hl_module_expand(SubLObject forward_hl_module,
SubLObject source_asent,
SubLObject rules)
|
static SubLObject |
forward_hl_module_rule_filter(SubLObject forward_hl_module,
SubLObject source_asent,
SubLObject rules)
|
static SubLObject |
forward_hl_module_rule_select(SubLObject forward_hl_module,
SubLObject source_asent)
|
static SubLObject |
forward_hl_modules(SubLObject asent,
SubLObject sense)
Determine the HL modules which could be used to forward expand ASENT with SENSE |
static SubLObject |
forward_inference_all_genls_internal(SubLObject col)
|
static SubLObject |
forward_inference_all_genls(SubLObject col)
|
static SubLObject |
forward_inference_genlP(SubLObject source_col,
SubLObject rule_col)
|
static SubLObject |
forward_isa_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
|
static SubLObject |
forward_isa_expand(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_isa_rule_filter(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_isa_rule_select(SubLObject asent)
|
static SubLObject |
forward_ist_pos_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
|
static SubLObject |
forward_ist_pos_rule_filter(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_ist_pos_rule_select(SubLObject asent)
|
static SubLObject |
forward_module_callback(SubLObject trigger_asent,
SubLObject trigger_sense,
SubLObject examine_asent,
SubLObject examine_sense,
SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
forward_module(SubLObject name,
SubLObject plist)
Declare forward module NAME with property list PLIST. |
static SubLObject |
forward_negationinverse_required(SubLObject asent)
|
static SubLObject |
forward_negationpreds_required(SubLObject asent)
|
static SubLObject |
forward_normal_pos_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
|
static SubLObject |
forward_normal_pos_expand(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_normal_pos_rule_filter(SubLObject asent,
SubLObject rule)
|
static SubLObject |
forward_normal_pos_rule_select(SubLObject asent)
|
static SubLObject |
forward_symmetric_pos_rule_select(SubLObject asent)
|
static SubLObject |
forward_tactic_specs(SubLObject source_asent,
SubLObject source_sense,
SubLObject propagation_mt)
|
static SubLObject |
forward_unbound_pred_pos_required(SubLObject asent)
|
static SubLObject |
init_forward_modules_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_forward_modules_file()
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$kw0$FORWARD
public static final SubLSymbol $kw0$FORWARD
$list1
public static final SubLList $list1
$list2
public static final SubLList $list2
$kw3$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw3$ALLOW_OTHER_KEYS
$kw4$DONE
public static final SubLSymbol $kw4$DONE
$sym5$DO_LIST
public static final SubLSymbol $sym5$DO_LIST
$list6
public static final SubLList $list6
$sym7$DO_FORWARD_MODULES_LIST
public static final SubLSymbol $sym7$DO_FORWARD_MODULES_LIST
$sym8$DO_FORWARD_MODULES
public static final SubLSymbol $sym8$DO_FORWARD_MODULES
$kw9$ALL
public static final SubLSymbol $kw9$ALL
$kw10$NEG
public static final SubLSymbol $kw10$NEG
$kw11$RULE
public static final SubLSymbol $kw11$RULE
$kw12$POS
public static final SubLSymbol $kw12$POS
$kw13$FORWARD_NORMAL_POS
public static final SubLSymbol $kw13$FORWARD_NORMAL_POS
$list14
public static final SubLList $list14
$kw15$FORWARD_NORMAL_NEG
public static final SubLSymbol $kw15$FORWARD_NORMAL_NEG
$list16
public static final SubLList $list16
$kw17$FORWARD_ISA
public static final SubLSymbol $kw17$FORWARD_ISA
$list18
public static final SubLList $list18
$const19$isa
public static final SubLObject $const19$isa
$kw20$GENLS
public static final SubLSymbol $kw20$GENLS
$const21$genls
public static final SubLObject $const21$genls
$sym22$FORWARD_INFERENCE_ALL_GENLS
public static final SubLSymbol $sym22$FORWARD_INFERENCE_ALL_GENLS
$kw23$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw23$_MEMOIZED_ITEM_NOT_FOUND_
$kw24$FORWARD_NOT_ISA
public static final SubLSymbol $kw24$FORWARD_NOT_ISA
$list25
public static final SubLList $list25
$kw26$FORWARD_QUOTED_ISA
public static final SubLSymbol $kw26$FORWARD_QUOTED_ISA
$list27
public static final SubLList $list27
$const28$quotedIsa
public static final SubLObject $const28$quotedIsa
$kw29$FORWARD_NOT_QUOTED_ISA
public static final SubLSymbol $kw29$FORWARD_NOT_QUOTED_ISA
$list30
public static final SubLList $list30
$kw31$FORWARD_GENLS
public static final SubLSymbol $kw31$FORWARD_GENLS
$list32
public static final SubLList $list32
$kw33$FORWARD_NOT_GENLS
public static final SubLSymbol $kw33$FORWARD_NOT_GENLS
$list34
public static final SubLList $list34
$kw35$FORWARD_GENLMT
public static final SubLSymbol $kw35$FORWARD_GENLMT
$list36
public static final SubLList $list36
$const37$genlMt
public static final SubLObject $const37$genlMt
$kw38$GENLMT
public static final SubLSymbol $kw38$GENLMT
$kw39$FORWARD_NOT_GENLMT
public static final SubLSymbol $kw39$FORWARD_NOT_GENLMT
$list40
public static final SubLList $list40
$kw41$FORWARD_SYMMETRIC_POS
public static final SubLSymbol $kw41$FORWARD_SYMMETRIC_POS
$list42
public static final SubLList $list42
$kw43$ISA
public static final SubLSymbol $kw43$ISA
$list44
public static final SubLList $list44
$kw45$FORWARD_SYMMETRIC_NEG
public static final SubLSymbol $kw45$FORWARD_SYMMETRIC_NEG
$list46
public static final SubLList $list46
$kw47$FORWARD_ASYMMETRIC
public static final SubLSymbol $kw47$FORWARD_ASYMMETRIC
$list48
public static final SubLList $list48
$list49
public static final SubLList $list49
$list50
public static final SubLList $list50
$kw51$FORWARD_COMMUTATIVE_POS
public static final SubLSymbol $kw51$FORWARD_COMMUTATIVE_POS
$list52
public static final SubLList $list52
$list53
public static final SubLList $list53
$list54
public static final SubLList $list54
$kw55$FORWARD_COMMUTATIVE_NEG
public static final SubLSymbol $kw55$FORWARD_COMMUTATIVE_NEG
$list56
public static final SubLList $list56
$kw57$FORWARD_GENLPREDS_GAF
public static final SubLSymbol $kw57$FORWARD_GENLPREDS_GAF
$list58
public static final SubLList $list58
$const59$genlPreds
public static final SubLObject $const59$genlPreds
$const60$genlInverse
public static final SubLObject $const60$genlInverse
$kw61$GENLPREDS
public static final SubLSymbol $kw61$GENLPREDS
$kw62$FORWARD_NOT_GENLPREDS_GAF
public static final SubLSymbol $kw62$FORWARD_NOT_GENLPREDS_GAF
$list63
public static final SubLList $list63
$kw64$FORWARD_GENLPREDS_POS
public static final SubLSymbol $kw64$FORWARD_GENLPREDS_POS
$list65
public static final SubLList $list65
$kw66$FORWARD_GENLINVERSE_GAF
public static final SubLSymbol $kw66$FORWARD_GENLINVERSE_GAF
$list67
public static final SubLList $list67
$kw68$FORWARD_NOT_GENLINVERSE_GAF
public static final SubLSymbol $kw68$FORWARD_NOT_GENLINVERSE_GAF
$list69
public static final SubLList $list69
$kw70$FORWARD_GENLINVERSE_POS
public static final SubLSymbol $kw70$FORWARD_GENLINVERSE_POS
$list71
public static final SubLList $list71
$kw72$FORWARD_NEGATIONPREDS
public static final SubLSymbol $kw72$FORWARD_NEGATIONPREDS
$list73
public static final SubLList $list73
$list74
public static final SubLList $list74
$kw75$NEGATIONPREDS
public static final SubLSymbol $kw75$NEGATIONPREDS
$const76$negationPreds
public static final SubLObject $const76$negationPreds
$kw77$FORWARD_NEGATIONINVERSE
public static final SubLSymbol $kw77$FORWARD_NEGATIONINVERSE
$list78
public static final SubLList $list78
$list79
public static final SubLList $list79
$const80$negationInverse
public static final SubLObject $const80$negationInverse
$kw81$FORWARD_EVAL_POS
public static final SubLSymbol $kw81$FORWARD_EVAL_POS
$list82
public static final SubLList $list82
$list83
public static final SubLList $list83
$kw84$FORWARD_EVAL_NEG
public static final SubLSymbol $kw84$FORWARD_EVAL_NEG
$list85
public static final SubLList $list85
$kw86$FORWARD_TERM_OF_UNIT
public static final SubLSymbol $kw86$FORWARD_TERM_OF_UNIT
$list87
public static final SubLList $list87
$const88$termOfUnit
public static final SubLObject $const88$termOfUnit
$kw89$FORWARD_NAT_FUNCTION
public static final SubLSymbol $kw89$FORWARD_NAT_FUNCTION
$list90
public static final SubLList $list90
$const91$natFunction
public static final SubLObject $const91$natFunction
$kw92$FORWARD_UNBOUND_PRED_POS
public static final SubLSymbol $kw92$FORWARD_UNBOUND_PRED_POS
$list93
public static final SubLList $list93
$kw94$FORWARD_UNBOUND_PRED_NEG
public static final SubLSymbol $kw94$FORWARD_UNBOUND_PRED_NEG
$list95
public static final SubLList $list95
$kw96$FORWARD_IST_POS
public static final SubLSymbol $kw96$FORWARD_IST_POS
$list97
public static final SubLList $list97
$const98$ist
public static final SubLObject $const98$ist
$kw99$FORWARD_IST_NEG
public static final SubLSymbol $kw99$FORWARD_IST_NEG
$list100
public static final SubLList $list100
forward_modules
public forward_modules()
forward_module
public static final SubLObject forward_module(SubLObject name,
SubLObject plist)
- Declare forward module NAME with property list PLIST.
do_forward_modules_list
public static final SubLObject do_forward_modules_list()
forward_module_callback
public static final SubLObject forward_module_callback(SubLObject trigger_asent,
SubLObject trigger_sense,
SubLObject examine_asent,
SubLObject examine_sense,
SubLObject rule,
SubLObject trigger_supports)
forward_tactic_specs
public static final SubLObject forward_tactic_specs(SubLObject source_asent,
SubLObject source_sense,
SubLObject propagation_mt)
- Parameters:
SOURCE-ASENT - ; an atomic sentenceSOUCE-SENSE - ; sense-p, the sense of SOURCE-ASENTPROPAGATION-MT - ; the mt in which forward expansions are to be done
- Returns:
- A list of tuples of the form
(EXPANDED-ASENT EXPANDED-SOURCE &optional ADDITIONAL-SUPPORTS)
where :
EXPANDED-ASENT is an atomic sentence
EXPANDED-SENSE ; sense-p, the sense of EXPANDED-ASENT
ADDITIONAL-SUPPORTS ; a list of support-p justifying why :
SOURCE-ASENT & SOURCE-SENSE => EXPANDED-ASENT & EXPANDED-SENSE
forward_hl_modules
public static final SubLObject forward_hl_modules(SubLObject asent,
SubLObject sense)
- Determine the HL modules which could be used to forward expand ASENT with SENSE
forward_hl_module_apply
public static final SubLObject forward_hl_module_apply(SubLObject forward_hl_module,
SubLObject source_asent)
forward_hl_module_rule_select
public static final SubLObject forward_hl_module_rule_select(SubLObject forward_hl_module,
SubLObject source_asent)
forward_hl_module_rule_filter
public static final SubLObject forward_hl_module_rule_filter(SubLObject forward_hl_module,
SubLObject source_asent,
SubLObject rules)
forward_hl_module_expand
public static final SubLObject forward_hl_module_expand(SubLObject forward_hl_module,
SubLObject source_asent,
SubLObject rules)
all_antecedent_predicate_forward_rules
public static final SubLObject all_antecedent_predicate_forward_rules(SubLObject pred)
all_ist_predicate_forward_rules
public static final SubLObject all_ist_predicate_forward_rules(SubLObject pred)
forward_normal_pos_rule_select
public static final SubLObject forward_normal_pos_rule_select(SubLObject asent)
forward_normal_pos_rule_filter
public static final SubLObject forward_normal_pos_rule_filter(SubLObject asent,
SubLObject rule)
forward_normal_pos_expand
public static final SubLObject forward_normal_pos_expand(SubLObject asent,
SubLObject rule)
forward_normal_pos_expand_int
public static final SubLObject forward_normal_pos_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
forward_isa_rule_select
public static final SubLObject forward_isa_rule_select(SubLObject asent)
forward_isa_rule_filter
public static final SubLObject forward_isa_rule_filter(SubLObject asent,
SubLObject rule)
forward_isa_expand
public static final SubLObject forward_isa_expand(SubLObject asent,
SubLObject rule)
forward_isa_expand_int
public static final SubLObject forward_isa_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
forward_inference_genlP
public static final SubLObject forward_inference_genlP(SubLObject source_col,
SubLObject rule_col)
forward_inference_all_genls_internal
public static final SubLObject forward_inference_all_genls_internal(SubLObject col)
forward_inference_all_genls
public static final SubLObject forward_inference_all_genls(SubLObject col)
forward_genls_rule_select
public static final SubLObject forward_genls_rule_select(SubLObject asent)
forward_genls_expand
public static final SubLObject forward_genls_expand(SubLObject asent,
SubLObject rule)
forward_genls_expand_int
public static final SubLObject forward_genls_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
forward_genlmt_rule_select
public static final SubLObject forward_genlmt_rule_select(SubLObject asent)
forward_genlmt_rule_filter
public static final SubLObject forward_genlmt_rule_filter(SubLObject asent,
SubLObject rule)
forward_genlmt_expand_int
public static final SubLObject forward_genlmt_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
forward_symmetric_pos_rule_select
public static final SubLObject forward_symmetric_pos_rule_select(SubLObject asent)
forward_asymmetric_required
public static final SubLObject forward_asymmetric_required(SubLObject asent)
forward_genlpreds_pos_rule_select
public static final SubLObject forward_genlpreds_pos_rule_select(SubLObject asent)
forward_genlpreds_pos_expand
public static final SubLObject forward_genlpreds_pos_expand(SubLObject asent,
SubLObject rule)
forward_genlpreds_pos_expand_int
public static final SubLObject forward_genlpreds_pos_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
forward_genlinverse_gaf_rule_select
public static final SubLObject forward_genlinverse_gaf_rule_select(SubLObject asent)
forward_genlinverse_pos_rule_select
public static final SubLObject forward_genlinverse_pos_rule_select(SubLObject asent)
forward_negationpreds_required
public static final SubLObject forward_negationpreds_required(SubLObject asent)
forward_negationinverse_required
public static final SubLObject forward_negationinverse_required(SubLObject asent)
forward_eval_exclusive_pos
public static final SubLObject forward_eval_exclusive_pos(SubLObject asent)
forward_unbound_pred_pos_required
public static final SubLObject forward_unbound_pred_pos_required(SubLObject asent)
forward_ist_pos_rule_select
public static final SubLObject forward_ist_pos_rule_select(SubLObject asent)
forward_ist_pos_rule_filter
public static final SubLObject forward_ist_pos_rule_filter(SubLObject asent,
SubLObject rule)
forward_ist_pos_expand_int
public static final SubLObject forward_ist_pos_expand_int(SubLObject asent,
SubLObject rule,
SubLObject booleanP)
declare_forward_modules_file
public static final SubLObject declare_forward_modules_file()
init_forward_modules_file
public static final SubLObject init_forward_modules_file()
setup_forward_modules_file
public static final SubLObject setup_forward_modules_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.