Useful Tips

1. In IndiGolog program it is possible to have primitive actions whose job is changing some fluents. These actions do not have bodies, meaning there is no need to write 'execute' clauses for them. All the functionality comes from successor state axioms.
   
   Since IndiGolog requires 'execute' clause for each primitive action, you will need to provide it:
   
   execute(<name of action),_) :- true. — for every such action,
   
   OR
   
   execute(_,_) :- true. — If written after all real 'execute' clauses, this will be the only clause to solve the problem.