find solution on proposition addition and output actions run

[scpubgit/DX.git] / bin / dx

use strictures 2;
use Module::Runtime qw(use_module);
use DX::Utils qw(:builders);

use_module('DX::ShellFrontend')->new(
  session_mode => 'shell',
  session => use_module('DX::ShellSession')->new(
    shell_state => use_module('DX::ShellState')->new(
      mode => 'shell',
      template_query_state => use_module('DX::QueryState')->new(
          predicates => {
          'eq' => use_module('DX::Predicate::Eq')->new,
          member_at => use_module('DX::Predicate::MemberAt')->new,
          is_dict => use_module('DX::Predicate::IsDict')->new,
        },
        globals => dict(),
        proposition_sequence
          => use_module('DX::PropositionSequence')->new_empty,
      ),
    )
  ),
)->repl