Index

A abs | append | arg | argument | arithmetic | arity | assert, asserta, assertz | atan | atom, atom | atomic | atom_chars | atom_codes
B backtracking | bagof | binding | body | Bratko | built-in functions | built-in predicates
C call | ceiling | clause | comments | comparison operators | compound | consult | current input stream | current output stream | cos | cut, !
D debugging | declarative | don't-care variable | dynamic
E efficiency | error and warning messages | exp
F fail | files | findall | float - function | float - predicate | floor | functor
G goal
H halt | head
I if-then-else | indentation | infix operators | infix built-ins | input in Prolog | input schema | integer | is
L list, [Head | Tail], .(Head, Tail) | listing | log
M member | memoisation | mod | true. vs true | mutual recursion
N neck | negation, not, \+ | nl | nonvar | number | number
O omnidirectional access | once | op, infix, prefix, postfix, precedence in Prolog | or, disjunction, ; | output in Prolog
P postfix | precedence in Prolog | predicate | prin | print | procedure
Q query
R readability | reading | recursion | relation | relations and functions | repeat | retract, retractall | round | rule
S schemata | see | seeing | seen | setof | side-effects | sign | sin | singleton variables | spy | sqrt | static | structure | succeed
T tab | tan | tell | telling | term | term type testing | testing your code | told | tracing execution, trace | true | truncate
U underscore | unification, =, \= | univ
V var | variable
W white space | write | writing
  = | \= | =.. | ! | ; | +–? arguments | -> | :- | \+ | == | \== | =:= | =\= | =< | >= | > | < | @< | @> | @=< | @>=

There are no entries (yet) for the letters J, K, X, Y, and Z.