Index of /bham/prolog/help

• Parent Directory
• 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