Package org.deri.iris.api.basics

Interface Summary

IAtom	An atom (an atomic formula) is a formula that has no subformulas.
ILiteral	A literal (a subgoal) is either an atomic formula or a negated atomic formula:
IPredicate	A predicate is either a relation or the boolean-valued function that amounts to the characteristic function or the indicator function of such a relation.
IQuery	A query is a rule without the head.
IRule	Represents a rule in the program.
ITuple	Represents a tuple.