|
Up
|
|
|
|
|
abolish
|
|
|
|
|
abort
|
|
|
|
|
and
|
|
|
|
|
append
|
|
|
|
|
are
|
|
|
|
|
arg
|
|
|
|
|
arithmetic
|
|
|
|
|
arrow
|
|
|
|
|
assert
|
|
|
|
|
asserta
|
|
|
|
|
assertz
|
|
|
|
|
atom
|
|
|
|
|
atomic
|
|
|
|
|
bagof
|
|
|
|
|
bitwise
|
|
|
|
|
break
|
|
|
|
|
builtin
|
|
|
|
|
call
|
|
|
|
|
catch
|
|
|
|
|
chartype
|
|
|
|
|
chatty
|
|
|
|
|
clause
|
|
|
|
|
clauses
|
|
|
|
|
clausify
|
|
|
|
|
close
|
|
|
|
|
comma
|
|
|
|
|
commands
|
|
|
|
|
compare
|
|
|
|
|
compatibility
|
|
|
|
|
compile
|
|
|
|
|
conditional
|
|
|
|
|
consult
|
|
|
|
|
current_atom
|
|
|
|
|
current_disk
|
|
|
|
|
current_functor
|
|
|
|
|
current_op
|
|
|
|
|
current_predicate
|
|
|
|
|
cut
|
|
|
|
|
database
|
|
|
|
|
date
|
|
|
|
|
dcgr
|
|
|
|
|
debug
|
|
|
|
|
debugging
|
|
|
|
|
dec10
|
|
|
|
|
dec10_ops
|
|
|
|
|
default_ops
|
|
|
|
|
details
|
|
|
|
|
directives
|
|
|
|
|
display
|
|
|
|
|
div
|
|
|
|
|
divide
|
|
|
|
|
dollar
|
|
|
|
|
dynamic
|
|
|
|
|
edinsynt
|
|
|
|
|
efficiency
|
|
|
|
|
equal
|
|
|
|
|
error
|
|
|
|
|
errors
|
|
|
|
|
exclamation
|
|
|
|
|
expand_term
|
|
|
|
|
fail
|
|
|
|
|
fast_bagof
|
|
|
|
|
fast_setof
|
|
|
|
|
findall
|
|
|
|
|
float
|
|
|
|
|
format
|
|
|
|
|
functor
|
|
|
|
|
gensym
|
|
|
|
|
get
|
|
|
|
|
get0
|
|
|
|
|
glossary
|
|
|
|
|
grammar_rule
|
|
|
|
|
grammars
|
|
|
|
|
greaterthan
|
|
|
|
|
halt
|
|
|
|
|
helpfiles
|
|
|
|
|
higher_order
|
|
|
|
|
i_o
|
|
|
|
|
incore
|
|
|
|
|
integer
|
|
|
|
|
is
|
|
|
|
|
keysort
|
|
|
|
|
languages
|
|
|
|
|
leash
|
|
|
|
|
length
|
|
|
|
|
lerngram
|
|
|
|
|
lessthan
|
|
|
|
|
libraries
|
|
|
|
|
library
|
|
|
|
|
libsum
|
|
|
|
|
lispinplog
|
|
|
|
|
listing
|
|
|
|
|
load
|
|
|
|
|
log
|
|
|
|
|
macro
|
|
|
|
|
member
|
|
|
|
|
minus
|
|
|
|
|
mishap
|
|
|
|
|
mixed_languages
|
|
|
|
|
mod
|
|
|
|
|
modules
|
|
|
|
|
name
|
|
|
|
|
newplogterms
|
|
|
|
|
nl
|
|
|
|
|
no_clauses
|
|
|
|
|
nodebug
|
|
|
|
|
nonvar
|
|
|
|
|
nospy
|
|
|
|
|
not
|
|
|
|
|
numbervars
|
|
|
|
|
oldplogterms
|
|
|
|
|
on_interrupt
|
|
|
|
|
once
|
|
|
|
|
op
|
|
|
|
|
operators
|
|
|
|
|
ops
|
|
|
|
|
options
|
|
|
|
|
or
|
|
|
|
|
parsedemo
|
|
|
|
|
pdp11
|
|
|
|
|
phrase
|
|
|
|
|
plogindex
|
|
|
|
|
plogshowtree
|
|
|
|
|
plogtopop
|
|
|
|
|
plus
|
|
|
|
|
poplog
|
|
|
|
|
popsetq
|
|
|
|
|
popstring
|
|
|
|
|
poptoplog
|
|
|
|
|
portray
|
|
|
|
|
predicate_info
|
|
|
|
|
predicates
|
|
|
|
|
print
|
|
|
|
|
processes
|
|
|
|
|
prolog
|
|
|
|
|
prolog_abolish
|
|
|
|
|
prolog_barrier_apply
|
|
|
|
|
prolog_compile
|
|
|
|
|
prolog_error
|
|
|
|
|
prolog_eval
|
|
|
|
|
prolog_evaltrue
|
|
|
|
|
prolog_invoke
|
|
|
|
|
prolog_language
|
|
|
|
|
prolog_restart
|
|
|
|
|
prolog_setq
|
|
|
|
|
prolog_syserror
|
|
|
|
|
prolog_val
|
|
|
|
|
prolog_valof
|
|
|
|
|
prolog_vars
|
|
|
|
|
prompt
|
|
|
|
|
put
|
|
|
|
|
quietspy
|
|
|
|
|
read
|
|
|
|
|
reconsult
|
|
|
|
|
record
|
|
|
|
|
reinitialise
|
|
|
|
|
rename
|
|
|
|
|
repeat
|
|
|
|
|
resolve
|
|
|
|
|
restore
|
|
|
|
|
retract
|
|
|
|
|
retractall
|
|
|
|
|
save
|
|
|
|
|
see
|
|
|
|
|
seeing
|
|
|
|
|
seen
|
|
|
|
|
semicolon
|
|
|
|
|
setof
|
|
|
|
|
showlib
|
|
|
|
|
showterm
|
|
|
|
|
simplepop
|
|
|
|
|
skip
|
|
|
|
|
sort
|
|
|
|
|
spy
|
|
|
|
|
spy_action
|
|
|
|
|
static
|
|
|
|
|
statistics
|
|
|
|
|
strings
|
|
|
|
|
symbols
|
|
|
|
|
syntax
|
|
|
|
|
system
|
|
|
|
|
system_predicate
|
|
|
|
|
tab
|
|
|
|
|
tell
|
|
|
|
|
telling
|
|
|
|
|
term_expansion
|
|
|
|
|
termsinpop
|
|
|
|
|
throw
|
|
|
|
|
time
|
|
|
|
|
times
|
|
|
|
|
told
|
|
|
|
|
tracer
|
|
|
|
|
trimcore
|
|
|
|
|
true
|
|
|
|
|
ttyflush
|
|
|
|
|
ttyget
|
|
|
|
|
ttyget0
|
|
|
|
|
ttynl
|
|
|
|
|
ttyput
|
|
|
|
|
ttyskip
|
|
|
|
|
ttytab
|
|
|
|
|
tuning
|
|
|
|
|
undefs
|
|
|
|
|
univ
|
|
|
|
|
unknown
|
|
|
|
|
unleash
|
|
|
|
|
useful
|
|
|
|
|
user_predicate
|
|
|
|
|
uses
|
|
|
|
|
var
|
|
|
|
|
ved
|
|
|
|
|
version
|
|
|
|
|
write
|
|
|
|
|
writeq
|
|
|
|