/*
 *   This file is part of the CxProlog system

 *   README
 *   by A.Miguel Dias - 93/11/17
 *   CITI - Centro de Informatica e Tecnologias da Informacao
 *   Dept. de Informatica, FCT, Universidade Nova de Lisboa.
 *   Copyright (C) 1990-2016 A.Miguel Dias, CITI, DI/FCT/UNL

 *   CxProlog 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 1, or (at your option)
 *   any later version.

 *   CxProlog 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 CxProlog; see the file COPYING.  If not, write to
 *   the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
 */

/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/


CxProlog is a WAM based Prolog system, extended with some features, as
explained in the file MANUAL. The installation notes are in file INSTALL.

To download the latest version of CxProlog go to:

        http://ctp.di.fct.unl.pt/~amd/cxprolog

Please, report bugs to:

        amd@di.fct.unl.pt

All code is GPL. Use CxProlog at your own risk.

The distribution files and directories are:

        ChangeLog.txt
        COPYING.txt
        INSTALL.txt
        INSTALL-windows.txt
        Makefile
        MANUAL.txt
        README.txt
        examples/
        lib/
        pl/
        src/
