% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            prolists.dtr                                             %
% Purpose:         converts DATR paths to Prolog lists                      %
% Author:          James Kilbury, 7 July 1994                               %
% Email:           kilbury@ling.uni-duesseldorf.de                          %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Related files:   dfst2.dtr, dfst3.dtr                                     % 
% Version:         2.01                                                     %
%                                                                           %
%      Copyright (c) University of Duesseldorf 1994.  All rights reserved.  %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Converts lists represented as DATR attribute paths to lists in standard
% Prolog notation.

List:   <> == [ L ] .

L:      <> ==                                 % empty sequence
        <$x> == $x
        <$x $y> == $x , <$y> .

% Some theorems:
%
% List: <> = [ ].
% List: <a> = [ a ].
% List: <a b> = [ a , b ].
% List: <a b c> = [ a , b , c ].

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# hide  L.

# show  <> <a> <a b> <a b c>.

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $