Did you know ... | Search Documentation: |
Using SWI-Prolog for studying Prolog |
The vast majority of downloads for SWI-Prolog concerns students using it for their Prolog language course. This wiki page is intended to collect tricks and tips for using SWI-Prolog for teaching.
Options (FIXME: elaborate)
If you use a centrally installed copy of SWI-Prolog, you can customize
it by editing swipl.rc
and/or swipl-win.rc
, which can be found in the
root directory of the installation. Students may add these to their
personal initialization file, which can be installed and edited using
the built-in editor by first running emacs/0 as below and then using
the menu Edit/Prolog preferences
?- emacs.
Below are some useful settings:
set_prolog_flag(occurs_check, error)
...., A = A+1
set_prolog_stack(local, limit(4000000))
.load_files(library(clpfd), [silent(true)])
.