Type Members

1.  final case class Atom (label: String) extends Literal with Product with Serializable

   A variable with name label.

2.  final case class Clause (body: Formula, head: Set[Atom]) extends Product with Serializable

   When the body Formula succeeds, atoms in head are true.

3.  final case class Clauses (clauses: List[Clause]) extends Product with Serializable

   Disjunction (or) of the list of clauses.

4.  sealed abstract class Formula extends AnyRef

   A formula consists of variables, negation, and conjunction (and).

   A formula consists of variables, negation, and conjunction (and). (Disjunction is not currently included- it is modeled at the level of a sequence of clauses. This is less convenient when defining clauses, but is not less powerful.)

5.  sealed abstract class Literal extends Formula

   A literal is an Atom or its negation|Negated.

6.  final case class Negated (atom: Atom) extends Literal with Product with Serializable

   A negated atom, in the sense of negation as failure, not logical negation.

   A negated atom, in the sense of negation as failure, not logical negation. That is, it is true if atom is not known/defined.