class

PLN::DeductionRule

Inherits PLN::PLNRule < Reference < Object

Deduction Rule: If A->B and B->C then A->C

Instance methods

applies_to?(premise : AtomSpace::Atom) : Bool
apply(premise : AtomSpace::Atom, atomspace : AtomSpace::AtomSpace) : AtomSpace::Atom | Nil
name