slang/es.weso.slang/Clingo

Clingo

object Clingo
class Object
trait Matchable
class Any
Clingo.type

Type members

Classlikes

sealed trait Atom extends Product with Serializable
final case class AtomVar(v: Var) extends Atom
final case class Condition(head: Literal, body: List[Literal])
final case class Const(name: String) extends SimpleTerm
final case class Constant(c: Const) extends Atom

Constant atom

Constant atom

Value parameters:
c

constant

final case class Constraint(body: Literal*) extends Statement
final case class Count(condition: Condition, value: Var) extends Literal
final case class Disj(ls: Literal*) extends Head
final case class Fact(head: Literal) extends Statement
final case class Func(name: String, terms: Term*) extends Term
final case class Function(f: Func) extends Atom

Function atom

Function atom

sealed trait Head extends Product with Serializable
final case class IntTerm(n: Int) extends SimpleTerm
final case class LessThan(v1: SimpleTerm, v2: SimpleTerm) extends Literal
final case class LessThanEqual(v1: SimpleTerm, v2: SimpleTerm) extends Literal
final case class Lit(l: Literal) extends Head
sealed trait Literal extends Product with Serializable
final case class Neg(a: Atom) extends Literal
final case class PlainString(str: String) extends Statement
final case class Pos(a: Atom) extends Literal
case class Program(statements: Seq[Statement])
final case class Rule(head: Head, body: Literal*) extends Statement
final case class ShowDirective(name: String, args: Int) extends Statement
sealed trait SimpleTerm extends Term
sealed trait Statement extends Product with Serializable
final case class StrTerm(str: String) extends SimpleTerm
final case class StringTerm(str: String) extends SimpleTerm
sealed trait Term extends Product with Serializable
final case class Tuple(terms: Term*) extends Term
case object Undef extends SimpleTerm
final case class Var(name: String) extends SimpleTerm