Read current state inside adds about prolog-graphplan

[Mortimerp9]

ok, I haven't done prolog in a very long while, but I think that you want something like:

distance(From, To, 300).

can(move(Rocket,From,To, FuelAmount),[at(Rocket,From), has_fuel(Rocket, FuelAmount)], rocket) :- 
	rocket(Rocket),
	place(From),
	place(To),
        distance(From, To, X),
        FuelAmount > X,
	From \= To.

adds(move(Rocket,_From,To, OldFA),[at(Rocket, To), has_fuel(Rocket, NewFuelAmount)], at(Rocket,To), rocket):-
	rocket(Rocket),
        distance(From, To, X),
        NewFuelAmount is OldFA - X,
	place(To).

deletes(move(Rocket,From,_To, OldFA),[at(Rocket,From), has_fuel(Rocket, OldFA)], rocket):-
	rocket(Rocket),
	place(From).

I haven't tested it, but it's probably the way to start looking at this.

[illbexyz]

Thank you!

This solution doesn't seem to work unless I define a fuelAmountpredicate as a world fact listing all the possible values for the fuel.

But this is not what i'm trying to accomplish because i'd like move to be called only with the values of fuel inside the state.