Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Class EqualityReplacer

java.lang.Object
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.EqualityReplacer
All Implemented Interfaces:
LogicProcess, SchemaTransformationProcess
public class EqualityReplacer extends LogicSchemaTransformationProcess
This class is responsible for removing, when it is possible, the equality built-in literals from the body of a normal clause and apply a substitution that corresponds to such built-in literals.

E.g.: :- P(x), x = 1 will be transformed into: :- P(1)

However, a case such as: :- P(x), x = 1, x = 2 will not be transformed.

  • Constructor Details

    • EqualityReplacer

      public EqualityReplacer()

  • Method Details

    • executeTransformation

      public SchemaTransformation executeTransformation(LogicSchema logicSchema)
      Parameters:
      logicSchema - not null
      Returns:
      a schemaTransformation