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