swipl(1) swipl(1) (NAME) swipl - SWI-Prolog (SYNOPSIS) swipl [--help|--version|--arch|--dump-runtime-variables] swipl [] prolog-file ... [--] [arg ...] swipl [] [-o output] -c file ... swipl [] [-o output] -b initfile ... . current_prolog_flag(argv, Argv). . (saved state) (boot-compilation) . (DESCRIPTION) SWI-Prolog . (multi-threading) ( ) RDF XML/SGML/HTML . (constraint programming) (atom garbage collection) (ODBC) C C++ Java (JPL) . SWI-Prolog ISO . YAP SICStus Prolog . . HTML PDF : http://www.swi-prolog.org (OPTIONS) --help . --version . --abi-version ABI. . --arch . --dump-runtime-variables[=format] format . sh ( bourne shell) cmd ( CMD ). swipl-ld(1) . eval `swipl --dump-runtime-variables` : CC C SWI-Prolog. PLBASE SWI-Prolog. current_prolog_flag home . PLARCH . PLBASE . $PLBASE/lib/$PLARCH/libswipl.a . PLBITS (VM) . PLLIB C SWI-Prolog -lswipl PLLIBSWIPL (DLL) . PLLIBS PLLIB. PLCFLAGS C . PLLDFLAGS C . PLSOEXT . "so" "dll" . AIX "o" HPUX "sl" . PLSOPATH . ELF "LD_LIBRARY_PATH" "PATH" . PLVERSION SWI-Prolog. PLVERSIONTAG "rc1". PLSHARED yes load_foreign_library/[1,2] no . PLTHREADS yes no . --home=DIR DIR . --stack-limit=size[bkmg] size . b () k () m () g () . --table-space=size[bkmg] SLG ( / tabling) size . --stack-limit . --shared-table-space=size[bkmg] size . --stack-limit . -O . set_prolog_flag/2 SWI- Prolog . -b initfile ... -c file ... (Boot). initfile ... C file ... . . -c file ... file ... . -d level level. . --packs[=bool] (). --pce[=bool] XPCE. --pldoc[=port] PlDoc http://localhost:port. port . -f file file `init.pl'. `-f none' SWI-Prolog . -F file SWI-Prolog. file (base-name) . .rc . ( ) . swi-2.0 swi.rc SWI-Prolog . . -s file file . (toplevel) . (.pl .qlf) . -l file file . -s . -s -l . --quiet[=bool] -q (). . --debug[=bool] trace/0 spy/1 . --debug-on-interrupt[=bool] SIGINT ( Control-C) . . --on-error=style (). print . status print halt/0 1 halt 1 . --on-warning=style --on-error . -g goal (Goal) . . . (choice points) . ( -q) 1 . 2 . version/0 . -g true . goal . . -o output -b -c . -p alias=pathlist file_search_path/2. pathlist ":" . file_search_path/2 SWI-Prolog . -t goal goal prolog/0. goal . SWI-Prolog 0 . 1 . break/0 abort/0 . `-g goal' `halt' . -x bootfile -b -c qsave_program/[1,2]. --tty[=bool] tty ( ioctl(2)). tty . . SWI-Prolog GNU Emacs tty . get_single_char/1 (carriage return) . --win-app swipl-win.exe . ...\Documents\Prolog . Prolog . --signals[=bool] . SWI-Prolog . --sigalert=NUM NUM . SIGUSR2 . 0 . --threads[=bool] . . --traditional 7 SWI-Prolog . -- . (ENVIRONMENT) SWI_HOME_DIR . . SWI-Prolog . (ON-LINE HELP) SWI-Prolog . SWI-Prolog . . help help(help/1). help(+What) . What : /_ (Name/Arity) . (Name) C . (Section) SWI-Prolog. 2-3 2.3 . GUI XPCE help/1 apropos/1 explain/1 . (FILES) SWI-Prolog --prefix=/usr . . ?- current_prolog_flag(home, Home). SWI-Prolog . ~/.config/swi-prolog/init.pl SWI-Prolog . . /usr/lib/swipl-10.0.2/bin// . /usr/lib/swipl-10.0.2/include/ (include). SWI-Prolog.h /usr/include/SWI-Prolog.h . /usr/lib/swipl-10.0.2/library/ SWI-Prolog. /usr/lib/swipl-10.0.2/boot/ SWI-Prolog . /usr/lib/swipl-10.0.2/ /usr/lib/swipl-10.0.2 : bin//swipl -O -o -b boot/init.pl /usr/lib/swipl-10.0.2/doc/packages HTML / PDF . /usr/lib/swipl-10.0.2/ . << >> boot . -xbootfile . /usr/lib/swipl-10.0.2/runtime//libpl.a SWI-Prolog . plld(1) . (SEE ALSO) SWI-Prolog http://www.swi-prolog.org Jan Wielemaker SWI-Prolog Reference Manual http://www.swi-prolog.org/pldoc/index.html /usr/lib/swipl-10.0.2/boot/doc William F. Clocksin & Christopher S. Mellish, Programming in Prolog, fourth edition, Springer Verlag, Berlin 1994. swipl-ld(1) (WARRANTY) (AS IS) . . (LICENSE INFORMATION) SWI-Prolog Simplified BSD BSD-2 . . license/0 . SWI-Prolog http://www.swi-prolog.org/license.html . (COPYRIGHT) (c) 1986-2020 VU (AUTHORS) Jan Wielemaker SWI-Prolog 8 October 10, 2020 swipl(1)