Grounding

Library for grounding statements. More...

Modules
	Scripts
	Interfaces to run scripts.
	Atom Bases
	Data structures and functions to represent bases for atoms, aggregate atoms, and similar.
	Matchers
	Data structures and functions to match symbols and expressions.
	Instantiators
	Data structures and functions to compute joins.
	Language
	Data structures and functions to represent groundable expressions.

Detailed Description

Library for grounding statements.