fixing namespace
clingo_interface (previously clingo_helpers now compiles)