com.cyc.cycjava.cycl
Class bindings

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class bindings
extends SubLTranslatedFile

Nested Class Summary

static class	bindings.$binding_p$UnaryFunction
static class	bindings.$inference_binding_p$UnaryFunction
static class	bindings.$subst_bindings$BinaryFunction
static class	bindings.$variable_binding_value$UnaryFunction
static class	bindings.$variable_binding_variable$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const12$ELInferenceBindingFn
static SubLObject	$const35$TheSet
static SubLSymbol	$kw3$_MEMOIZED_ITEM_NOT_FOUND_
static SubLList	$list18
static SubLList	$list21
static SubLList	$list23
static SubLList	$list29
static SubLList	$list6
static SubLString	$str22$Incomplete_variable_map__a_applie
static SubLString	$str34$Some_element_of__A_is_not_a_KB_BI
static SubLString	$str36$Some_element_of__A_is_not_a_KB_BI
static SubLSymbol	$sym0$HL_IDENTITY_BINDING
static SubLSymbol	$sym1$NON_NEGATIVE_INTEGER_P
static SubLSymbol	$sym10$INFERENCE_BINDING_P
static SubLSymbol	$sym11$INFERENCE_BINDING_SET_P
static SubLSymbol	$sym13$KB_BINDING_P
static SubLSymbol	$sym14$KB_BINDING_SET_P
static SubLSymbol	$sym15$BINDINGS_EQUAL_
static SubLSymbol	$sym16$VARIABLE_BINDING_VARIABLE
static SubLSymbol	$sym17$VARIABLE_BINDING_VALUE
static SubLSymbol	$sym19$BINDINGS_P
static SubLSymbol	$sym2$_HL_IDENTITY_BINDING_CACHING_STATE_
static SubLSymbol	$sym20$VARIABLE_MAP_P
static SubLSymbol	$sym24$FULLY_BOUND_P
static SubLSymbol	$sym25$_DUMMY_BINDING_
static SubLSymbol	$sym26$LISTP
static SubLSymbol	$sym27$KB_SET_OF_BINDING_SETS_P
static SubLSymbol	$sym28$INFERENCE_SET_OF_BINDING_SETS_P
static SubLSymbol	$sym30$KB_BINDING_VARIABLE
static SubLSymbol	$sym31$KB_BINDING_VALUE
static SubLSymbol	$sym32$EL_VAR_
static SubLSymbol	$sym33$KB_BINDING_SET_VALUES
static SubLSymbol	$sym4$HL_IDENTITY_BINDINGS
static SubLSymbol	$sym5$_HL_IDENTITY_BINDINGS_CACHING_STATE_
static SubLSymbol	$sym7$BINDING_P
static SubLSymbol	$sym8$BINDING_LIST_P
static SubLSymbol	$sym9$VARIABLE_TO_VARIABLE_BINDING_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	add_variable_binding(SubLObject variable, SubLObject value, SubLObject v_bindings) Add a new (VARIABLE .
static SubLObject	apply_bindings_backwards(SubLObject v_bindings, SubLObject tree)
static SubLObject	apply_bindings_to_values(SubLObject bindings_to_apply, SubLObject target_bindings)
static SubLObject	apply_bindings(SubLObject v_bindings, SubLObject tree)
static SubLObject	binding_list_p(SubLObject object)
static SubLObject	binding_p(SubLObject object)
static SubLObject	bindings_equalP(SubLObject bindings_1, SubLObject bindings_2) Return T iff the binding lists BINDINGS-1 and BINDINGS-2 are equivalent
static SubLObject	bindings_to_closed(SubLObject v_bindings) All bindings in BINDINGS that bind a variable to a fully bound value.
static SubLObject	compose_bindings_filtered(SubLObject a_to_b_variable_map, SubLObject b_to_c_bindings)
static SubLObject	compose_bindings_int(SubLObject a_to_b_variable_map, SubLObject b_to_c_bindings, SubLObject error_if_incompleteP)
static SubLObject	compose_bindings(SubLObject a_to_b_variable_map, SubLObject b_to_c_bindings)
static SubLObject	declare_bindings_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	filter_bindings_by_variables(SubLObject v_bindings, SubLObject variable_keep_list) Filters out bindings from BINDINGS whose variables are not members of VARIABLE-KEEP-LIST.
static SubLObject	get_value_binding(SubLObject value, SubLObject v_bindings, SubLObject test) Return the variable-binding which binds something to VALUE, or NIL if none.
static SubLObject	get_variable_binding(SubLObject variable, SubLObject v_bindings) Return the variable-binding for VARIABLE in BINDINGS, or NIL if none.
static SubLObject	hl_identity_bindings_internal(SubLObject n) Return bindings of the form ((?varN-1 .
static SubLObject	hl_identity_bindings(SubLObject n)
static SubLObject	inference_binding_p(SubLObject object) True if OBJECT is of the form ( .
static SubLObject	inference_simplify_unification_bindings(SubLObject v_bindings)
static SubLObject	init_bindings_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	invert_bindings(SubLObject v_bindings)
static SubLObject	kb_binding_p(SubLObject object) True if OBJECT is of the form (#$ELInferenceBindingFn )
static SubLObject	kb_binding_set_p(SubLObject object) True if OBJECT is of the form (#$TheSet [])
static SubLObject	make_kb_binding_set(SubLObject v_bindings)
static SubLObject	make_kb_binding(SubLObject variable, SubLObject value)
static SubLObject	make_kb_set_of_binding_sets(SubLObject binding_sets)
static SubLObject	make_variable_binding(SubLObject variable, SubLObject value)
static SubLObject	napply_bindings_backwards_to_list(SubLObject v_bindings, SubLObject list) Like @xref napply-bindings-backwards that assumes a proper list rather than an arbitrary tree.
static SubLObject	napply_bindings(SubLObject v_bindings, SubLObject tree) A destructive version of @xref apply-bindings.
static SubLObject	possibly_optimize_bindings_wrt_equivalence(SubLObject old_bindings)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_bindings_file()
static SubLObject	stable_sort_bindings(SubLObject v_bindings, SubLObject v_variables) Sort BINDINGS via the variable order in VARIABLES
static SubLObject	subst_bindings(SubLObject v_bindings, SubLObject object) Substitute the value of variables in bindings into object, taking recursively bound variables into account.
static SubLObject	transfer_variable_map_to_bindings_filtered(SubLObject a_to_b_variable_map, SubLObject a_to_c_bindings)
static SubLObject	transfer_variable_map_to_bindings_int(SubLObject a_to_b_variable_map, SubLObject a_to_c_bindings, SubLObject error_if_incompleteP)
static SubLObject	transfer_variable_map_to_bindings(SubLObject a_to_b_variable_map, SubLObject a_to_c_bindings)
static SubLObject	unification_success_token_p(SubLObject v_bindings) Return T iff BINDINGS are a token indicating unification success without any substitution required.
static SubLObject	unification_success_token() Return a token indicating successful unification without any substitution required.
static SubLObject	variable_binding_value(SubLObject binding) Get the value part of a single binding.
static SubLObject	variable_binding_variable(SubLObject binding) Get the value part of a single binding.
static SubLObject	variable_bound_p(SubLObject variable, SubLObject v_bindings) Return T iff VARIABLE has some associated value in BINDINGS

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

public static final SubLSymbol $sym0$HL_IDENTITY_BINDING

$sym1$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym1$NON_NEGATIVE_INTEGER_P

$sym2$_HL_IDENTITY_BINDING_CACHING_STATE_

public static final SubLSymbol $sym2$_HL_IDENTITY_BINDING_CACHING_STATE_

$kw3$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw3$_MEMOIZED_ITEM_NOT_FOUND_

$sym4$HL_IDENTITY_BINDINGS

public static final SubLSymbol $sym4$HL_IDENTITY_BINDINGS

$sym5$_HL_IDENTITY_BINDINGS_CACHING_STATE_

public static final SubLSymbol $sym5$_HL_IDENTITY_BINDINGS_CACHING_STATE_

$list6

public static final SubLList $list6

$sym7$BINDING_P

public static final SubLSymbol $sym7$BINDING_P

$sym8$BINDING_LIST_P

public static final SubLSymbol $sym8$BINDING_LIST_P

$sym9$VARIABLE_TO_VARIABLE_BINDING_P

public static final SubLSymbol $sym9$VARIABLE_TO_VARIABLE_BINDING_P

$sym10$INFERENCE_BINDING_P

public static final SubLSymbol $sym10$INFERENCE_BINDING_P

$sym11$INFERENCE_BINDING_SET_P

public static final SubLSymbol $sym11$INFERENCE_BINDING_SET_P

$const12$ELInferenceBindingFn

public static final SubLObject $const12$ELInferenceBindingFn

$sym13$KB_BINDING_P

public static final SubLSymbol $sym13$KB_BINDING_P

$sym14$KB_BINDING_SET_P

public static final SubLSymbol $sym14$KB_BINDING_SET_P

$sym15$BINDINGS_EQUAL_

public static final SubLSymbol $sym15$BINDINGS_EQUAL_

$sym16$VARIABLE_BINDING_VARIABLE

public static final SubLSymbol $sym16$VARIABLE_BINDING_VARIABLE

$sym17$VARIABLE_BINDING_VALUE

public static final SubLSymbol $sym17$VARIABLE_BINDING_VALUE

$list18

public static final SubLList $list18

$sym19$BINDINGS_P

public static final SubLSymbol $sym19$BINDINGS_P

$sym20$VARIABLE_MAP_P

public static final SubLSymbol $sym20$VARIABLE_MAP_P

$list21

public static final SubLList $list21

$str22$Incomplete_variable_map__a_applie

public static final SubLString $str22$Incomplete_variable_map__a_applie

$list23

public static final SubLList $list23

$sym24$FULLY_BOUND_P

public static final SubLSymbol $sym24$FULLY_BOUND_P

$sym25$_DUMMY_BINDING_

public static final SubLSymbol $sym25$_DUMMY_BINDING_

$sym26$LISTP

public static final SubLSymbol $sym26$LISTP

$sym27$KB_SET_OF_BINDING_SETS_P

public static final SubLSymbol $sym27$KB_SET_OF_BINDING_SETS_P

$sym28$INFERENCE_SET_OF_BINDING_SETS_P

public static final SubLSymbol $sym28$INFERENCE_SET_OF_BINDING_SETS_P

$list29

public static final SubLList $list29

$sym30$KB_BINDING_VARIABLE

public static final SubLSymbol $sym30$KB_BINDING_VARIABLE

$sym31$KB_BINDING_VALUE

public static final SubLSymbol $sym31$KB_BINDING_VALUE

$sym32$EL_VAR_

public static final SubLSymbol $sym32$EL_VAR_

$sym33$KB_BINDING_SET_VALUES

public static final SubLSymbol $sym33$KB_BINDING_SET_VALUES

$str34$Some_element_of__A_is_not_a_KB_BI

public static final SubLString $str34$Some_element_of__A_is_not_a_KB_BI

$const35$TheSet

public static final SubLObject $const35$TheSet

$str36$Some_element_of__A_is_not_a_KB_BI

public static final SubLString $str36$Some_element_of__A_is_not_a_KB_BI

Method Detail

hl_identity_bindings_internal

public static final SubLObject hl_identity_bindings_internal(SubLObject n)

Return bindings of the form ((?varN-1 . ?varN-1) ... (?var0 . ?var0))

hl_identity_bindings

public static final SubLObject hl_identity_bindings(SubLObject n)

binding_p

public static final SubLObject binding_p(SubLObject object)

binding_list_p

public static final SubLObject binding_list_p(SubLObject object)

Returns:

boolean; t iff OBJECT is a binding list

inference_binding_p

public static final SubLObject inference_binding_p(SubLObject object)

True if OBJECT is of the form ( . ).

kb_binding_p

public static final SubLObject kb_binding_p(SubLObject object)

True if OBJECT is of the form (#$ELInferenceBindingFn )

kb_binding_set_p

public static final SubLObject kb_binding_set_p(SubLObject object)

True if OBJECT is of the form (#$TheSet [])

subst_bindings

public static final SubLObject subst_bindings(SubLObject v_bindings,
                                              SubLObject object)

Substitute the value of variables in bindings into object, taking recursively bound variables into account.

bindings_equalP

public static final SubLObject bindings_equalP(SubLObject bindings_1,
                                               SubLObject bindings_2)

Return T iff the binding lists BINDINGS-1 and BINDINGS-2 are equivalent

variable_bound_p

public static final SubLObject variable_bound_p(SubLObject variable,
                                                SubLObject v_bindings)

Return T iff VARIABLE has some associated value in BINDINGS

add_variable_binding

public static final SubLObject add_variable_binding(SubLObject variable,
                                                    SubLObject value,
                                                    SubLObject v_bindings)

Add a new (VARIABLE . VALUE) variable-binding to BINDINGS

make_variable_binding

public static final SubLObject make_variable_binding(SubLObject variable,
                                                     SubLObject value)

variable_binding_variable

public static final SubLObject variable_binding_variable(SubLObject binding)

Get the value part of a single binding.

variable_binding_value

public static final SubLObject variable_binding_value(SubLObject binding)

Get the value part of a single binding.

get_variable_binding

public static final SubLObject get_variable_binding(SubLObject variable,
                                                    SubLObject v_bindings)

Return the variable-binding for VARIABLE in BINDINGS, or NIL if none.

get_value_binding

public static final SubLObject get_value_binding(SubLObject value,
                                                 SubLObject v_bindings,
                                                 SubLObject test)

Return the variable-binding which binds something to VALUE, or NIL if none. Assumes there is a unique one.

apply_bindings

public static final SubLObject apply_bindings(SubLObject v_bindings,
                                              SubLObject tree)

Parameters:

BINDINGS; - A -> B

Returns:

a modified version of TREE with all elements of A replaced by corresponding elements of B

apply_bindings_to_values

public static final SubLObject apply_bindings_to_values(SubLObject bindings_to_apply,
                                                        SubLObject target_bindings)

Parameters:

BINDINGS-TO-APPLY - ; A -> B

Returns:

a modified version of TARGET-BINDINGS with all elements of A in the values (cdrs) replaced by corresponding elements of B.

apply_bindings_backwards

public static final SubLObject apply_bindings_backwards(SubLObject v_bindings,
                                                        SubLObject tree)

Parameters:

BINDINGS; - A -> B

Returns:

a modified version of TREE with all elements of B replaced by corresponding elements of A

napply_bindings

public static final SubLObject napply_bindings(SubLObject v_bindings,
                                               SubLObject tree)

A destructive version of @xref apply-bindings.

napply_bindings_backwards_to_list

public static final SubLObject napply_bindings_backwards_to_list(SubLObject v_bindings,
                                                                 SubLObject list)

Like @xref napply-bindings-backwards that assumes a proper list rather than an arbitrary tree.

transfer_variable_map_to_bindings

public static final SubLObject transfer_variable_map_to_bindings(SubLObject a_to_b_variable_map,
                                                                 SubLObject a_to_c_bindings)

Parameters:

A-TO-B-VARIABLE-MAP; - A -> B

A-TO-C-BINDINGS; - A -> C

Returns:

binding-list-p; B -> C Errors if A-TO-B-VARIABLE-MAP does not contain bindings for all As.

transfer_variable_map_to_bindings_filtered

public static final SubLObject transfer_variable_map_to_bindings_filtered(SubLObject a_to_b_variable_map,
                                                                          SubLObject a_to_c_bindings)

Parameters:

A-TO-B-VARIABLE-MAP; - A -> B

A-TO-C-BINDINGS; - A -> C

Returns:

binding-list-p; B -> C Filters out bindings for which there is no binding to B in A-TO-B-VARIABLE-MAP.

transfer_variable_map_to_bindings_int

public static final SubLObject transfer_variable_map_to_bindings_int(SubLObject a_to_b_variable_map,
                                                                     SubLObject a_to_c_bindings,
                                                                     SubLObject error_if_incompleteP)

compose_bindings

public static final SubLObject compose_bindings(SubLObject a_to_b_variable_map,
                                                SubLObject b_to_c_bindings)

Parameters:

A-TO-B-VARIABLE-MAP; - A -> B

B-TO-C-BINDINGS; - B -> C

Returns:

binding-list-p; A -> C Errors if A-TO-B-VARIABLE-MAP does not contain bindings for all Bs.

compose_bindings_filtered

public static final SubLObject compose_bindings_filtered(SubLObject a_to_b_variable_map,
                                                         SubLObject b_to_c_bindings)

Parameters:

A-TO-B-VARIABLE-MAP; - A -> B

B-TO-C-BINDINGS; - B -> C

Returns:

binding-list-p; A -> C Filters out bindings for which there is no binding to B in A-TO-B-VARIABLE-MAP.

compose_bindings_int

public static final SubLObject compose_bindings_int(SubLObject a_to_b_variable_map,
                                                    SubLObject b_to_c_bindings,
                                                    SubLObject error_if_incompleteP)

invert_bindings

public static final SubLObject invert_bindings(SubLObject v_bindings)

Parameters:

BINDINGS; - A -> B

Returns:

binding-list-p; B -> A

filter_bindings_by_variables

public static final SubLObject filter_bindings_by_variables(SubLObject v_bindings,
                                                            SubLObject variable_keep_list)

Filters out bindings from BINDINGS whose variables are not members of VARIABLE-KEEP-LIST.

inference_simplify_unification_bindings

public static final SubLObject inference_simplify_unification_bindings(SubLObject v_bindings)

possibly_optimize_bindings_wrt_equivalence

public static final SubLObject possibly_optimize_bindings_wrt_equivalence(SubLObject old_bindings)

bindings_to_closed

public static final SubLObject bindings_to_closed(SubLObject v_bindings)

All bindings in BINDINGS that bind a variable to a fully bound value.

stable_sort_bindings

public static final SubLObject stable_sort_bindings(SubLObject v_bindings,
                                                    SubLObject v_variables)

Sort BINDINGS via the variable order in VARIABLES

unification_success_token

public static final SubLObject unification_success_token()

Return a token indicating successful unification without any substitution required.

unification_success_token_p

public static final SubLObject unification_success_token_p(SubLObject v_bindings)

Return T iff BINDINGS are a token indicating unification success without any substitution required.

make_kb_binding

public static final SubLObject make_kb_binding(SubLObject variable,
                                               SubLObject value)

Returns:

a kb-binding-p, denoting a binding of VARIABLE to VALUE.

make_kb_binding_set

public static final SubLObject make_kb_binding_set(SubLObject v_bindings)

Returns:

a kb-binding-set-p, consisting of BINDINGS.

make_kb_set_of_binding_sets

public static final SubLObject make_kb_set_of_binding_sets(SubLObject binding_sets)

Returns:

a kb-set-of-binding-sets-p, consisting of BINDING-SETS

declare_bindings_file

public static final SubLObject declare_bindings_file()

init_bindings_file

public static final SubLObject init_bindings_file()

setup_bindings_file

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