（７８）並列論理型言語ＫＬ１の汎用機上の処理系：ＫＬＩＣ第１版

	マ シ ン：UNIXマシン
	環　　境：UNIX
	言　　語：C, Prolog
	ソース量：0.4 Mb
	文　　書：簡単なマニュアル (英語)

概要

特徴

• ＫＬ１言語プログラムを最終的には機械語に翻訳してから実行する方式を とることによって、インタプリタ方式などよりもはるかに高い性能を実現して いる。
• 機械語への翻訳にはＣ言語を経由する方式をとり、低レベルの機械依存の 最適化を機種ごとのＣコンパイラに任せることによって、移植性を損なわずに 高性能を実現している。
• 他言語プログラムとのリンクも容易である。

機能

• ＫＬ１からＣへのコンパイラと、実行時システムを提供する。
• 並列論理型言語ＫＬ１の主要機能を実現している。
• 同じハードウェア上なら従来のＰｒｏｌｏｇシステムの２倍以上の速度を、 同程度以下のコードサイズで実現する高性能システムである。
• ステップ実行、スパイ機能などを備えたトレーサを持っている。
• Ｃ言語、ＵＮＩＸシステムの標準的な機能のみを用いているので、多様な ＵＮＩＸシステムにほとんど変更なく移植できる。

ＦＴＰ

• README,
• README （詳細版）,
• INSTALL,
• TUTORIAL,
• TUTORIAL(TeX),
• Makefile.
• 並列論理型言語ＫＬ１の汎用機上の処理系：ＫＬＩＣ(最新版)