An Unfolding-Based Semantics for Logic Programming with Aggregates

Open in new window