public class InferenceRule extends Object
| Constructor and Description |
|---|
InferenceRule(Rule rl,
MindmapsGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
Query |
getBody() |
AtomicQuery |
getHead() |
Atomic |
getRuleConclusionAtom() |
void |
unify(Atomic parentAtom)
make child query consistent by performing variable substitution so that parent variables are propagated
|
public InferenceRule(Rule rl, MindmapsGraph graph)
public Query getBody()
public AtomicQuery getHead()
public Atomic getRuleConclusionAtom()
public void unify(Atomic parentAtom)
parentAtom - parent atom (predicate) being resolved (subgoal)Copyright © 2016. All rights reserved.