use DX::Op::ModifyAction;
use DX::Op::Materialize;
use DX::Op::Prop;
-use DX::Op::Exists;
use DX::Op::Predicate;
use DX::Op::HasAction;
use DX::Op::FindAll;
sub _expand_op_fail { return DX::Op::Backtrack->new }
sub _expand_op_not {
- my ($self, @contents) = @_;
+ my ($self, $contents) = @_;
my $cut = DX::Op::Cut->new(next => DX::Op::Backtrack->new);
DX::Op::Not->new(
- body => $self->expand_and_link($cut, @contents)
+ body => $self->expand_and_link($cut, @$contents)
);
}
sub _expand_op_findall {
- my ($self, $coll_name, $var_name, @contents) = @_;
+ my ($self, $coll_name, $var_name, $contents) = @_;
DX::Op::FindAll->new(
coll_name => $coll_name,
var_name => $var_name,
- body => $self->expand_and_link(DX::Op::Return->new, @contents),
+ body => $self->expand_and_link(DX::Op::Return->new, @$contents),
);
}
DX::Op::Prop->new(%new);
}
-sub _expand_op_exists {
- my ($self, $vars, @body) = @_;
- DX::Op::Exists->new(
- vars => $vars,
- body => $self->expand_and_link(DX::Op::Return->new, @body)
- );
-}
-
sub _expand_op_has_action {
my ($self, @args) = @_;
DX::Op::HasAction->new(arg_spec => \@args);