use Data::Dumper;
use constant SUCCEED => qr{(?=)};
use constant FAIL    => qr{(?!)};                                                                                                                                                            

my $owns = <<END_FACTS;
owns merlyn gold
owns Ovid books
owns kudra gold
END_FACTS
                                                                                                                                                            
my $valuable = <<END_VALUABLE;
valuable Perl
valuable gold
valuable Corinna
END_VALUABLE                                                                                                                                                            

my $is_valuable = qr[(\S+)(??{match($valuable, "valuable $2")})];
my $owns_query = qr/owns (\S+) $is_valuable/;

# here's the magic!
my @who = $owns =~ /$owns_query/mg;

print Dumper \@who;                                                                                                                                                            

sub match {
    my ($facts, $query) = @_;
    my $sleep_count = 0;
    my $pid;
    do {
        $pid = open KID_TO_READ, "-|";
        unless (defined $pid) {
            die "Couldn't fork" if $sleep_count++ > 6;
            sleep 1;
        }
    } until defined $pid;                                                                                                                                                            

    unless ($pid) { # child
        if ($facts =~ $query) {
            print SUCCEED;
        }
        else {
            print FAIL;
        }
    }
    else { # parent
        my $result = <KID_TO_READ>;
        close KID_TO_READ;
        return $result;
    }
}