Module: MiniKraken

Defined in:

lib/mini_kraken/atomic/atomic_term.rb,
lib/mini_kraken.rb,
lib/mini_kraken/version.rb,
lib/mini_kraken/glue/dsl.rb,
lib/mini_kraken/core/fail.rb,
lib/mini_kraken/core/goal.rb,
lib/mini_kraken/core/term.rb,
lib/mini_kraken/core/arity.rb,
lib/mini_kraken/core/entry.rb,
lib/mini_kraken/core/scope.rb,
lib/mini_kraken/rela/conde.rb,
lib/mini_kraken/rela/conj2.rb,
lib/mini_kraken/rela/disj2.rb,
lib/mini_kraken/rela/fresh.rb,
lib/mini_kraken/rela/unify.rb,
lib/mini_kraken/core/fusion.rb,
lib/mini_kraken/core/context.rb,
lib/mini_kraken/core/log_var.rb,
lib/mini_kraken/core/succeed.rb,
lib/mini_kraken/core/bookmark.rb,
lib/mini_kraken/core/relation.rb,
lib/mini_kraken/composite/list.rb,
lib/mini_kraken/core/any_value.rb,
lib/mini_kraken/core/base_term.rb,
lib/mini_kraken/atomic/k_string.rb,
lib/mini_kraken/atomic/k_symbol.rb,
lib/mini_kraken/core/blackboard.rb,
lib/mini_kraken/core/duck_fiber.rb,
lib/mini_kraken/atomic/k_boolean.rb,
lib/mini_kraken/atomic/k_integer.rb,
lib/mini_kraken/core/association.rb,
lib/mini_kraken/core/log_var_ref.rb,
lib/mini_kraken/core/symbol_table.rb,
lib/mini_kraken/rela/def_relation.rb,
lib/mini_kraken/core/specification.rb,
lib/mini_kraken/rela/goal_relation.rb,
lib/mini_kraken/composite/cons_cell.rb,
lib/mini_kraken/core/solver_adapter.rb,
lib/mini_kraken/rela/binary_relation.rb,
lib/mini_kraken/core/association_copy.rb,
lib/mini_kraken/core/nullary_relation.rb,
lib/mini_kraken/core/parametrized_term.rb,
lib/mini_kraken/composite/composite_term.rb,
lib/mini_kraken/glue/run_star_expression.rb,
lib/mini_kraken/composite/cons_cell_visitor.rb

Overview

require_relative ‘../core/freshness’

Defined Under Namespace

Modules: Atomic, Composite, Core, Glue, Rela Classes: Error

Constant Summary

VERSION =

'0.3.03'