org.deri.iris.rules.compiler

Interfaces  ICompiledRule

Classes  Builtin BuiltinForConstructedTermArguments CompiledRule Differ EquivalenceResolver FirstSubgoal HeadSubstituter RuleCompiler RuleElement RuleHeadEqualitySubstituter Utils View