Beefy Boxes and Bandwidth Generously Provided by pair Networks
Clear questions and runnable code
get the best and fastest answer
 
PerlMonks  

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!

--Ferret

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

    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.

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://189950]
help
Chatterbox?
[marto]: it makes things less stressful for the parents that's for sure :P
[Corion]: Yeah (although their mother was somewhat stressed out regardless) - but it made for an otherwise relaxed evening ;)

How do I use this? | Other CB clients
Other Users?
Others having an uproarious good time at the Monastery: (5)
As of 2016-12-08 09:58 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    On a regular basis, I'm most likely to spy upon:













    Results (139 votes). Check out past polls.