Extend the logic program with ground statements (in aspif-like format). More...

Classes
class	Clingo::TheoryBackend
	Theory backend to build theory atoms. More...

class	Clingo::ProgramBackend
	Program backend to add atoms and statements. More...

Enumerations
enum class	Clingo::TheorySequenceType : clingo_theory_sequence_type_t { TheorySequenceType::tuple = clingo_theory_sequence_type_tuple , TheorySequenceType::set = clingo_theory_sequence_type_set , TheorySequenceType::list = clingo_theory_sequence_type_list }
	Enumeration of available theory sequence types. More...

Detailed Description

Extend the logic program with ground statements (in aspif-like format).

Enumeration Type Documentation

strong

Enumeration of available theory sequence types.