hence -> executa primeiro as ações anteriores ao hence e repassa os bindings produzidos nessas ações para as ações que serão executadas após o hence.

| before -> executa primeiro as ações anteriores ao before e repassa para as ações que serão executadas após o before a união dos bindings recebidos com os bindings produzidos pelas ações antes do before.

| | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | | allocate a cell -> reserva um espaço de memória 

| | | | | bind "x" to the given cell -> associa um bind "x" ao espaço de memória já alocado anteriormente.

| | | | | allocate a cell -> reserva um espaço de memória 

| | | | | bind "n" to the given cell -> associa um bind "n" ao espaço de memória já alocado anteriormente.

| | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | allocate a cell -> reserva um espaço de memória 

| | | | bind "r" to the given cell -> associa um bind "r" ao espaço de memória já alocado anteriormente.


*******************AQUI VAI P/ BAIXO DO BEFORE**********************************************************


| | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | store 5 in (the cell bound to "x") -> armazena o valor 5 na célula de memória identificada pelo binding "x"

| | | | store 6 in (the cell bound to "n") -> armazena o valor 6 na célula de memória identificada pelo binding "n"

| | | store 2 in (the cell bound to "r") -> armazena o valor 2 na célula de memória identificada pelo binding "r"

*********************AQUI VAI P/ BEIXO DO HENCE**************************************************************

| unfolding -> executa as ações que estão após o unfolding.

| | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | and then -> executa primeiro as ações anteriores ao and then e depois as posteriores.

| | | | | give (the integer stored in (the cell bound to "n")) -> pega o inteiro armazenado na célula identificada pelo binding "n" e coloca como valor temporário.

| | | | | give 0 -> coloca zero como valor temporário.

| | | | give the given integer # 1 is greater than the given integer # 2 -> verifica se o 1° valor temporário é maior que o 2°, se for coloca como valor temporário true, senão coloca false.

| | | or -> executa as ações que estão antes ou as que estão depois do or, se a escolhida der erro (fail) executa a outra.

***Supondo que a escolhida foi a anterior ao or:

| | | | and then -> executa primeiro as ações anteriores ao and then e depois as posteriores.

| | | | | check ((the given truth-value) is true) -> verifica se o valor temporário é igual a true, se for ele continua a executar, senão dá erro (fail)

| | | | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | | | and then -> executa primeiro as ações anteriores ao and then e depois as posteriores.

| | | | | | | give (the integer stored in (the cell bound to "x")) -> pega o inteiro armazenado na célula identificada pelo binding "x" e coloca como valor temporário.

| | | | | | | give (the integer stored in (the cell bound to "r")) -> pega o inteiro armazenado na célula identificada pelo binding "r" e coloca como valor temporário.

| | | | | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | | | | store (product ( (the given integer # 1) , (the given integer # 2) )) in (the cell bound to "x") -> armazena o valor do produto do 1° valor temporário com o 2° valor temporário na célula identificada pelo binding "x".

| | | | | | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | | | | | and then -> executa primeiro as ações anteriores ao and then e depois as posteriores.

| | | | | | | | | give (the integer stored in (the cell bound to "n")) -> pega o inteiro armazenado na célula identificada pelo binding "n" e coloca como valor temporário.

| | | | | | | | | give 1 -> coloca um com valor temporário.

| | | | | | | | and then -> executa primeiro as ações anteriores ao and then e depois as posteriores.

| | | | | | | | | store (difference ( (the given integer # 1) , (the given integer # 2) )) in (the cell bound to "n") -> armazena o valor da subtração do 1° valor temporário com o 2° valor temporário na célula identificada pelo binding "n".

| | | | | | | | | unfold -> desvia para a ultima ação unfolding executada

***************************AQUI VAI P/ BAIXO DO OR*******************************************

| | | | then -> executa primeiro as ações anteriores ao then e repassa os valores transitórios para as ações que serão executadas após o then.

| | | | | check ((the given truth-value) is false) -> verifica se o valor temporário é igual a false, se for ele continua a executar, senão dá erro (fail)

| | | | | complete -> executa com sucesso sem produzir nenhuma informação.


 

MMAA13912129