A model building framework for Answer Set Programming with external computations

Open in new window