6 use DX::Op::ApplyConstraint;
12 use DX::Op::ProposeAction;
13 use DX::Op::Materialize;
14 use List::Util qw(reduce);
16 has rules => (is => 'ro', default => sub { {} });
19 my ($self, $name, $vars, @body) = @_;
20 my $full_name = join('/', $name, scalar @$vars);
21 push @{$self->rules->{$full_name}}, $self->_make_rule($vars, @body);
26 my ($self, $vars, @body) = @_;
27 my $head = $self->_expand_and_link(DX::Op::Return->new, @body);
31 sub _expand_and_link {
32 my ($self, $last, @body) = @_;
33 return reduce { $b->but(next => $a) }
35 reverse map $self->expand(@$_), @body;
39 my ($self, $type, @rest) = @_;
40 if ($self->can(my $expand_meth = "_expand_op_${type}")) {
41 return $self->$expand_meth(@rest);
43 return $self->_expand_call($type, @rest);
47 my ($self, $name, @args) = @_;
48 DX::Op::CallRule->new(rule_name => $name, rule_args => \@args);
51 sub _expand_op_cut { return DX::Op::Cut->new }
53 sub _expand_op_fail { return DX::Op::Backtrack->new }
56 my ($self, @contents) = @_;
57 my $cut = DX::Op::Cut->new(next => DX::Op::Backtrack->new);
59 body => $self->_expand_and_link($cut, @contents)
63 sub _expand_op_member_of {
64 my ($self, $member_var, $coll_var) = @_;
65 DX::Op::MemberOf->new(
66 member_var => $member_var,
67 coll_var => $coll_var,
71 sub _expand_op_constrain {
72 my ($self, $vars, $constraint) = @_;
73 DX::Op::ApplyConstraint->new(
75 constraint => $constraint
79 sub _expand_op_observe {
80 my ($self, $vars, $builder) = @_;
88 my ($self, $vars, $builder) = @_;
89 DX::Op::ProposeAction->new(
95 sub _expand_op_materialize {
96 my ($self, $var_name) = @_;
97 DX::Op::Materialize->new(var_name => $var_name);