diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-18 11:34:57 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-18 11:34:57 +0100 |
commit | c325eca1f275c5d3ad5248e2965122b7e26a5e2c (patch) | |
tree | a1119ba4d8e7e77557f480a34ebd12a62e4a0a50 /web/.gitignore | |
parent | 25da0d3ccc1bd03eaef0fd9ccf82bc4f720917b7 (diff) |
Disable predicate autoloading in Prolog engine
So that for example append/3 and member/2 are not accessible to users
when solving conc/3 and memb/2.
Diffstat (limited to 'web/.gitignore')
0 files changed, 0 insertions, 0 deletions