src/LPS.js
function (programArgs) {
  let _programArgs = programArgs;
  if (programArgs === undefined) {
    _programArgs = [];
  }
  // map to values
  _programArgs = _programArgs.map(arg => new Value(arg));
  let argsList = new List(_programArgs);
  let theta = {
    List: argsList
  };
  return programArgsPredicate.substitute(theta);
}
function (programArgs) {
  let _programArgs = programArgs;
  if (programArgs === undefined) {
    _programArgs = [];
  }
  // map to values
  _programArgs = _programArgs.map(arg => new Value(arg));
  let argsList = new List(_programArgs);
  let theta = {
    List: argsList
  };
  return programArgsPredicate.substitute(theta);
}
function ( programArgs ) { let _programArgs = programArgs ; if ( programArgs === undefined ) { _programArgs = [ ] ; } // map to values _programArgs = _programArgs . map ( arg => new Value ( arg ) ) ; let argsList = new List ( _programArgs ) ; let theta = { List : argsList } ; return programArgsPredicate . substitute ( theta ) ; }
Construct the program arguments predicate
@private
@param  {array} programArgs The array of program arguments
@return {Functor}             The constructed predicate that contains the program arguments
Construct the program arguments predicate