（２６）Ｑｕｔｅ処理系


	マ シ ン：DEC2060
	環　　境：TOPS20
	言　　語：DEC-10 Prolog
	ソース量：4 KB
	文　　書：マニュアル (日本語)

概要

ＱＵＴＥは、ＭＬのような高階関数型言語にPrologのようなunification機能 を付加した言語であり、コルーチンのような並列プログラムを記述することも できる。

特徴

ＱＵＴＥはPrologおよび大部分の論理型言語の特徴であるunification機能を 取り入れた関数型プログラミング言語である。従って関数型言語の特徴である 代入の１方向性がなく、Prolog風のプログラムの記述を許している。また、プ ログラムの評価が並列に行えるため、コルーチンのような並列プログラムの記 述を可能にしている。

構成

Ｑｕｔｅ処理系は、デバッガを含めたユーザインタフェース部とインタプリタ によって構成される。

機能

Ｑｕｔｅ処理系はＱＵＴＥ言語で記述されたプログラムを実行して結果を返す 他、トレースやスパイなどのデバッグ機能を持つ。

ＦＴＰ

www-admin@icot.or.jp