/ 
Logic-Relational-0.02

Changes for version 0.02

  • Added automatic ancestor cycle pruning (variant loop checking) on search states to prevent infinite recursion over cyclic graphs
  • Added subgoal tabling and iterative fixpoint answer memoization
  • Updated Logic::Relational::Syntax to add 'table' keyword and to fix parsing issues in facts { ... } blocks
  • Added distinct_values and all_tuples deduplication helpers for queries
  • Added some examples

Modules

Logic::Relational
A pure-Perl relational logic system.
Logic::Relational::ArrayRest
Represents a rest/slurp wrapper for array unification.
Logic::Relational::Atom
Represents a symbolic constant (atom) in the logic engine.
Logic::Relational::ChangeEvent
Event dispatched when logic program changes.
Logic::Relational::Clause
Represents a logic clause (fact or rule).
Logic::Relational::DSL
Domain Specific Language helpers for relational logic.
Logic::Relational::Domain
Represents a finite domain of allowed integer values.
Logic::Relational::Goal
Base class for relational logic goals.
Logic::Relational::Goal::All
Conjunction of goals (AND).
Logic::Relational::Goal::AllDifferent
Constraint goal that all variables must have distinct values.
Logic::Relational::Goal::Any
Disjunction of goals (OR).
Logic::Relational::Goal::Call
Goal representing a predicate call.
Logic::Relational::Goal::CellAt
Goal that binds the value of an array element at a ground index.
Logic::Relational::Goal::ConstraintFD
Declarative CLP(FD) arithmetic constraint goal.
Logic::Relational::Goal::Domain
Goal to constrain a variable to a range.
Logic::Relational::Goal::EndCall
Internal marker goal popping an active ancestor call frame.
Logic::Relational::Goal::Fail
Goal that always fails.
Logic::Relational::Goal::GeneratorStep
Represents a lazy step in a generator.
Logic::Relational::Goal::Guard
Evaluates a deterministic Perl test block.
Logic::Relational::Goal::Identical
Evaluates strict term identity without variable binding.
Logic::Relational::Goal::Is
Evaluates arithmetic expressions and unifies results.
Logic::Relational::Goal::Label
Backtracking labeling goal for domain variables.
Logic::Relational::Goal::Not
Negation as failure (not) goal.
Logic::Relational::Goal::True
Goal that always succeeds.
Logic::Relational::Goal::Unify
Goal that unifies two terms.
Logic::Relational::Program
Represents the mutable relational logic program.
Logic::Relational::Query
Manages the execution and backtracking search of a query.
Logic::Relational::Serializer
Serializes and deserializes knowledge base snapshots.
Logic::Relational::Solution
Represents a single solution from a logic query.
Logic::Relational::State
Represents a frozen search state in the logic engine.
Logic::Relational::StdLib
Standard Relational Logic Library.
Logic::Relational::Substitution
Represents an immutable variable substitution mapping.
Logic::Relational::Syntax
Declarative syntax layer for Logic::Relational.
Logic::Relational::Term
Represents a compound term in the logic engine.
Logic::Relational::TraceEvent
Event dispatched during query execution tracing.
Logic::Relational::Unifier
Performs structural unification of logic terms.
Logic::Relational::Variable
Represents a logical variable in the logic engine.

Examples

Other files