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 ([email protected])

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

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.