Symbols


#@description 12


$ 12


:best 11


:breadth 11


:depth 11


A


and 11


ask 9


Attribute labels 10


B


best first search 11


bquote 11


C


clause compilation 12


comma 11, 12


E


exists 11


F


forall 11


I


includes 11


M


meta-sorts 12


N


not 11


O


object names 10


or 11


P


propositions 13


provable 10, 11


ptrace 10


Q


quote 11


S


search strategy 11


simple sort 12


simple sorts 12


sorts 12


strings


equality 10


symbols 10


T


tell 8


temporal constraints 12


temporal reasoning 12


theories 10


deductive-rules 10


integrity-constraints 10


theory-find-theory 11


Tracing 10


U


unincludes 11


unprovable 10, 11


V


Variables 12

