官网在 http://www.gprolog.org/manual/gprolog.html#sec32
这是比较全面的,网上其他资料片理论,记录下来
- !/0, 7.2.1, 7.2.3
- ’.’/2, 8.23.1
- (’,’)/2, 7.2.2
- (*->)/2, 7.2.2
- (-->)/2, 8.17.1
- (->)/2, 7.2.2
- (;)/2, 7.2.2
- (=)/2, 8.2.1
- (=..)/2, 8.4.3
- (=:=)/2, 8.6.3
- (==)/2, 8.3.2, 8.20.4
- (=\=)/2, 8.6.3
- (=<)/2, 8.6.3
- (@=<)/2, 8.3.2
- (@>)/2, 8.3.2
- (@>=)/2, 8.3.2
- (@<)/2, 8.3.2
- (#/\)/2 (FD), 9.7.3
- (#=)/2 (FD), 9.6.2
- (#==>)/2 (FD), 9.7.3
- (#=#)/2 (FD), 9.6.3
- (#=<)/2 (FD), 9.6.2
- (#=<#)/2 (FD), 9.6.3
- (##)/2 (FD), 9.7.3
- (#\)/1 (FD), 9.7.3
- (#\/)/2 (FD), 9.7.3
- (#\/\)/2 (FD), 9.7.3
- (#\=)/2 (FD), 9.6.2
- (#\==>)/2 (FD), 9.7.3
- (#\=#)/2 (FD), 9.6.3
- (#\\/)/2 (FD), 9.7.3
- (#\<=>)/2 (FD), 9.7.3
- (#>)/2 (FD), 9.6.2
- (#>=)/2 (FD), 9.6.2
- (#>=#)/2 (FD), 9.6.3
- (#>#)/2 (FD), 9.6.3
- (#<)/2 (FD), 9.6.2
- (#<=>)/2 (FD), 9.7.3
- (#<#)/2 (FD), 9.6.3
- (\+)/1, 8.18.2
- (\=)/2, 8.2.3
- (\==)/2, 8.3.2
- (>)/2, 8.6.3
- (>=)/2, 8.6.3
- (<)/2, 8.6.3
- (is)/2, 8.6.2
- --, 4.2.1
- --assembly, 4.4.3
- --aux-father, 4.4.6
- --aux-father2, 4.4.6
- --c-compiler, 4.4.3
- --cmd-line, 4.4.6
- --comment, 4.4.3, 4.4.3
- --compile-msg, 4.4.3
- --consult-file, 4.2.1
- --cstr-size, 4.4.3
- --decode, 4.4.6
- --demangling, 4.4.6
- --encode, 4.4.6
- --entry-goal, 4.2.1
- --fast-math, 4.4.3, 8.6.1
- --fd-to-c, 4.4.3
- --fixed-sizes, 4.3, 4.4.3
- --foreign-only, 4.4.3
- --global-size, 4.4.3
- --gui-console, 4.4.3
- --help, 4.2.1, 4.4.3, 4.4.6
- --init-goal, 4.2.1
- --keep-void-inst, 4.4.3
- --linker, 4.4.3
- --local-size, 4.3, 4.4.3
- --mangling, 4.4.6
- --max-atom, 4.4.3
- --min-bips, 4.4.3
- --min-fd-bips, 4.4.3
- --min-pl-bips, 4.4.3
- --min-reg-opt, 4.4.3
- --min-size, 4.4.3
- --mini-assembly, 4.4.3
- --no-call-c, 4.4.3
- --no-debugger, 4.4.3, 4.4.3
- --no-del-temp, 4.4.3
- --no-demangling, 4.4.3
- --no-fd-lib, 4.4.3
- --no-inline, 4.4.3
- --no-opt-last-subterm, 4.4.3
- --no-redef-error, 4.4.3
- --no-reg-opt, 4.4.3
- --no-reorder, 4.4.3
- --no-singl-warn, 4.4.3
- --no-susp-warn, 4.4.3
- --no-top-level, 4.4.3
- --object, 4.4.3
- --output, 4.4.3
- --pl-state, 4.4.3, 8.22.5
- --printf, 4.4.6
- --query-goal, 4.2.1
- --relax, 4.4.6
- --statistics, 4.4.3
- --strip, 4.4.3
- --temp-dir, 4.4.3
- --trail-size, 4.4.3
- --verbose, 4.4.3
- --version, 4.2.1, 4.4.3, 4.4.6
- --wam-comment, 4.4.3
- --wam-for-byte-code, 4.4.3
- --wam-for-native, 4.4.3
- -A, 4.4.3
- -C, 4.4.3
- -c, 4.4.3
- -D, 4.4.6
- -E, 4.4.6
- -F, 4.4.3
- -h, 4.4.3
- -L, 4.4.3
- -M, 4.4.3, 4.4.6
- -o, 4.4.3
- -P, 4.4.6
- -S, 4.4.3
- -s, 4.4.3
- -v, 4.4.3
- -W, 4.4.3
- -w, 4.4.3
- abolish/1, 8.7.6
- abort/0, 4.2.5, 5.5, 8.18.1
- absolute_file_name (property), 8.27.11
- absolute_file_name/2, 7.1.8, 8.10.6, 8.23.1, 8.23.2, 8.26.1, 8.26.2, 8.26.4, 8.27.5, 8.27.7, 8.27.8, 8.27.9, 8.27.10, 8.27.11, 8.27.12, 8.27.13
- acyclic_term/1, 8.4.7
- add_linedit_completion/1, 8.29.3
- add_stream_alias/2, 8.10.1, 8.10.20
- add_stream_mirror/2, 8.10.1, 8.10.22
- address_bits (flag), 8.22.1
- alias (option), 8.10.6
- alias (property), 8.10.10
- append (mode), 8.10.6
- append/1, 8.16.2
- append/3, 8.20.1
- arch (flag), 8.22.1
- architecture/1, 8.27.17
- arg/3, 8.4.2
- argumentselector, 8.21.1
- argument_counter/1, 8.27.1
- argument_list/1, 4.2.1, 8.27.3
- argument_value/2, 4.2.1, 8.27.2
- argv (flag), 8.22.1
- asserta/1, 8.7.2
- assertz/1, 8.7.2
- at_end_of_stream/0, 8.10.11
- at_end_of_stream/1, 8.10.11
- atom/1, 8.1.1
- atom_chars/2, 8.19.6
- atom_codes/2, 8.19.6
- atom_concat/3, 8.19.2
- atom_length/2, 8.19.1
- atom_property/2, 8.19.11
- atomic/1, 8.1.1
- back_quotes (flag), 4.2.1, 8.14, 8.22.1, 8.22.5
- back_quotes (token), 8.14.3
- backtracks (FD option), 9.9.1
- bagof/3, 8.9.3
- between/3, 8.18.4
- binary (option), 8.10.6, 8.10.25<