Backup diff of Foreign Language Interface vs current(No. 4)

List of Backups
View the diff.
View the source.
View the backup.
Go to Foreign Language Interface.
- 1 (2010-05-20 (Thu) 04:48:39)
- 2 (2010-05-31 (Mon) 03:12:22)
- 3 (2010-05-31 (Mon) 03:12:22)
- 4 (2010-05-31 (Mon) 03:12:22)

The added line is THIS COLOR.
The deleted line is THIS COLOR.

//[[Documentation]]

LMNtal Java allows inline code written in Java, and SLIM allows LMNtal programs to call C functions.
SLIM allows LMNtal programs to call C functions.


*Foreign-Language Interface in SLIM

SLIM allows LMNtal programs to call functions written in C.  An LMNtal atom

>'$callback'('''function_name''', '''arg1''', '''arg2''', ...)

calls the C function '''function_name''' with the specified arguments.  Examples of callbacks can be found in the library programs located in the $LMNTAL_HOME/lib directory, and the corresponding C functions can be found in the $LMNTAL_HOME/src/ext directory.

*Foreign-Language Interface in LMNtal Java

**Syntax

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) .

**Specification

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().

**Examples

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

 [:/*inline*/System.out.println(me.nthAtom(0).getName());
             me.remove();
             me.nthAtom(0).remove();:]("LMNtal\n")
 % ==> prints LMNtal

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