O predicado que teria seu valor alterado seria "at(r1,loc2), occupied(loc2)". O robô r1 entraria na plataforma loc1, portanto, o valor de "at(r1,loc2)" seria alterado para "at(r1,loc1)", e o valor de "occupied(loc2)" seria alterado para "occupied(loc1)". Os outros predicados não seriam afetados pela entrada do robô na plataforma loc1.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar