Top

The CUF User's Manual

This CUF User's Manual, Edition 2.0, corresponds to the CUF system, Version 2.31.

The first part of the following master menu lists the major nodes in this Info document, including concept indices. The rest of the menu lists all the lower level nodes in the document.

Preface (No) Warranty, Copyrights, CUF Users Group

Release Notes Release Notes

Introduction Information about CUF

The CUF System The CUF implementation

The Language CUF EBNF syntax, language constructs

Programming Interface CUF Calling Prolog and vice versa

Literature Literature for further information

Built-ins and Variables Index of built-in commands and system variables

Concept Index Concept index

--- The Detailed Node Listing --- The CUF System

Architecture Architecture of the CUF system

Built-in Commands Top-level Interface, Parameters

Architecture

Compiler Compiler

Interpreter Interpreter

Built-in Commands

File Handling Directory Setting, File (Un-)Loading

Inspecting Compiled Code Inspecting Compiled Code

Control Constructs Indexing and Delaying

Deterministic Expansion Invoking Partial Evaluation

Run the Interpreter Calling the Interpreter

Parameter Setting Compiler, Interpreter, and Output Settings

Debugging Facilities Built-In Debugging Predicates

Debugging Examples Some Examples for the Debugging Output

CUF Emacs Mode Using Emacs with CUF

The Language CUF

Syntax Syntax in EBNF for CUF

CUF Examples Some Examples for CUF terms

Determinate Constants Restrictions on Type Hierarchy

Semantics Semantics of CUF's feature terms

Programming Interface

CUF Calling Prolog How to integrate Prolog Calls in CUF

CUF Abstract Data Type ADT Description

Calling CUF from Prolog How to call the CUF Interpreter in Prolog

Examples Examples for the programming interface

cuf-request@ims.uni-stuttgart.de (Mon Nov 11 11:16:24 1996, md)