Beefy Boxes and Bandwidth Generously Provided by pair Networks
No such thing as a small change

Re: AI::Perlog Unification help

by Ferret (Scribe)
on Aug 13, 2002 at 23:02 UTC ( #189950=note: print w/ replies, xml ) Need Help??

in reply to AI::Perlog Unification help

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!


Comment on Re: AI::Perlog Unification help
Select or Download Code
Replies are listed 'Best First'.
Re: Re: AI::Perlog Unification help
by Ovid (Cardinal) on Aug 13, 2002 at 23:43 UTC


    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.


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

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://189950]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others pondering the Monastery: (5)
As of 2015-11-28 08:05 GMT
Find Nodes?
    Voting Booth?

    What would be the most significant thing to happen if a rope (or wire) tied the Earth and the Moon together?

    Results (739 votes), past polls