Documentation

Library Reference

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

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

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.

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.

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