Logic-Relational 0.01 Latest
Files
- Changes
- LICENSE
- MANIFEST
- META.json
- META.yml
- Makefile.PL
- README
- examples/alter.pl
- examples/api_payload_validator.pl
- examples/battleship_ai.pl
- examples/clpfd_magic_square.pl
- examples/cryptarithmetic.pl
- examples/db_backed_relations.pl
- examples/eligible_users.pl
- examples/factorial.pl
- examples/family.pl
- examples/generators.pl
- examples/list_member.pl
- examples/monkey.pl
- examples/populations.pl
- examples/rbac_policy_engine.pl
- examples/route_finder.pl
- examples/stdlib_demo.pl
- examples/temporary_and_expiring.pl
- ignore.txt
- lib/Logic/Relational.pm
- lib/Logic/Relational/ArrayRest.pm
- lib/Logic/Relational/Atom.pm
- lib/Logic/Relational/ChangeEvent.pm
- lib/Logic/Relational/Clause.pm
- lib/Logic/Relational/DSL.pm
- lib/Logic/Relational/Domain.pm
- lib/Logic/Relational/Goal.pm
- lib/Logic/Relational/Goal/All.pm
- lib/Logic/Relational/Goal/AllDifferent.pm
- lib/Logic/Relational/Goal/Any.pm
- lib/Logic/Relational/Goal/Call.pm
- lib/Logic/Relational/Goal/CellAt.pm
- lib/Logic/Relational/Goal/ConstraintFD.pm
- lib/Logic/Relational/Goal/Domain.pm
- lib/Logic/Relational/Goal/Fail.pm
- lib/Logic/Relational/Goal/GeneratorStep.pm
- lib/Logic/Relational/Goal/Guard.pm
- lib/Logic/Relational/Goal/Identical.pm
- lib/Logic/Relational/Goal/Is.pm
- lib/Logic/Relational/Goal/Label.pm
- lib/Logic/Relational/Goal/Not.pm
- lib/Logic/Relational/Goal/True.pm
- lib/Logic/Relational/Goal/Unify.pm
- lib/Logic/Relational/Program.pm
- lib/Logic/Relational/Query.pm
- lib/Logic/Relational/Serializer.pm
- lib/Logic/Relational/Solution.pm
- lib/Logic/Relational/State.pm
- lib/Logic/Relational/StdLib.pm
- lib/Logic/Relational/Substitution.pm
- lib/Logic/Relational/Syntax.pm
- lib/Logic/Relational/Term.pm
- lib/Logic/Relational/TraceEvent.pm
- lib/Logic/Relational/Unifier.pm
- lib/Logic/Relational/Variable.pm
- t/00-load.t
- t/01-atom.t
- t/02-variable.t
- t/03-term.t
- t/04-substitution.t
- t/05-unification.t
- t/06-occurs-check.t
- t/07-goal-stream.t
- t/08-facts.t
- t/09-rules.t
- t/10-freshening.t
- t/11-recursion.t
- t/12-negation.t
- t/13-dynamic-facts.t
- t/14-snapshots.t
- t/15-transactions.t
- t/16-guards.t
- t/17-array-unification.t
- t/18-hash-unification.t
- t/19-introspection-tracing.t
- t/20-generators.t
- t/21-infinite-generators.t
- t/22-temporary-expiring-facts.t
- t/23-constraints.t
- t/24-syntax.t
- t/25-arithmetic-is.t
- t/26-term-comparison.t
- t/27-stdlib.t
- t/28-clpfd-arithmetic.t
- t/29-snapshot-save-load.t
- t/30-expiring-events-and-mutations.t
- t/31-query-all-results.t
- t/32-not-member.t
- t/33-boolean-queries.t
- t/manifest.t
- t/pod-coverage.t
- t/pod.t
- xt/boilerplate.t