reads several calls from clingo/clasp 3