메소드 | 설명 | |
---|---|---|
Compare ( object term1, object term2 ) : int |
Compares to prolog terms for purposes of sorting
|
|
CopyInstantiation ( object term ) : object |
Recopy the term to replace bound variables with their values and alpha convert any unbound variables. This has the effect of removing interference between this term and the copy should one or the other have its bindings changed (either through unification or backtracking).
|
|
Deref ( object value ) : object |
Returns value, unless it is a LogicVariable, in which case it returns the variable's value.
|
|
FindUninstantiatedVariable ( object term ) : |
Returns first uninstantiated variable found in term.
|
|
Identical ( object a, object b ) : bool |
True if the two objects are syntactically identical.
|
|
IsGround ( object term ) : bool |
True if term contains no unbound variables
|
|
KeySort ( List |
Sorts arbitrary list of Prolog terms
|
|
KeySortPrologList ( object list, bool deleteDuplicates ) : object | ||
Sort ( List |
Sorts arbitrary list of Prolog terms
|
|
SortPrologList ( object list, bool deleteDuplicates ) : object | ||
ToStringInPrologFormat ( object value ) : string |
Converts an arbitrary object to a string in Prolog format.
|
메소드 | 설명 | |
---|---|---|
AddBinding ( |
||
AlphaConvertArglist ( object argList, List |
Substitutes occurances of newVars for all occurances of oldVars in argList. Returns new array, if substitutions were made, the original array if not. Original array is not modified
|
|
CanonicalizeWithExplicitBindingList ( object value, List |
Perform substitutions from var/values, and dereference any variables
|
|
CompareKeys ( object o1, object o2 ) : int | ||
CopyInstantiation ( object term, LogicVariable>.Dictionary |
||
IsQuoteNeeded ( |
||
MakeFailEnumerator ( ) : IEnumerable |
An iterator that always fails.
|
|
MakeSucceedEnumerator ( ) : IEnumerable |
||
PredicateIndicatorExpression ( Structure term ) : Structure | ||
PredicateIndicatorExpression ( |
||
Structurify ( object term, string errorMessage ) : Structure | ||
ToEnumerator ( bool succeed ) : IEnumerable |
||
TypeNumber ( object term ) : int | ||
Unifiable ( object v1, object v2 ) : bool | ||
Unifiable ( object v1, object v2, List |
Determine if V1 and V2 can be unified, without actually unifying them. If they are unifiable, determine the substitions that would be necessary to unify them.
|
|
Unify ( object v1, object v2 ) : IEnumerable |
||
Unify ( object v1, object v2, |
||
UnifyAndReturnCutState ( object v1, object v2 ) : IEnumerable |
||
UnifyArrays ( object a1, object a2 ) : IEnumerable |
Unifies two arrays of variable length
|
|
UnifyArrays ( object a1, object a2, |
Unifies arrays using trailing
|
|
UnifyArrays0 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays1 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays10 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays2 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays3 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays4 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays5 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays6 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays7 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays8 ( object a1, object a2 ) : IEnumerable |
||
UnifyArrays9 ( object a1, object a2 ) : IEnumerable |
||
UnifyArraysFast ( object a1, object a2, |
||
UnifyWithAtomicConstant ( object value ) : IEnumerable |
||
UnifyWithAtomicConstant ( object value, |
||
UnifyWithStructure ( Structure value ) : IEnumerable |
||
UnifyWithStructure ( Structure value, |
||
UnifyWithTerm ( |
||
UnifyWithTerm ( |
||
Write ( StringBuilder s, object term ) : void | ||
WriteAndPossiblyParenthesize ( StringBuilder s, object o ) : void |
public static Compare ( object term1, object term2 ) : int | ||
term1 | object | |
term2 | object | |
리턴 | int |
public static CopyInstantiation ( object term ) : object | ||
term | object | |
리턴 | object |
public static FindUninstantiatedVariable ( object term ) : |
||
term | object | |
리턴 |
public static Identical ( object a, object b ) : bool | ||
a | object | |
b | object | |
리턴 | bool |
public static KeySortPrologList ( object list, bool deleteDuplicates ) : object | ||
list | object | |
deleteDuplicates | bool | |
리턴 | object |
public static SortPrologList ( object list, bool deleteDuplicates ) : object | ||
list | object | |
deleteDuplicates | bool | |
리턴 | object |
public static ToStringInPrologFormat ( object value ) : string | ||
value | object | |
리턴 | string |