Constraint

enum ConstraintSource

case Constraint(HeadPredicate, Vector[BodyPredicate])

Represents a Datalog fact or rule, consisting of a head predicate and a body.

Instances

instance PredSymsOf[Constraint]Source

instance SubstitutePredSym[Constraint]Source

instance ToString[Constraint]Source