pma – a plot - manipulation algebra .
Foundations of Logic Programming