- Name: perl-Math-Logic-Predicate
- Version: 0.03
- Release: 1
- Epoch:
- Group: Development/Languages/Perl
- License: Artistic
- Url:
- Summary: Math::Logic::Predicate - manage and query a predicate assertion database
- Architecture: noarch
- Size: 19476
- 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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: src.ac.pld-linux.org 1083939857
- Buildhost: src.ac.pld-linux.org
Generated packages:
Other version of this rpm:
