- Released by
- MJOHNSON
- Version
- Release Date
- 2026-09-01
- Kwalitee
- 159.38
- Core Kwalitee
- 100
- LINKS
Logic-Relational 0.01 Latest
Kwalitee Issues
No Core Issues.
- meta_yml_has_provides
-
Add all modules contained in this distribution to the META.yml field 'provides'. Module::Build or Dist::Zilla::Plugin::MetaProvides do this automatically for you.
- meta_yml_has_repository_resource
-
Add a 'repository' resource to the META.yml via 'meta_add' accessor (for Module::Build) or META_ADD parameter (for ExtUtils::MakeMaker).
- has_security_doc
-
Add SECURITY(.pod|md). See Software::Security::Policy.
- security_doc_contains_contact
-
Add SECURITY(.pod|md) and add a contact address. See Software::Security::Policy.
- has_contributing_doc
-
Add CONTRIBUTING(.pod|md). See https://docs.github.com/en/communities/setting-up-your-project-for-healthy-contributions/setting-guidelines-for-repository-contributors.
Modules
| Name | Abstract | Version | View |
|---|---|---|---|
| Logic::Relational | A pure-Perl relational logic system. | 0.01 | metacpan |
| Logic::Relational::ArrayRest | Represents a rest/slurp wrapper for array unification. | metacpan | |
| Logic::Relational::Atom | Represents a symbolic constant (atom) in the logic engine. | metacpan | |
| Logic::Relational::ChangeEvent | Event dispatched when logic program changes. | metacpan | |
| Logic::Relational::Clause | Represents a logic clause (fact or rule). | metacpan | |
| Logic::Relational::DSL | Domain Specific Language helpers for relational logic. | metacpan | |
| Logic::Relational::Domain | Represents a finite domain of allowed integer values. | metacpan | |
| Logic::Relational::Goal | Base class for relational logic goals. | metacpan | |
| Logic::Relational::Goal::All | Conjunction of goals (AND). | metacpan | |
| Logic::Relational::Goal::AllDifferent | Constraint goal that all variables must have distinct values. | metacpan | |
| Logic::Relational::Goal::Any | Disjunction of goals (OR). | metacpan | |
| Logic::Relational::Goal::Call | Goal representing a predicate call. | metacpan | |
| Logic::Relational::Goal::CellAt | Goal that binds the value of an array element at a ground index. | metacpan | |
| Logic::Relational::Goal::ConstraintFD | Declarative CLP(FD) arithmetic constraint goal. | metacpan | |
| Logic::Relational::Goal::Domain | Goal to constrain a variable to a range. | metacpan | |
| Logic::Relational::Goal::Fail | Goal that always fails. | metacpan | |
| Logic::Relational::Goal::GeneratorStep | Represents a lazy step in a generator. | metacpan | |
| Logic::Relational::Goal::Guard | Evaluates a deterministic Perl test block. | metacpan | |
| Logic::Relational::Goal::Identical | Evaluates strict term identity without variable binding. | metacpan | |
| Logic::Relational::Goal::Is | Evaluates arithmetic expressions and unifies results. | metacpan | |
| Logic::Relational::Goal::Label | Backtracking labeling goal for domain variables. | metacpan | |
| Logic::Relational::Goal::Not | Negation as failure (not) goal. | metacpan | |
| Logic::Relational::Goal::True | Goal that always succeeds. | metacpan | |
| Logic::Relational::Goal::Unify | Goal that unifies two terms. | metacpan | |
| Logic::Relational::Program | Represents the mutable relational logic program. | metacpan | |
| Logic::Relational::Query | Manages the execution and backtracking search of a query. | metacpan | |
| Logic::Relational::Serializer | Serializes and deserializes knowledge base snapshots. | metacpan | |
| Logic::Relational::Solution | Represents a single solution from a logic query. | metacpan | |
| Logic::Relational::State | Represents a frozen search state in the logic engine. | metacpan | |
| Logic::Relational::StdLib | Standard Relational Logic Library. | metacpan | |
| Logic::Relational::Substitution | Represents an immutable variable substitution mapping. | metacpan | |
| Logic::Relational::Syntax | 0.01 | metacpan | |
| Logic::Relational::Term | Represents a compound term in the logic engine. | metacpan | |
| Logic::Relational::TraceEvent | Event dispatched during query execution tracing. | metacpan | |
| Logic::Relational::Unifier | Performs structural unification of logic terms. | metacpan | |
| Logic::Relational::Variable | Represents a logical variable in the logic engine. | metacpan |
Other Files
| Changes | metacpan |
| MANIFEST | metacpan |
| META.json | metacpan |
| META.yml | metacpan |
| Makefile.PL | metacpan |
| README | metacpan |