Package fr.inria.rules.integraal.model.ruleCompilation
package fr.inria.rules.integraal.model.ruleCompilation
-
ClassesClassDescriptionVersion as implemented by Melanie in graal
Compilation for : p(X, Y, ...) -> q(X, Y, ...) - atomic rules (head and body) - no existential variables - no constants - body and head atom have the same arity - body and head atom have exactly the same variables at the same positionDoes not compile anything