%
% toy heating system example (RASP rules have been grounded)
% see paper "Answer Set Programming with Resources" where we
% put  a1=3, a2=1, and  a3=6

% regular ASP rules:
%%%%%%%%%%%%%%%%%%%%

val(0..40).
is_winter.

temperature(5) :- not  temperature(20).
temperature(20) :- not  temperature(5).

load(low) :- temperature(Celsius), 10 < Celsius, is_winter, val(Celsius).
load(high) :- temperature(Celsius), Celsius <= 10, is_winter, val(Celsius).
load(none) :- not is_winter.

requiredFuel(high,oil).
requiredFuel(low,electricity).

needed(oil, 1).  
needed(electricity, 3).

:- not warm.

#hide val(X).


% RASP rules:
%%%%%%%%%%%%%%%%%%%%
%  [1-1]:   warm :- fuel(Type):Q, load(Load), requiredFuel(Load,Type), needed(Type,Q).
% grounded (and simplified) obtaining two rules:
[1-1]:  warm :- fuel(electricity):3, load(low), requiredFuel(low,electricity), needed(electricity,3).
[1-1]:  warm :- fuel(oil):1, load(high), requiredFuel(high,oil), needed(oil,1).

money:6.

[1-1]: fuel(oil):1 :- money:6.

[1-1]: fuel(electricity):3 :- money:6.