Output Value Placement in Moded Logic Programs

  title={Output Value Placement in Moded Logic Programs},
  author={Peter A. Bigot and David Gudeman and Saumya K. Debray},
Most implementations of logic programming languages treat input and output arguments to procedures in a fundamentally asymmetric way: input values are passed in registers, but output values are returned in memory. In some cases, placing the outputs in memory is useful to preserve the opportunity for tail call optimization. In other cases, this asymmetry can lead to a large number of unnecessary memory references and adversely a ect performance. When input/output modes for arguments are known it… CONTINUE READING