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);
}
Construct the program arguments predicate
@private
@param  {array} programArgs The array of program arguments
@return {Functor}             The constructed predicate that contains the program arguments