Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
-
ClassDescriptionImplementation of a logic Atom.Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()Implementation of a logic built-in literal.Implementation of the logic ComparisonBuiltInLiteral.
Implementation of binary arithmetic comparison operators such as <, or <=.Implementation of a logic constant.Implementation of non-standard built-in literals.Implementation of a logic derivation rule.An immutable list of atomsAn immutable list of literals.An immutable list of termsSet of predicates of a level in some hierarchical databaseThis class implements the definition of hierarchical database as defined in "Basis for Deductive Database Systems" by J.Implementation of the logic literal.Implementation of a logic constraint.This class implements the representation of a logic schema.Mutable implementation of a logic predicate.Utils class for generating new Variables.Implementation of a logic normal clause.Implementation of a logic OrdinaryLiteral.Representation of a logic predicate.A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.Implementation of a logic Term.Implementation of a logic variable.