Overview
=========

DyALog is a compiler for the tabular evaluation of Logic Programs,
Definite Clause Grammars [DCG], or (experimental) Tree Adjoining
Grammars [TAG].

Contents
========

	INSTALL		instructions for installation
	LICENSE		license and copyright notice
	README		this file
	Gc/		Boehm's Garbage Collector for C
	Runtime/	DyALog Abstract Machine
	Compiler/       Source files (.pl) and DyALog Assembler files (.ma)
			of the compiler
	Tfs/ 		generator of libraries for Typed Feature Structure 
                        hierarchies (still prototype)

Copyright
=========

All files in this distribution are copyrighted 1999 Institut National de
Recherche en Informatique et Automatique (INRIA) and distributed under
the conditions stated in file LICENSE.
They can be freely redistributed for non-commercial purposes, provided
the copyright notice remains attached.

Installation
============

See the file INSTALL for installation instructions.

Documentation
=============

A preliminary and incomplete primer is provided.

Availability
============

The complete DyALog distribution resides on ftp.inria.fr and can be
accessed by anonymous FTP:

        host:       ftp.inria.fr (192.93.2.54)
        directory:  INRIA/Projects/Atoll/Eric.Clergerie/DyALog

or through the following WEB page <URL: http:/atoll.inria.fr/~clerger>

Bug Reports and User Feedback
=============================

Send your bug reports and suggestions by E-mail to:

          Eric.De_La_Clergerie@inria.fr
