Added draft implementation of skipArgs() to skip to the N-th argument of the implementation of a clause.
Added draft implementation of skipArgs() to skip to the N-th argument of
the implementation of a clause.

jn7163/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel