A model building framework for Answer Set Programming with external computations