AlgoDeduce Generator

 algo.return(algo.input) 
 

 CALL.ARGS 
  Holds the list of arguments passed with CALL. 
  -> [arg1, ..., argN] 

 ALGO.INPUT 
  Number or list 
   from which the expected result must be calculated 
   and returned through procedure ALGO.RETURN. 
  
 CALL.ARGS 
  Holds the list of arguments passed with CALL. 
  -> [arg1, ..., argN] 

 ALGO.SET_INPUT(input) 
  Set the input (number or list) 
   to be used by the solver program. 
  Must be called before ALGO.SET_RESULT. 
  
 ALGO.SET_LIMIT_INSTRUCTIONS(max_instructions) 
  Set max_instructions(*1024) as the limit to 
   the amount of instructions executed by the solver program. 
  The instructions limit must be an integer between 1 and 1048576. 
  Calling this procedure is optional; 
   if not called, the limit is set to the maximum (1048576). 
  
 ALGO.SET_LIMIT_MEMORY(max_memory) 
  Set max_memory(*1024) as the limit of 
   memory cells available to the solver program. 
  The memory limit must be an integer between 0 and 65536. 
  Calling this procedure is optional; 
   if not called, the limit is set to the maximum (65536). 
  
 ALGO.SET_RESULT(result) 
  End computation and 
   set the expected result (number or list) 
   to be calculated by the solver program 
   whenever it receives the input 
   previously set by ALGO.SET_INPUT. 
  
 CALL(&retvar1, ..., &retvarM, @modname, arg1, ..., argN) 
  Start executing module modname, copying N arguments and expecting M return values. 
  -> retvar: name of variable to hold the corresponding return value retval 
  -> modname: name of module to start executing 
  -> arg: value to be copied to the list CALL.ARGS 
  Alternative syntax: retvar1, ..., retvarM := CALL(@modname, arg1, ..., argN) 
  Note that recursive module calls are not allowed. 
  
 RETURN(retval1, ..., retvalM) 
  Return M values from the current module. 
  Resume execution at the next instruction of the corresponding CALL. 
  -> retval: value to be copied to the corresponding variable retvar 
          

 ALGO.RETURN(result) 
  End computation and 
   compare the calculated result 
   against the expected result. 
  Succeeds if there is a match; fails otherwise. 
  
 CALL(&retvar1, ..., &retvarM, @modname, arg1, ..., argN) 
  Start executing module modname, copying N arguments and expecting M return values. 
  -> retvar: name of variable to hold the corresponding return value retval 
  -> modname: name of module to start executing 
  -> arg: value to be copied to the list CALL.ARGS 
  Alternative syntax: retvar1, ..., retvarM := CALL(@modname, arg1, ..., argN) 
  Note that recursive module calls are not allowed. 
  
 RETURN(retval1, ..., retvalM) 
  Return M values from the current module. 
  Resume execution at the next instruction of the corresponding CALL. 
  -> retval: value to be copied to the corresponding variable retvar