ワールド

概要：ワールドは、多重計算を実現するための機構です。各ワールドに問題を配置して、互いの情報を参照や変更をしながら計算を行うことができます。これらの機能を用いて、複雑な問題を、単純化し効率的に解くことができます。ワールドは、等価変換による計算のための基本的な空間です。ETIの実行開始時に暗黙のうちに１つのワールドが生成されます。それ以外のワールドは、ユーザ定義ルールから明示的に指定された場合に生成されます。

上へ

例:

(RuleClassOrder 1)

(as (testWorld):
(createRootWorld *w)
(setSexpWorld ( ( (ans (append *1 *2 (1 2 3))) (append *1 *2 (1 2 3))) ) *w)
(callRootWorld *w 0)
(getSexpWorld *s *w)
(print *s)
(killRootWorld *w))

(Rule ap
(Head (append *x *y *z))
(Body (exec (= *x (*X| *X1)) (= *z (*X | *Z1)))
         (append *X1 *y *Z1))
(Body (exec (= *x () ) (= *y *z))) )