Initial stab at clingo wrapper.