A append/3 , 106
arg/3 , 172
assert/1 , 204
asserta/1 , 207
assertz/1 , 207
at _end _of _stream/1 , 225
atom/1 , 167
atom _codes/2 , 173, 225
atomic/1 , 167

B bagof/3 , 211

C ’C’/3 , 130, 136
close/1 , 223

D display/1 , 179

E ensure _loaded/1 , 219

F findall/3 , 209
float/1 , 167
functor/3 , 170

G get _code/2 , 225

I integer/1 , 167
is/2 , 90

L listing/0 , 17

M max/3 , 192
member/2 , 76
module/2 , 221

N nl/0 , 182, 220
nl/1 , 223
nonvar/1 , 167
notrace/0 , 45
number/1 , 167
number _codes/2 , 174

O op/3 , 176
open/3 , 223, 224

R read/2 , 224
retract/1 , 204
retractall/3 , 208

S setof/3 , 213

T tab/1 , 182, 220
trace/0 , 43

U unify _with _occurs _check/2 , 31
use _module/1 , 222
use _module/2 , 222

V var/1 , 167

W write/1 , 180
write/2 , 223