Метод | Описание | |
---|---|---|
Demodulation ( ) : System | ||
apply ( |
||
apply ( |
||
isValidMatch ( Term toMatch, List |
public apply ( |
||
assertion | ||
expression | AtomicSentence | |
Результат | AtomicSentence |
public apply ( |
||
assertion | ||
clExpression | Clause | |
Результат | Clause |
public isValidMatch ( Term toMatch, List |
||
toMatch | Term | |
toMatchVariables | List |
|
possibleMatch | Term | |
substitution | Term>.Dictionary | |
Результат | bool |