(26) Functional Language: QUTE

	Machine:     DEC2060
	Environment: TOPS20
	Language:    DEC-10 Prolog
	Source Code: 4 KB
	Documents:   Manual (Japanese)

Overview

QUTE is a ML like higher order functional concurrent language which has unification as a part of language specification.

Feature

QUTE is a functional programming language which allows unification as its basic calculation just like logic programming language as Prolog. It avoids single assignment, typical feature of functional language, so that it allows user to write a Prolog-like program. The order of evaluation of redex is not definitly determined so that user can make a concurrent program such as coroutine.

Configuration

Qute System consists of an interpreter and user interface with debugger.

Function

Qute system executes a QUTE program and returns the evaluated value. It has debugging tools such as tracer and spy point handler.

FTP

www-admin@icot.or.jp