Home | Trees | Indices | Help |
|
---|
|
object --+ | list --+ | Clause
|
|||
new list |
|
||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
Inherited from Inherited from |
|
|||
Inherited from |
|
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
|
Attempt to unify this Clause with the other, returning a list of resulting, unified, Clauses.
|
Return True iff every term in 'self' is a term in 'other'.
|
Return True iff 'self' subsumes 'other', this is, if there is a substitution such that every term in 'self' can be unified with a term in 'other'.
|
x[i:j] Use of negative indices is not supported.
|
x+y
|
Self is a tautology if it contains ground terms P and -P. The ground term, P, must be an exact match, ie, not using unification. |
Replace every instance of variable with expression across every atom in the clause
|
Replace every binding
|
str(x)
|
repr(x)
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:55 2008 | http://epydoc.sourceforge.net |