''NOTE:'' LMNtal Java runtime is no longer supported but this page is left as a record.

LMNtal Java allows inline code written in Java.

*Foreign-Language Interface in LMNtal Java


An '''inline_define atom''' is an atom of the form

>[:/*inline_define*/ '''inline_define_code_in_Java''' :] .

An '''inline atom''' is an atom of the form

>[:/*inline*/ '''inline_code_in_Java''' :](X1,...,Xn) .


The execution of inline code takes place
immediately after the rewriting task of the rule
that creates the inline atom is finished.

Two defined variables can be used in the Java code in an inline atom:

>''me'' ... the inline atom itself;~
>''mem'' ... me.getMem().


 [:/*inline_define*/class Foo { static int counter = 0; } :].

 % ==> prints LMNtal

 hello(X) :- [:/*inline*/
               Atom a = mem.newAtom(new Functor("ok",1));
 % ==> ok(there)

Reload   New Edit Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup   Help   RSS of recent changes