- Name: perl-Math-Logic-Predicate
- Version: 0.03
- Release: 1
- Epoch: 0
- Group: Development/Languages/Perl
- License: Artistic
- Url:
- Summary: Math::Logic::Predicate - manage and query a predicate assertion database
- Architecture: noarch
- Size: 24571
- Distribution: PLD 2.0 (Ac)
- Vendor: PLD
- Packager: PLD bug tracking system ( http://bugs.pld-linux.org/ )
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 -march=i386
- Cookie:
- Buildhost: i386.ac.pld-linux.org
Sources packages:
Other version of this rpm: