@techreport{oai:ipsj.ixsq.nii.ac.jp:00030664,
 author = {村上, 昌己 and Masaki, Murakami},
 issue = {44(1992-PRO-007)},
 month = {May},
 note = {本稿では並行論理型言語NGHCのメタインタプリタの構成方法について述べる．このメタインタプリタは、NGHCで記述された応答型のプロセスを、応答型パラダイムにおける反射原理にもとづいて、解釈実行するものである．本稿の方法ではインタプリタにデータとして与えられるプログラム節を、起動中のプロセスの集まりを用いて表現している．これによってインタプリタは、データ化したプログラムを、複製を作ることなく並列にアクセスすることが可能となる．このメタインタプリタは、リアクティヴな動作をするプロセスの部分評価手法[Mur92]を用いることにより、コンパイルして実行することか可能となる．また応用として、セマンティクスや実行効率への影響を減らして、asseret/retract的な手法を用いたメタプログラミング手法を分散環境に取りいれることが可能となる．, A meta-interpreter of concurrent logic language Nested Guarded Horn Clauses (NGHC) is presented without any extension for meta-facility. It carries out the computation of reactive processes based on the reflection principle of the reactive computation paradigm. A set of program clauses is represented with a number of active processes. It can be accessed from the interpreter in parallel without making copies of program clauses. The interpreter can be compiled with partial evaluation method for reactive concurrent processes[Mur92]. Applications such as meta-programming techniques using assert/retract like predicates without affecting the semantics and efficiency are mentioned.},
 title = {並行論理型言語におけるメタインタプリタの一構成法},
 year = {1992}
}