NAME

	Math::Logic::Predicate - Query a database in predicate calculus form.
	Version 0.03

DESCRIPTION

	Math::Logic::Predicate is an implementation which can prove statements
	based on first order predicate calculus assertions (think Prolog). 
	At the moment, it is only a subset of the predicate calculus, but by 
	version 1.0 at the latest it will support the entire system.  It is 
	written entirely in Perl, and it's really fast, too. See the 
	documentation for more details.

PREREQUISITES

	Math::Logic::Predicate uses Parse::RecDescent.

INSTALLATION

	perl Makefile.PL
	make && make test && make install

AUTHOR

	Luke Palmer (fibonaci@babylonia.flatirons.org)
	
COPYRIGHT

	Copyright (C) 2002, Luke Palmer. All rights reserved. This
	module is free software: It may be used, redistributed, and/or
	modified under the terms of the Perl Artistic License.
		(http://www.perl.com/perl/misc/Artistic.html)

AVAILABILITY

	Math::Logic::Predicate is available on the CPAN, and is also
	available from:
	http://fibonaci.babylonia.flatirons.org/Math-Logic-Predicate.tar.gz

Changes

	0.03 - Started documenting changes