Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec
package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec
-
ClassDescriptionSpecification of a body of a normal clause.Specification of a built-in literal.Specification of a logic constant.Specification of a derivation rule.Specification of a Literal.Specification of a LogicConstraint.Specification of a logic constraint including an ID for it.Specification of a logic constraint with no ID.LogicSchemaSpec<T extends LogicConstraintSpec>Specification of a whole logic schema, that is, a specification of a set of predicates, logic constraints, and derivation rules.Specification of a NormalClause.Specification of an ordinary literal.Specification of a predicate.Specification of a set of conjunctive queries.Specification of a conjunctive query.Specification of a term.Specification of a variable.