（７２）ＫＬ１言語処理方式検討用処理系


	マ シ ン：UNIXマシン
	環　　境：UNIX
	言　　語：C, Prolog
	ソース量：0.1 MB
	文　　書：マニュアル (英語)

概要

ＫＬ１からＣへのコンパイルの基本方式の妥当性を検討するための試作処理系

ＫＬＩＣは並列論理型プログラミング言語ＫＬ１の処理系である。ＫＬ１は Flat GHCに基づいて開発された言語である。ＧＨＣはcommited-choice型の論理型プログラミング言語に属し、Concurrent Prolog,Parlog,JanusやFlengと同種の言語である。

ＫＬ１言語で記述されたプログラムをEdinburgh使用のPrologの上のコンパイラでＣ言語に変換し、Ｃコンパイラでそれをコンパイルする。コンパイラが生成したオブジェクトを実行時ライブラリとリンクし、実行コードを作成する。

なお、この版は逐次処理系である。