
LPARSE - local grounder for smodels

Lparse is a front end for smodels system, that takes a general logic
program as its input and produces a ground logic program as its
output. This program is distributed under GNU Public Licence, see file
COPYING for details. 

Distribution contents:
   COPYING	- GNU Public Licence
   INSTALL	- Installation instructions
   README	- This file
   doc/		- Documentation directory
   examples/	- A couple of example programs
   tests/	- Set of test cases that can be used to check 
   lib/		- A template for user-defined functions
   src/		- Source code directory

I recently converted lparse to use GNU autoconf/automake tools. Since
I've not used them before it is very possible that I have messed with
them. If you encounter some problems while installing please send me
an email and I'll try ensure that the problem doesn't occur again.

Lparse user's manual is now (almost) up-to-date. You can either read
it with an info-documentation browser (info -f doc/lparse.info) or
format it for printing by issuing 'make dvi' command. The
documentation may then be read with 'xdvi' or converted to ps with
'dvips'.

