| Backend | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| 4 (Data Constructor) | Clingo.Internal.Types |
| backend | Clingo.Control, Clingo |
| backendAcycEdge | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendAddAtom | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendAssume | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendExternal | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendHeuristic | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendMinimize | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendProject | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendRule | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendWeightRule | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| BinaryOperation | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BinaryOperator | Clingo.Internal.AST, Clingo.AST |
| BinLeft | Clingo.Internal.AST, Clingo.AST |
| BinRight | Clingo.Internal.AST, Clingo.AST |
| Body | Clingo.Internal.AST, Clingo.AST |
| BodyAggregate | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BodyAggregateElement | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BodyBodyAggregate | Clingo.Internal.AST, Clingo.AST |
| BodyConditional | Clingo.Internal.AST, Clingo.AST |
| BodyDisjoint | Clingo.Internal.AST, Clingo.AST |
| BodyLitAggregate | Clingo.Internal.AST, Clingo.AST |
| BodyLiteral | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BodyTheoryAtom | Clingo.Internal.AST, Clingo.AST |
| BraveConsequences | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Model, Clingo |