Interface Rule

All Superinterfaces:
Relation
All Known Implementing Classes:
ARule

public interface Rule
extends Relation
A more complicated Relation that has sub-rules (RuleInvocations) on the right-hand-side (rhs()).
  • Method Summary

    Modifier and Type Method Description
    List<RuleInvocation> rhs()
    The sub-rules or sub-clauses that make up the right-hand side of a Relation

    Methods inherited from interface edu.unc.cs.comp524.parsers.prolog.Relation

    args, arity, comment, name