summaryrefslogtreecommitdiff
path: root/prolog/runner
AgeCommit message (Collapse)Author
2016-07-15Fix prolog runner for SWI-Prolog ≥ 7.3.22Timotej Lazar
2016-05-29Prolog runner: allow call/1 in sandboxed modeTimotej Lazar
Required by some exercises. This allows the user to escape the sandbox, so a better solution is needed.
2016-02-28Increase thread pool size for Prolog runnerTimotej Lazar
2016-02-23Prolog engine: allow lists predicates in sandboxTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-11-18Disable predicate autoloading in Prolog engineTimotej Lazar
So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2.
2015-10-05Add the prolog runner to be used for daemonisation in init scripts.Aleš Smodiš
2015-08-21Add a hashbang line to the Prolog server scriptTimotej Lazar
2015-08-20Add a Prolog pengine server for running queriesTimotej Lazar
Run with "swipl main.pl".