- Name: perl-Math-Logic-Predicate
- Version: 0.03
- Release: 2
- Epoch: 0
- Group: Development/Languages/Perl
- License: Artistic
- Url:
- Summary: Math::Logic::Predicate - manage and query a predicate assertion database
- Architecture: noarch
- Size: 24637
- Distribution: PLD
- Vendor:
- Packager:
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.
- OptFlags: -O2 -fno-strict-aliasing -fwrapv -march=i686 -mtune=pentium4
- Cookie:
- Buildhost: pld-builders
Sources packages:
Other version of this rpm: