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
chars(
PrologString)
write(
Term)
writeq(
Term)
write_canonical(
Term)
format(
Fmt,
Args)
dq(
Command)
br(
Command)
sqb(
Command)
min(
Command)
dot(
ListOfName)
list(
ListOfCommands)