let inserterlinks1="10.32614/CRAN.package.rswipl . https://github.com/mgondan/rswipl/issues . https://github.com/mgondan/rswipl . rswipl results .  rswipl.pdf  .  rswipl_9.3.21.tar.gz  . rswipl_9.3.21.zip . rswipl_9.3.21.zip . rswipl_9.3.21.zip . rswipl_9.3.21.tgz . rswipl_9.3.21.tgz . rswipl_9.3.21.tgz . rswipl_9.3.21.tgz . rswipl_9.3.21.tgz . rswipl_9.3.21.tgz .  rswipl archive  . https://CRAN.R-project.org/package=rswipl . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;