Packages

package logic

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

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.

Value Members

  1. object Formula
  2. object Logic

Ungrouped