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