com.cyc.cycjava.cycl
Class unification_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class unification_utilities
extends SubLTranslatedFile

Nested Class Summary

static class

unification_utilities.$unify_clause$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const21$genlMt
static SubLObject	$const23$temporallySubsumes
static SubLObject	$const24$temporallySubsumes_InsType
static SubLObject	$const25$temporallySubsumes_TypeType
static SubLSymbol	$kw18$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw20$GENLMT
static SubLSymbol	$kw22$TIME
static SubLList	$list15
static SubLList	$list7
static SubLSymbol	$sym0$LISTP
static SubLSymbol	$sym1$UNIFY_CLAUSE
static SubLSymbol	$sym10$UNIFY_SETS
static SubLSymbol	$sym11$VARIABLE_P
static SubLSymbol	$sym12$BASE_VARIABLE_P
static SubLSymbol	$sym13$TERM__
static SubLSymbol	$sym14$CAR
static SubLSymbol	$sym16$QUERY_DNF_FROM_FORMULA
static SubLSymbol	$sym17$_QUERY_DNF_FROM_FORMULA_CACHING_STATE_
static SubLSymbol	$sym19$OBJECT_TO_STRING
static SubLSymbol	$sym2$CLAUSE_P
static SubLSymbol	$sym3$UNIFY_CLAUSE_LITERAL
static SubLSymbol	$sym4$CLAUSES_P
static SubLSymbol	$sym5$NON_BASE_VARIABLE_P
static SubLSymbol	$sym6$VARIABLE_BASE_INVERSION_BINDING
static SubLSymbol	$sym8$UNIFY_ELEMENT
static SubLSymbol	$sym9$UNIFY_SET
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	asent_unify(SubLObject asent1, SubLObject asent2, SubLObject share_vars, SubLObject justify)
static SubLObject	declare_unification_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	gaf_asent_args_unify(SubLObject inference_asent, SubLObject gaf_asent, SubLObject share_vars, SubLObject justify)
static SubLObject	gaf_asent_unify(SubLObject inference_asent, SubLObject gaf_asent, SubLObject share_vars, SubLObject justify)
static SubLObject	init_unification_utilities_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_unification_utilities_file()
static SubLObject	term_unify(SubLObject term1, SubLObject term2, SubLObject share_vars, SubLObject justifyP)
static SubLObject	transformation_asent_unify(SubLObject inference_asent, SubLObject rule_asent)

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

public static final SubLSymbol $sym0$LISTP

$sym1$UNIFY_CLAUSE

public static final SubLSymbol $sym1$UNIFY_CLAUSE

$sym2$CLAUSE_P

public static final SubLSymbol $sym2$CLAUSE_P

$sym3$UNIFY_CLAUSE_LITERAL

public static final SubLSymbol $sym3$UNIFY_CLAUSE_LITERAL

$sym4$CLAUSES_P

public static final SubLSymbol $sym4$CLAUSES_P

$sym5$NON_BASE_VARIABLE_P

public static final SubLSymbol $sym5$NON_BASE_VARIABLE_P

$sym6$VARIABLE_BASE_INVERSION_BINDING

public static final SubLSymbol $sym6$VARIABLE_BASE_INVERSION_BINDING

$list7

public static final SubLList $list7

$sym8$UNIFY_ELEMENT

public static final SubLSymbol $sym8$UNIFY_ELEMENT

$sym9$UNIFY_SET

public static final SubLSymbol $sym9$UNIFY_SET

$sym10$UNIFY_SETS

public static final SubLSymbol $sym10$UNIFY_SETS

$sym11$VARIABLE_P

public static final SubLSymbol $sym11$VARIABLE_P

$sym12$BASE_VARIABLE_P

public static final SubLSymbol $sym12$BASE_VARIABLE_P

$sym13$TERM__

public static final SubLSymbol $sym13$TERM__

$sym14$CAR

public static final SubLSymbol $sym14$CAR

$list15

public static final SubLList $list15

$sym16$QUERY_DNF_FROM_FORMULA

public static final SubLSymbol $sym16$QUERY_DNF_FROM_FORMULA

$sym17$_QUERY_DNF_FROM_FORMULA_CACHING_STATE_

public static final SubLSymbol $sym17$_QUERY_DNF_FROM_FORMULA_CACHING_STATE_

$kw18$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw18$_MEMOIZED_ITEM_NOT_FOUND_

$sym19$OBJECT_TO_STRING

public static final SubLSymbol $sym19$OBJECT_TO_STRING

$kw20$GENLMT

public static final SubLSymbol $kw20$GENLMT

$const21$genlMt

public static final SubLObject $const21$genlMt

$kw22$TIME

public static final SubLSymbol $kw22$TIME

$const23$temporallySubsumes

public static final SubLObject $const23$temporallySubsumes

$const24$temporallySubsumes_InsType

public static final SubLObject $const24$temporallySubsumes_InsType

$const25$temporallySubsumes_TypeType

public static final SubLObject $const25$temporallySubsumes_TypeType

Method Detail

term_unify

public static final SubLObject term_unify(SubLObject term1,
                                          SubLObject term2,
                                          SubLObject share_vars,
                                          SubLObject justifyP)

asent_unify

public static final SubLObject asent_unify(SubLObject asent1,
                                           SubLObject asent2,
                                           SubLObject share_vars,
                                           SubLObject justify)

gaf_asent_unify

public static final SubLObject gaf_asent_unify(SubLObject inference_asent,
                                               SubLObject gaf_asent,
                                               SubLObject share_vars,
                                               SubLObject justify)

gaf_asent_args_unify

public static final SubLObject gaf_asent_args_unify(SubLObject inference_asent,
                                                    SubLObject gaf_asent,
                                                    SubLObject share_vars,
                                                    SubLObject justify)

transformation_asent_unify

public static final SubLObject transformation_asent_unify(SubLObject inference_asent,
                                                          SubLObject rule_asent)

declare_unification_utilities_file

public static final SubLObject declare_unification_utilities_file()

init_unification_utilities_file

public static final SubLObject init_unification_utilities_file()

setup_unification_utilities_file

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