10 my $solver = DX::Solver->new(observation_policy => sub { 1 });
12 DX::Lib::FS->new->load_into($solver);
15 # [ $solver->query([ 'D' ], [ directory_at => 'D' => \'t' ])->results ]
16 # ->[0]->value_for('D')
23 my $split = $tcl->curry::weak::SplitList;
28 @res = $solver->query(@last_q)->results;
30 my @act = $_->actions;
31 ((@act ? \@act : ()), $_->all_values);
36 my ($vars, $body) = @_;
37 my @varnames = $split->($vars);
38 local our @Body_Parts;
40 return (\@varnames, @Body_Parts);
43 $tcl->CreateCommand(query => sub {
44 my (undef, undef, undef, $vars, $body) = @_;
45 @last_q = expand_def($vars, $body);
50 $tcl->CreateCommand(run => sub {
51 foreach my $ind ($res[0]->independent_actions) {
53 warn +(split('::', $cl))[-1]."\n";
54 $solver->run_action($ind);
62 map { $_ =~ /^'(.*)'$/ ? \do { my $x = $1 } : $_ } @args;
66 my (undef, undef, $name, @args) = @_;
67 push our @Body_Parts, [ $name => mangle_args(@args) ];
71 $tcl->CreateCommand(rule => sub {
72 my (undef, undef, undef, $rule, $vars, $body) = @_;
73 $solver->add_rule($rule => expand_def($vars, $body));
74 $tcl->CreateCommand($rule => $rule_sub);
78 foreach my $rule (keys %{$solver->rule_set->rules}) {
80 $tcl->CreateCommand($rule => $rule_sub);
83 $tcl->CreateCommand(exists => sub {
84 my (undef, undef, undef, $vars, $body) = @_;
85 push our @Body_Parts, [ exists => expand_def($vars, $body) ];
89 #$tcl->Eval(q{query D {directory_at D 't'; mode D '0755'; }});
92 $tcl->EvalFile($ARGV[0]);
95 my $rl = Term::ReadLine->new;
99 while (defined(my $line = $rl->readline(length($cmd)?'> ':'$ '))) {
101 if ($tcl->call(info => complete => $cmd)) {
102 unless (eval { $tcl->Eval($cmd); 1 }) {