Reasoning about Lava effusion: from Geographical Information Systems to Answer Set Programming.