not and action infrastructure

[scpubgit/DKit.git] / lib / DX / Solver.pm

diff --git a/lib/DX/Solver.pm b/lib/DX/Solver.pm
index c425b27..51fcdbe 100644 (file)
--- a/lib/DX/Solver.pm
+++ b/lib/DX/Solver.pm
@@ -17,6 +17,7 @@ has observation_policy => (is => 'ro');
 sub query {
   my ($self, $vars, @terms) = @_;
   my $rule_set = $self->rule_set;
+  push @terms, map +[ materialize => $_ ], @$vars;
   my $head = reduce { $b->but(next => $a) }
                reverse map $rule_set->expand(@$_), @terms;
   my $state = DX::State->new(