jtp.disp
Interface RelationBasedBCReasoner

All Superinterfaces:

Reasoner, RelationBasedReasoner

All Known Implementing Classes:

AbstractRelationBasedBCReasoner

public interface RelationBasedBCReasoner

extends RelationBasedReasoner

This interface represents backward-chaining reasoners whose goals are literals that can be dispatched based on their relation symbols, polarities and arities. The interface shares signature with RelationBasedFCReasoner. They both inherit their methods from the base interface RelationBasedReasoner.

Field Summary

Fields inherited from interface jtp.disp.RelationBasedReasoner

ANY_ARITY, BOTH, NEGATIVE, POSITIVE

Methods inherited from interface jtp.disp.RelationBasedReasoner

getArity, getPolarity, getRelation

Methods inherited from interface jtp.Reasoner

acceptable, process