DyALog

Overview
=========

DyALog is a compiler for the tabular evaluation of Logic Programs,
Definite Clause Grammars [DCG], Tree Adjoining Grammars [TAG], and
Range Concatenation Grammars [RCG].

Tabulation means that traces of computation are tabulated in order to
share common sub-computations and detect (most kinds of) loops. By
keeping traces of computations, it is also possible, after a
computation, to extract, as a shared forest, the set of all successful
proofs or parse trees. These characteristics are especially useful to
handle highly recursive and ambiguous grammars for Natural Language.

Home page   : http://atoll.inria.fr/dyalog.en.html
GForge page : http://dyalog.gforge.inria.fr/


Contents
========

	INSTALL		Instructions for installation
	LICENSE		License and copyright notice
	README		This file
	Runtime/	DyALog Abstract Machine
	Ma2Asm/		DyALog mini assembler
	Compiler/       Source files (.pl) and DyALog Assembler files (.ma)
			of the compiler
        Builtins/       DyALog librairies
	Tfs/ 		Generator of libraries for Typed Feature Structure 
                        hierarchies (still prototype)
	Tests/		A test suite for DyALog
	Templates/      Skeleton to start DyALog projects
	Contribs/       DyALog contribs
	doc/		DyALog documentation

Copyright
=========

All files in this distribution are copyrighted 1999-2007 Institut
National de Recherche en Informatique et Automatique (INRIA).

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or (at
your option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
USA

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

See the INSTALL file for the compilation and installation procedure.

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

A preliminary and incomplete primer is provided.
Check DyALog GForge page for more information:
http://gforge.inria.fr/docman/index.php?group_id=470

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>

- The latest version can also be retrieved from the Subversion repository on
Inria Gforge typing the following command:

svn checkout svn://scm.gforge.inria.fr/svn/dyalog/DyALog/trunk DyALog

Author
======

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

	  Eric de la Clergerie <Eric.De_La_Clergerie@inria.fr>