returnoperation. Implementation of the
returnoperation upgrades our answer sources from fluents  to interactors .
 Paul Tarau, "Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects":
 Paul Tarau and Arun Majumdar, "Interoperating Logic Engines":