1 package DX::Proposition;
5 has predicate => (is => 'ro', required => 1);
7 has args => (is => 'ro', required => 1);
9 has introduces_names => (is => 'ro', required => 1);
11 has requires_names => (is => 'ro', required => 1);
14 my ($self, $scope) = @_;
15 my $predicate = $scope->lookup_predicate($self->predicate);
16 my @args = map { ref($_) ? $_ : $scope->lookup($_) } @{$self->args};
17 #if (my $step = $scope->known_facts->resolution_step_for($predicate, @args)) {
20 return $predicate->resolution_step_for(@args);