Clingo.ProgramBuilding

data Backend s

data ProgramBuilder s

data Node

data Literal s

data Atom s

data ExternalType

data HeuristicType

assume

Ground Programs

data GroundStatement s

addGroundStatements

acycEdge

atom

atomAspifLiteral

negateAspifLiteral

external

heuristic

minimize

rule

weightedRule

project

Non-Ground Programs

addStatements