4 use DX::Op::SetupScope;
7 use DX::Op::ApplyConstraint;
10 use DX::Op::Backtrack;
13 use DX::Op::ProposeAction;
14 use DX::Op::Materialize;
17 use DX::Op::Predicate;
18 use List::Util qw(reduce);
20 has rules => (is => 'ro', default => sub { {} });
23 my ($self, $name, $vars, @cases) = @_;
24 my $full_name = join('/', $name, scalar @$vars);
25 push @{$self->rules->{$full_name}}, DX::Op::Predicate->new(
26 arg_names => $vars, arg_cases => \@cases
31 my ($self, $name, $vars, @body) = @_;
32 my $full_name = join('/', $name, scalar @$vars);
33 push @{$self->rules->{$full_name}}, $self->_make_rule($vars, @body);
38 my ($self, $vars, @body) = @_;
39 my $head = $self->expand_and_link(DX::Op::Return->new, @body);
40 DX::Op::SetupScope->new(arg_names => $vars, next => $head);
44 my ($self, $last, @body) = @_;
45 return reduce { $b->but(next => $a) }
47 reverse map $self->expand($_), @body;
51 my ($self, $thing) = @_;
52 if (ref($thing) eq 'ARRAY') {
53 my ($type, @rest) = @$thing;
54 if ($self->can(my $expand_meth = "_expand_op_${type}")) {
55 return $self->$expand_meth(@rest);
57 return $self->_expand_call(@$thing);
63 my ($self, $name, @args) = @_;
64 DX::Op::CallRule->new(rule_name => $name, rule_args => \@args);
67 sub _expand_op_cut { return DX::Op::Cut->new }
69 sub _expand_op_fail { return DX::Op::Backtrack->new }
72 my ($self, @contents) = @_;
73 my $cut = DX::Op::Cut->new(next => DX::Op::Backtrack->new);
75 body => $self->expand_and_link($cut, @contents)
79 sub _expand_op_member_of {
80 my ($self, $member_var, $coll_var) = @_;
81 DX::Op::MemberOf->new(
82 member_var => $member_var,
83 coll_var => $coll_var,
87 sub _expand_op_constrain {
88 my ($self, $vars, $constraint) = @_;
89 DX::Op::ApplyConstraint->new(
91 constraint => $constraint
95 sub _expand_op_observe {
96 my ($self, $vars, $builder) = @_;
104 my ($self, $vars, $builder) = @_;
105 DX::Op::ProposeAction->new(
111 sub _expand_op_materialize {
112 my ($self, $var_name) = @_;
113 DX::Op::Materialize->new(var_name => $var_name);
116 sub _expand_op_prop {
117 my ($self, @args) = @_;
118 my %new; @new{qw(of name value)} = @args;
119 DX::Op::Prop->new(%new);
122 sub _expand_op_exists {
123 my ($self, $vars, @body) = @_;
126 body => $self->expand_and_link(DX::Op::Return->new, @body)