Commit | Line | Data |
9d759b64 |
1 | package DX::Proposition; |
2 | |
3 | use DX::Class; |
4 | |
5 | has predicate => (is => 'ro', required => 1); |
6 | |
7 | has args => (is => 'ro', required => 1); |
8 | |
9 | sub resolve_for { |
10 | my ($self, $scope) = @_; |
11 | my $predicate = $scope->lookup_predicate($self->predicate); |
12 | my @args = map { ref($_) ? $_ : $scope->lookup($_) } @{$self->args}; |
13 | if (my $step = $scope->known_facts->resolution_step_for($predicate, @args)) { |
14 | return $step; |
15 | } |
16 | return $predicate->resolution_step_for(@args); |
17 | } |
18 | |
19 | 1; |