Search for "dist:Math-Logic-Predicate HOLLY" - metacpan.org

Search results for "dist:Math-Logic-Predicate HOLLY"

Math::Logic::Predicate - Manage and query a predicate assertion database.

++

Overview "Math::Logic::Predicate" implements a solver for a subset of First Order Predicate Calculus. By version 1.0, it will support the entire First Order Predicate Calculus. It provides: % A miniture Prolog-like language with which to specify rule...

LPALMER /Math-Logic-Predicate-0.03 - 10 Aug 2002 03:27:19 UTC

1 result (0.033 seconds)

	Global
`s`	Focus search bar
`?`	Bring up this help dialog

	GitHub
`g` `p`	Go to pull requests
`g` `i`	go to github issues (only if github is preferred repository)

	POD
`g` `a`	Go to author
`g` `c`	Go to changes
`g` `i`	Go to issues
`g` `d`	Go to dist
`g` `r`	Go to repository/SCM
`g` `s`	Go to source
`g` `b`	Go to file browse

	Search terms
module: (e.g. module:Plugin)
distribution: (e.g. distribution:Dancer auth)
author: (e.g. author:SONGMU Redis)
version: (e.g. version:1.00)