Online ASP grounder/solver based on bingo code