Re: AI::Perlog Unification help

[Ferret]

I get to be amazed I understand as much as I do. I declare you an honorary masochist by virtue of coding Perl.

I'm still working through it, particularly trying to understand what it is supposed to look like and behave like, and noticed something which _might_ be of service:

If I understand it correctly, the _add_level method currently overwrites facts with the same first element. I imagine I'm trouncing all over established terminology, so let me illustrate instead.

You have the two facts:

$pg->add_fact( gnarfle => qw/ foo bar baz / );
$pg->add_fact( gnarfle => qw/ foo tac toe / );

After doing some recursive dance I've not yet deciphered, the appropriate portion of the tree looks like:

           {
            '2' => [
                     undef,
                     {
                       '3' => 3
                     },
                     {
                       '4' => 4
                     }
                   ]
          }

But after the foo bar baz rule begins, it looks like a terribly disappointing

          {
            '2' => []
          }

which is then fleshed out with the 5 and 6 entries. After it's done, instead of {foo => [undef,tac,toe]}, it's {foo => [undef,bar,baz]}

The end result is that you lose part of the tree, and no longer get full results from doing rule requests.

You've probably already noticed this one, and I don't yet have enough clue to fix it correctly (I have a feeling it'll require a data structure tweak, and I don't know enough about the module to do it yet). If this was confusing anyone else, I hope I've explained what was happening.

I just learned about Data::Dumper::Deepcopy - useful when Dumper decides that all undefs are actually a reference to the same element. That was confusing, too.

Thanks for the puzzle, Ovid!

--Ferret

[Ovid]

Darn.

I just added the following line to the end of facts.t:

    ok( $pg->gnarfle( qw/ foo bar baz /), '... this should still match
+' );
    ok( $pg->gnarfle( qw/ foo tac toe /), '... as should this.' );

The first one fails (as you said it would). I updated the number of tests and, for a lark, ran this against an older copy. Still fails. Bummer. Working on a fix now. Wish I knew how I missed that one.

Update: Quick fix, fortunately. I needed to test to see if I had an array ref there to ensure that I added to it rather than overwriting it. You can download the new code (with updated tests) here.

Cheers,
Ovid

Join the Perlmonks Setiathome Group or just click on the the link and check out our stats.