Input

Library for representing and rewriting logic programs. More...

Modules
	Language
	Data structures and functions to capture the clingo language.
	Algorithms
	Algorithms for the input language.

Detailed Description

Library for representing and rewriting logic programs.