//[[Documentation]]

*Library Reference

Note: the LMNtal API is still under development and its specification
is subject to change.

In the following, arguments with the '+' sign are those consumed upon
reaction with the library atoms, while arguments with the '-' sign are
those generated by the library API.  The slash (/) notation is used to
indicate the arity of atoms.

**Library io (LMNtal Java only)

io.popup(+Str): Displays the string Str in a pop-up window.

io.input: Reads an atom name typed into a pop-up window.  The
result is a new nullary atom with the given name.

io.input(+Atom): Displays the name of the unary Atom on a pop-up window
and reads an atom name typed into the window.
The result is a two-atom molecule with done/1 and a unary atom with the
given name.

io.input(+Atom,-X): Dislays the name of the unary Atom on a pop-up
window and reads an atom name typed into the window.
The result is a two-atom radical with done/2 and a unary atom with the
givne name, of the form newAtom(Y), done(Y,X).

io.inputInteger(+Atom,-X): Same as above, except that the result
is Int(X), where Int is an integer (which is a unary atom in
LMNtal) that has been typed in.

io.use: Enables the use of standard input (System.in) and standard
output (System.out).  The result consists of two molecules representing
standard input and standard output.

io.readline(-Atom,-Res): reads one line from standard input,
connnecting to Atom a unary atom whose name is the input string
(or an empty string if the string can't be read), and
connects done/1 or nil/1 to Res, depending on whether 
the string could be read.  To be used with io.use.

io.print(+Atom,-Res): prints the name of the unary Atom (a string or
a non-string atom) into standard output, and connects
done/1 to Res.  To be used witn io.use.

Front page List of pages Search Recent changes Backup   Help   RSS of recent changes