Command Format Summary

Command ::= Name
| chars(code-list)
| write(term)
| writeq(term)
| write_canonical(term)
| format(Fmt,Args)
| dq(Command)
| br(Command)
| sqb(Command)
| min(Command)
| dot(ListOfNames)
| list(ListOfCommands)
| ListOfCommands

Fmt ::= atom

Name ::= atom { other than [] }
| number

ListOfCommands ::= []
| [ Command | ListOfCommands ]

ListOfNames ::= []
| [ Name | ListOfNames ]

Args ::= []
| [ term | Args ]

where

Atom
Number
denote their printed representations
chars(PrologString)
denotes the string represented by PrologString (a code-list)
write(Term)
writeq(Term)
write_canonical(Term)
denotes the string that is printed by the corresponding built-in predicate
format(Fmt, Args)
denotes the string that is printed by the corresponding built-in predicate
dq(Command)
denotes the string specified by Command, enclosed in double quotes
br(Command)
denotes the string specified by Command, enclosed in curly brackets
sqb(Command)
denotes the string specified by Command, enclosed in square brackets
min(Command)
denotes the string specified by Command, immediately preceded by a hyphen
dot(ListOfName)
denotes the widget path specified by ListOfName, preceded by and separated by dots
list(ListOfCommands)
denotes the TCL list with one element for each element in ListOfCommands.
ListOfCommands
denotes the string denoted by each element, separated by spaces